すう
ゲーデル数
1. Gödel numberMathematics
2. Gödel numberingIn mathematical logic, a Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number. The concept was famously used by Kurt Gödel for the proof of his incompleteness theorems. A Gödel numbering can be interpreted as an encoding in which a number is assigned to each symbol of a mathematical notation, after which a sequence of natural numbers can then represent a sequence of strings.
Read “Gödel numbering” on English Wikipedia
Read “ゲーデル数” on Japanese Wikipedia
Read “Gödel numbering” on DBpedia
Read “Gödel numbering” on English Wikipedia
Read “ゲーデル数” on Japanese Wikipedia
Read “Gödel numbering” on DBpedia
Discussions
Log in to talk about this word.