| 書目名稱 | Die G?del‘schen Unvollst?ndigkeitss?tze |
| 副標(biāo)題 | Eine geführte Reise |
| 編輯 | Dirk W. Hoffmann |
| 視頻video | http://file.papertrans.cn/274/273436/273436.mp4 |
| 概述 | G?dels historisches Meisterwerk detailliert aufbereitet.Alle Einzelschritte erl?utert und anhand zahlreicher Beispiele verst?ndlich erkl?rt.Ausführliche Darstellung des geschichtlichen Umfelds (Grundl |
| 圖書封面 |  |
| 描述 | .Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel?.über formal unentscheidbare S?tze der Principia Mathematica und verwandter Systeme I.. In dieser Arbeit hat Kurt G?del zwei Unvollst?ndigkeitss?tze bewiesen, die unseren Blick auf die Mathematik von Grund auf ver?ndert haben. G?dels S?tze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine Kluft besteht, die wir nicht überwinden k?nnen. Die Mathematik fügt sich in kein formales Korsett..Seit ihrer Entdeckung sind die Unvollst?ndigkeitss?tze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die G?del‘sche Arbeit in ihrer ursprünglichen Form ? und dies hat triftige Gründe: Seine komplexen, in akribischer Pr?zision beschriebenen Argumentationsketten, die vielen Definitionen und S?tze und die heute weitgehend überholte Notation machen G?dels historisches Meisterwerkzu einer schwer zu lesenden Arbeit..In diesem Buch wird G?dels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erl?utert und anhand zahlreicher Beispiele verst?ndlich erkl?rt. Doch die |
| 出版日期 | Textbook 2017Latest edition |
| 關(guān)鍵詞 | Grundlagenkrise der Mathematik; G?del; Logik; Unvollst?ndigkeitstheorem; Unentscheidbarkeit; Beweisbarkei |
| 版次 | 2 |
| doi | https://doi.org/10.1007/978-3-662-54300-9 |
| isbn_softcover | 978-3-662-54299-6 |
| isbn_ebook | 978-3-662-54300-9 |
| copyright | Springer-Verlag GmbH Deutschland 2017 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 04:02
發(fā)表于 2025-3-21 17:16:19
