Status Updates From Gödel, Escher, Bach: an Ete...
Gödel, Escher, Bach: an Eternal Golden Braid by
Status Updates Showing 1-30 of 26,415
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














