Jump to content

Gödelization

From Wiktionary, the free dictionary

English

[edit]

Etymology

[edit]

From Kurt Gödel (or Gödel number) and -ization.

Noun

[edit]

Gödelization (plural Gödelizations)

  1. (logic) Gödel numbering
    • 2013, Encyclopedia of Math[1]
      Gödelizations with bijective mapping β are of special interest.
Retrieved from "https://en.wiktionary.org/w/index.php?title=Gödelization&oldid=68885894"