2 ms·
This thread is a bit removed from my original point, but, again, Godel's theorems really have nothing to do with reality. They have to do with very specific for
by dvt 10y ago
This thread is a bit removed from my original point, but, again, Godel's theorems really have nothing to do with reality. They have to do with very specific formal systems (and not even all formal systems, at that). I just don't really understand why invoking him is even relevant.
- Koshkin 10y agoUnfortunately, the only reliable way to understand reality has been through the use of such formal system.
- qubex 10y agoPenrose's point, at least as I understand it, is that insofar human intuition can lead us to see the 'truth' of not-provable-within-the-formal-constraints-of-the-system statements, we are doing something 'informal', aka non-computable, and that insofar if our brains were merely "computers made of meat" we would be unable to transcend the formalism, then we must have some non-computable process going on inside our brains somewhere.
- blackflame7000 10y agoExcellent summary. An example of this is human's ability to process statements like "This sentence is false"