when all statements which are true (in some imaginable world), and which can be expressed as well-formed strings of the system, are theorems.
If you want to change selection, open original toplevel document below and click on "Move attachment"
Parent (intermediate) annotation
Open it Completeness: when all statements which are true (in some imaginable world), and which can be expressed as well-formed strings of the system, are theorems.
Original toplevel document (pdf)
owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p101
Summary
status
not learned
measured difficulty
37% [default]
last interval [days]
repetition number in this series
0
memorised on
scheduled repetition
scheduled repetition interval
last repetition or drill
Details
No repetitions
Discussion
Do you want to join discussion? Click here to log in or create user.