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
Hilbert's challenge: to demonstrate rigorously—perhaps following the very methods outlined by Russell and Whitehead—that the system defined in Principia Mathematica was both consistent (contradiction-free), and complete (i.e., that every true statement of number theory could be derived within the framework drawn up in P.M.)
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", p24
  • owner: naraypv - (no access) - Gödel, Escher, Bach_ An Eternal Golden Braid-Basic Books (1994).pdf, p32


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.