A Conversation for Logical Completeness
Russell and Whitehead
OldTimer Started conversation Apr 17, 2001
If memory serves, Godel's proof is a reaction to and an extension of principals outlined in _Mathematica Principia_ -- which is by Bertrand Russell and Whitehead. I need to look over these things again, and let you know where I get to.
Key: Complain about this post