Topic

Formal Systems & Mind

Formal systems, recursion, self-reference, and what these ideas suggest, and do not prove, about computation and mind.

Start Here

  • RecursionRecursion is when a definition or procedure refers to a smaller or simpler instance of itself.
  • Gödel, Escher, BachThe book in one sentence

Go Deeper

  • Gödel, Escher, BachThe book in one sentence
  • RecursionRecursion is when a definition or procedure refers to a smaller or simpler instance of itself.