Re: [FOM] Did Gödel's result come as a surprise to Bertrand Russell?
silver_1 at mindspring.com
Tue Mar 30 09:08:54 EDT 2010
Probably apocryphal, but I've read that only von Neumann grasped
it instantly (perhaps because, again: legend) he'd been troubling over
trying to prove completeness.
On Mar 26, 2010, at 8:12 PM, Rupert McCallum wrote:
> I remember reading that Gödel's result came as a surprise to
> Bertrand Russell. I was wondering whether this can be confirmed.
> Presumably it would have been no surprise that omega-order Peano
> arithmetic was incomplete in the sense of not deciding the axiom of
> choice. Did anyone ever really speculate that omega-order Peano
> arithmetic with the axiom of choice might be complete?
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM