index

Gödel numbering

2021-10-11


When each symbol in some formal language is represented as a specific natural number, a sequence of symbols can also be expressed as a natural number and then properties of those symbol sequences can be derived from properties of their corresponding numbers.

Gödel numbering - Wikipedia


2021-06-08
Andy Matuschak
Evergreen notes

This site is generated with zetgen