Gödel Numbering, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
Das Buch "Gödel Numbering" von Alphascript Publishing bietet eine umfassende Einführung in das Konzept der Gödel-Nummerierung... Mehr erfahren
Produktvarianten
Gödel Numbering, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
Finde die besten Angebote
Bester Preis22 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Gödel Numbering" von Alphascript Publishing bietet eine umfassende Einführung in das Konzept der Gödel-Nummerierung, das in der mathematischen Logik von zentraler Bedeutung ist. Es erklärt, wie jedem Symbol und jeder wohldefinierten Formel einer formalen Sprache eine eindeutige natürliche Zahl zugeordnet wird, die als Gödel-Zahl bezeichnet wird. Dieses Konzept wurde erstmals von Kurt Gödel verwendet, um seinen Unvollständigkeitssatz zu beweisen. Die Gödel-Nummerierung ermöglicht eine Kodierung, bei der Zahlen den Symbolen einer mathematischen Notation zugewiesen werden, was die Manipulation von Sequenzen in formalen Theorien der Arithmetik erleichtert. Das Buch behandelt die Entwicklung und Anwendung der Gödel-Nummerierung seit der Veröffentlichung von Gödel's Arbeit im Jahr 1931 und bietet einen tiefen Einblick in die mathematischen Grundlagen und deren Bedeutung für die Logik und die Mathematik.
Informationen
Lieferzeit:2-4 Werktage
Marke:Alphascript Publishing