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

Translations

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.