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...