Gödel numbering
Sign in to saveassignment of each symbol and well-formed formula of a formal language a unique natural number
Wikidata facts
- Part of
- mathematical logic
- Named after
- Kurt Gödel
Show 2 more facts
- model item
- 9
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0