[FOM] Did Gödel's result come as a surprise to Bertrand Russell?
Rupert.McCallum at acu.edu.au
Fri Mar 26 21:12:51 EDT 2010
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?
More information about the FOM