Gödel number

English dictionary entry

Meanings

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

Word forms

Gödel number Gödel numbers

Etymology

Named after Austrian mathematician and logician Kurt Gödel

Derived words

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.