Recent content by IndianDruid

Hi, So I was just going through my copy of The Emperor's New Mind, and I'm having a little difficulty accepting Godel's theorem , at least the way Penrose has presented it. If I'm not wrong, the theorem asserts that there exist certain mathematical statements within a formal axiomatic system...