Gödel number

From Wiktionary, the free dictionary

Jump to navigation Jump to search

English[edit]

English Wikipedia has an article on:

Gödel number

Etymology[edit]

Named after Austrian mathematician and logician Kurt Gödel

Noun[edit]

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[edit]

Gödel numbering

Translations[edit]

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

Retrieved from "https://en.wiktionary.org/w/index.php?title=Gödel_number&oldid=75963483"