#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"
pdf
owner:
piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p24
Summary
| status | not read | | reprioritisations | |
|---|
| last reprioritisation on | | | suggested re-reading day | |
|---|
| started reading on | | | finished reading on | |
|---|
Details