1. Knowra
  2. Gödel numbering
  3. Linked from

Linked from

The 24 pages that link to Gödel numbering, each with the reason it gives.

All 24Broader topic 2Related 22

  • Natural numberBroader topic: It lets arithmetic encode formal expressions and reason about them numerically.

  • Kurt GödelBroader topic: It lets arithmetic represent the syntax and proof relations of a formal system.

Machine generatedConnect to another ideaRandom page