Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.



#artificial-intelligence #geb #goedel-escher-bach #hofstadter
A full formalization of geometry would take the drastic step of making every term undefined—that is, turning every term into a "meaningless" symbol of a formal system. I put quotes around "meaningless" because, as you know, the symbols automatically pick up passive meanings in accordance with the theorems they occur in.
If you want to change selection, open document below and click on "Move attachment"

pdfs

  • owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p94
  • owner: naraypv - (no access) - Gödel, Escher, Bach_ An Eternal Golden Braid-Basic Books (1994).pdf, p102


Summary

statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on

Details


Discussion

Do you want to join discussion? Click here to log in or create user.