Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Gödel_numbering> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- Gödel_numbering abstract "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. The concept was famously 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.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.".
- Gödel_numbering wikiPageID "207790".
- Gödel_numbering wikiPageRevisionID "594164938".
- Gödel_numbering subject Category:Mathematical_logic.
- Gödel_numbering subject Category:Theory_of_computation.
- Gödel_numbering comment "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. The concept was famously 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.".
- Gödel_numbering label "Gödel numbering".
- Gödel_numbering label "Gödelnummer".
- Gödel_numbering label "Gödelnummer".
- Gödel_numbering label "Numeración de Gödel".
- Gödel_numbering label "Numero di Gödel".
- Gödel_numbering label "Número de Gödel".
- Gödel_numbering label "Нумерация Гёделя".
- Gödel_numbering label "ゲーデル数".
- Gödel_numbering label "哥德尔数".
- Gödel_numbering sameAs G%C3%B6del_numbering.
- Gödel_numbering sameAs Gödelnummer.
- Gödel_numbering sameAs Numeración_de_Gödel.
- Gödel_numbering sameAs Numero_di_Gödel.
- Gödel_numbering sameAs ゲーデル数.
- Gödel_numbering sameAs Gödelnummer.
- Gödel_numbering sameAs Número_de_Gödel.
- Gödel_numbering sameAs Q1451046.
- Gödel_numbering sameAs Q1451046.
- Gödel_numbering wasDerivedFrom Gödel_numbering?oldid=594164938.