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 3 (figure and ground) [9a35e4c5]

Tags: Hofstadter - Godel, Escher, Bach

  • What is a typographical system?

    1. Reading & recongizing any set of finite symbols
    2. Writing down any symbols that belong to that set
    3. Copying any of those symbols from one place to another
    4. Erasing any of those symbols
    5. Checking to see if symbols are the same
    6. Keeping a list of the symbols already made

  • We can define primes by defining the negative of the composite, but this comes with a problem

    there eixst formal systems whose negative space is not the positive space.

  • If we define the space of all composite numbers, prime numbers are recursively enumerable, but they are not recursive derivable. We cannot compute primes without checking all the numbers that lead up to it, this is a one way function.