FANDOM


Overview Edit

An attempt is made to talk about the strange ideas of Zen Buddhism. The Zen monk Mumon, who gave well known commentaries on many kõans, is a central figure. In a way, Zen ideas bear a metaphorical resemblance to some contemporary ideas in the philosophy of mathematics. After this "Zennery", Gödel’s fundamental idea of Gödel-numbering is introduced, and a first pass through Gödel’s Theorem is made.

While you read Edit

  1. How is Verbum (Fig. 149) like a Strange Loop?
  2. The Gödel-numbering of TNT (p. 268) is very similar to another "encoding". Which one is it?

Questions Edit

  1. On p. 266 DRH says that MUMON can be taken in at least two different ways. Can you think of more?
  2. Looking back, can you find another implicit meaning of the Contracrostipunctus? (p. 92)
  3. Find a Gödel-Numbering for the pq-System and "arithmetize" the rules. Is there a way to characterize pq-numbers in a simple way?
  4. Tortoise Is Zen complete? Is it consistent?

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.