Gödel number

English

Etymology

Named after Austrian mathematician and logician Kurt Gödel

Noun

Gödel number (plural Gödel numbers)

1. (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