Difference between revisions of "Gödel numbering"
Karl Jones (Talk | contribs) |
Karl Jones (Talk | contribs) (→See also) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 15: | Line 15: | ||
* [[Encoding]] | * [[Encoding]] | ||
* [[Formal language]] | * [[Formal language]] | ||
| − | * [[Function (mathematics) | + | * [[Function (mathematics)]] |
| − | + | ||
* [[Incompleteness theorems]] | * [[Incompleteness theorems]] | ||
| + | * [[Kurt Gödel]] | ||
* [[Mathematical logic]] | * [[Mathematical logic]] | ||
* [[Mathematical notation]] | * [[Mathematical notation]] | ||
| Line 28: | Line 28: | ||
* [https://en.wikipedia.org/wiki/G%C3%B6del_numbering Gödel numbering] @ Wikipedia | * [https://en.wikipedia.org/wiki/G%C3%B6del_numbering Gödel numbering] @ Wikipedia | ||
| + | |||
| + | [[Category:Logic]] | ||
| + | [[Category:Mathematics]] | ||
| + | [[Category:Numbers]] | ||
Latest revision as of 15:49, 20 April 2016
In 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.
Description
The concept was used by Kurt Gödel for the proof of his incompleteness theorems. (Gödel 1931)
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 symbols. These sequences of natural numbers can again be represented by single natural numbers, facilitating their manipulation in formal theories of arithmetic.
Mathematical objects
Since the publishing of Gödel's paper in 1931, the term "Gödel numbering" or "Gödel code" has been used to refer to more general assignments of natural numbers to mathematical objects.
See also
- Encoding
- Formal language
- Function (mathematics)
- Incompleteness theorems
- Kurt Gödel
- Mathematical logic
- Mathematical notation
- Mathematical object
- Natural number
- Symbol
- Well-formed formula
External links
- Gödel numbering @ Wikipedia
