HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Gödel numbering
← Back to search

Meaning of Gödel numbering | Babel Free

Noun CEFR B2

Definitions

A function assigning a Gödel number to each well-formed formula of some formal language.

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Gödel's incompleteness theorem Gödel's theorem Gödelian Gödelisation Gödelization godemiche

Learn this word in context

See Gödel numbering used in real conversations inside our free language course.

Start Free Course