Keyboard shortcuts

/ or ⌘/Ctrl K
Find a note
j / k
Next / previous section or linked note
h / l
Collapse or go to parent / expand or enter
e or Alt-click
Read a linked note here
o
Open focused note on its own
g g / G
First / last section or linked note
g h / g a
Home / all notes
g b / g t
Backlinks / table of contents
t
Cycle System, Light, Dark
? / Esc
Show / close this reference

Search: ↑/↓ or Ctrl N/P, Enter to open. Shortcuts pause while typing.

geb chapter 8 (typographical number theory) [015686b1]

Tags: Hofstadter - Godel, Escher, Bach

Begins confirming the godel's incompleteness theorem, by creating a communicative type system that cannot describe itself

Argues that if a system could describe itself, all number theory would become symbol shunting, a la hilbert