Douglas Hofstadter writes in Godel, Escher, Bach, "Do words and thoughts follow formal rules, or do they not? That problem is the problem of the book." That also seems to be the very crux of a working AI system - getting words, numbers, and algorithms to follow rules.
GEB writes that, "Mathematicians (and more recently linguists, philosophers, and some others) are the only users of formal systems, and they invariably have an interpretation in mind for the formal systems which they use and publish." That "some others" were clearly AI programmers in hindsight.
Did Godel, Escher, Bach predict blockchain in a way? It talks about steps to a formal system being linked in an ironclad way - just as blockchain establishes ownership in an ironclad way. Does this mean that blockchain was a precursor to AI or did they develop in parallel?
Did the book predict AI? It writes about written symbols being translated to algorithms of typographical rules including all the Internet and the very rules of physics. Are AI hallucinations inclusions of non-theorems in the AI system? Is that how we get black founding fathers? Is DEI itself a non-theorem?
Enjoying the book but it is challenging.
No comments:
Post a Comment