

Gödel Numbering, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
45,00 €
Variante
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.
Deine Shops für beste Deals

Galaxus
Logge dich ein für Coupon Details