Gödel number

English

Etymology

Named after Austrian mathematician and logician Kurt Gödel

Noun

Gödel number (plural Gödel numbers)

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

Derived terms

Gödel numbering

Translations

number uniquely assigned to each symbol

Catalan: nombre de Gödel m
French: nombre de Gödel (fr) m
German: Gödelnummer f
Italian: numero di Gödel m
Portuguese: número de Gödel m
Spanish: número de Gödel m
Swedish: Gödeltal n

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.