Difference between revisions of "Gödel numbering"
Karl Jones (Talk | contribs) |
Karl Jones (Talk | contribs) (→See also) |
||
| Line 16: | Line 16: | ||
* [[Formal language]] | * [[Formal language]] | ||
* [[Function (mathematics)|function]] | * [[Function (mathematics)|function]] | ||
| − | |||
* [[Incompleteness theorems]] | * [[Incompleteness theorems]] | ||
| + | * [[Kurt Gödel]] | ||
* [[Mathematical logic]] | * [[Mathematical logic]] | ||
* [[Mathematical notation]] | * [[Mathematical notation]] | ||
Revision as of 15:48, 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
- Incompleteness theorems
- Kurt Gödel
- Mathematical logic
- Mathematical notation
- Mathematical object
- Natural number
- Symbol
- Well-formed formula
External links
- Gödel numbering @ Wikipedia
