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
status
not 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.