:If you haven't seen it, there's a nice little book called "Godel's Proof" by Nagel that sketches the proof (in 100+ pages) in a fairly nontechnical way. I couldn't give a formal statement of the theorem, but your summary is more or less the same as the one there. I'm looking forward to seeing the article! | :If you haven't seen it, there's a nice little book called "Godel's Proof" by Nagel that sketches the proof (in 100+ pages) in a fairly nontechnical way. I couldn't give a formal statement of the theorem, but your summary is more or less the same as the one there. I'm looking forward to seeing the article! |