4 ms·
A sort of uneasiness about their symbolic basis to start off with, nothing subsequent - I can follow it. Lack of understanding. That 'it smells' feeling. I'm no
by nthcolumn 10y ago
A sort of uneasiness about their symbolic basis to start off with, nothing subsequent - I can follow it. Lack of understanding. That 'it smells' feeling. I'm not suggest they are wrong, just asking. Its okay to ask?
- scandox 10y agoWell perhaps you have the same problem as Whitehead and Russell? In GEB Hofstadter IIRC is quite harsh on them for their intellectual timidity in not being able to face the paradox inherent in Godel's Theorem...Paradoxes can "feel" uncomfortable.
- mirimir 10y agoThat sufficiently capable logical systems are necessarily incomplete can be uncomfortable, especially if the beauty of completeness has been your lifelong goal. But on the other hand, it's very cool that this provides an opening for consciousness and free will to arise.
- castle-bravo 10y agoHow are consciousness and free will implied by incompleteness of formal systems?
- mirimir 10y agoI defer to Douglas Hofstadter: https://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach https://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach https://en.wikipedia.org/wiki/I_Am_a_Strange_Loop https://en.wikipedia.org/wiki/I_Am_a_Strange_Loop
- horatiocain 10y agoHot damn dude, 14000000
- kirrent 10y agoIf you want something that will feel more intuitive then quantum computing since democritus has a proof related to Turing machines that always seemed far more intuitive to me. http://www.scottaaronson.com/democritus/lec3.html http://www.scottaaronson.com/democritus/lec3.html