Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

Gödel number en · NOUN

Etymology

Named after Austrian mathematician and logician Kurt Gödel

Meanings

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

Forms

SpellingFeaturesLabelsSource
Gödel numbers Number=Plur lexicographic

Deriveds

Gödel numbering

Translations (8)

pl liczba Gödla (number uniquely assigned to each symbol) · fr nombre de Gödel (number uniquely assigned to each symbol) · pt número de Gödel (number uniquely assigned to each symbol) · de Gödelnummer (number uniquely assigned to each symbol) · ca nombre de Gödel (number uniquely assigned to each symbol) · it numero di Gödel (number uniquely assigned to each symbol) · es número de Gödel (number uniquely assigned to each symbol) · sv Gödeltal (number uniquely assigned to each symbol)