Gödel numbering (English, noun)
expansion: Gödel numbering (plural Gödel numberings)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A function assigning a Gödel number to each well-formed formula of some formal language.
Forms:
form: Gödel numberings
tags: plural