Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Gödel Numbering
CHF 56.40
Auf Lager
SKU
D0QOJBOHL88
1 Verfügbar 
Geliefert zwischen Fr., 06.02.2026 und Mo., 09.02.2026
Details
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 first used by Kurt Gödel for the proof of his incompleteness theorem. 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. These sequences of natural numbers can again be represented by single natural numbers, facilitating their manipulation in formal theories of arithmetic. Since Gödel's paper was published in 1931, the term "Gödel numbering" has been used to refer to more general assignments of natural numbers to mathematical objects.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130068721
- Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
- EAN 9786130068721
- Format Fachbuch
- Titel Gödel Numbering
- Herausgeber Alphascript Publishing
- Anzahl Seiten 132
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
