May 2nd, 2006

mor

zz:对Godel教授的纪念

发信人: phoenixinter (No motto.), 信区: D_Computer
标 题: Re: 对Godel教授的纪念
发信站: 南京大学小百合站 (Mon May 1 11:42:56 2006)

If the Peano's arithmetic is consistent, then the consistency of the Peano's a
rithmetic cannot be proved, but the disproveness is provable.

宋公的话

Collapse )