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

Gödel number

Noun CEFR B2

Definitions

A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.

Equivalents

2 more languages

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

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

Learn this word in context

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

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free