4 ms·
There is a huge fallacy to this. You would think that any formal system could be defined with axioms, but there are undefinable formal systems. In GEB, Hof ex
by mrtron 19y ago
There is a huge fallacy to this.
You would think that any formal system could be defined with axioms, but there are undefinable formal systems.
In GEB, Hof explains that he thinks that this could be the missing piece to creating AI/life.
- bumbledraven 19y agoI have never heard of any such thing, and neither has Google. I suspect you are very confused. Can you give an example of an "undefinable formal system" and say (1) how it satisfies the definition of "formal system" and (2) the sense in which it is "undefinable"?