Status Updates From Godel, Escher, Bach: An Ete...
Godel, Escher, Bach: An Eternal Golden Braid. A Metaphorical Fugue on Minds and Machines in the Spirit of Lewis Carroll. by
Status Updates Showing 1-30 of 26,408
Jake DiBello
is on page 194 of 777
Incredibly important when working with math: the books speaks about formal systems and the potential to formalize higher levels of a formal system and about why this cannot/should not be done. Note that a formal system is NOT THE SAME as the metalanguage in which we interpret its results.
— Feb 17, 2026 11:38AM
Add a comment
Jake DiBello
is on page 190 of 777
Propositional calculus and the old koan gantos axe?
— Feb 14, 2026 01:29PM
Add a comment
Jake DiBello
is on page 177 of 777
Is information a universal thing? Can it be stored in a message that will given a long enough time be discovered as truth? He says yes
— Feb 13, 2026 12:26PM
Add a comment










