Re:Intuitionistic mathematics for physics
by scythe on Monday June 27, 2011 @08:44AM
(#2701094)
>And then you also probably don't like being reminded that ZFC's consistency (or not) is unprovable [5].
Unprovable within ZFC. Peano arithmetic is proven consistent, but it cannot prove itself consistent. This is an important distinction, cf http://bit.ly/lGtEDm
Unprovable within ZFC. Peano arithmetic is proven consistent, but it cannot prove itself consistent. This is an important distinction, cf http://bit.ly/lGtEDm