Property |
Value |
dbo:abstract
|
- Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Systemen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Leistungsfähigkeit auf. Er weist nach, dass es in hinreichend starken Systemen, wie der Arithmetik, Aussagen geben muss, die man weder formal beweisen noch widerlegen kann. Der Satz beweist damit die Unmöglichkeit des Hilbertprogramms, welches von David Hilbert unter anderem begründet wurde, um die Widerspruchsfreiheit der Mathematik zu beweisen. Der Satz wurde 1931 vom österreichischen Mathematiker Kurt Gödel veröffentlicht. Genauer werden zwei Unvollständigkeitssätze unterschieden. Der Erste Unvollständigkeitssatz besagt, dass es in hinreichend starken widerspruchsfreien Systemen immer unbeweisbare Aussagen gibt. Der Zweite Unvollständigkeitssatz besagt, dass hinreichend starke widerspruchsfreie Systeme ihre eigene Widerspruchsfreiheit nicht beweisen können. Durch diese Sätze ist der Mathematik eine prinzipielle Grenze gesetzt: Nicht jeder mathematische Satz kann aus den Axiomen eines mathematischen Teilgebietes (zum Beispiel Arithmetik, Geometrie und Algebra) formal abgeleitet oder widerlegt werden. In der Wissenschaftstheorie und in anderen Gebieten der Philosophie zählt der Satz zu den meistrezipierten der Mathematik. Das Buch Gödel, Escher, Bach und die Werke von John Randolph Lucas werden häufig exemplarisch hervorgehoben. (de)
- Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Systemen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Leistungsfähigkeit auf. Er weist nach, dass es in hinreichend starken Systemen, wie der Arithmetik, Aussagen geben muss, die man weder formal beweisen noch widerlegen kann. Der Satz beweist damit die Unmöglichkeit des Hilbertprogramms, welches von David Hilbert unter anderem begründet wurde, um die Widerspruchsfreiheit der Mathematik zu beweisen. Der Satz wurde 1931 vom österreichischen Mathematiker Kurt Gödel veröffentlicht. Genauer werden zwei Unvollständigkeitssätze unterschieden. Der Erste Unvollständigkeitssatz besagt, dass es in hinreichend starken widerspruchsfreien Systemen immer unbeweisbare Aussagen gibt. Der Zweite Unvollständigkeitssatz besagt, dass hinreichend starke widerspruchsfreie Systeme ihre eigene Widerspruchsfreiheit nicht beweisen können. Durch diese Sätze ist der Mathematik eine prinzipielle Grenze gesetzt: Nicht jeder mathematische Satz kann aus den Axiomen eines mathematischen Teilgebietes (zum Beispiel Arithmetik, Geometrie und Algebra) formal abgeleitet oder widerlegt werden. In der Wissenschaftstheorie und in anderen Gebieten der Philosophie zählt der Satz zu den meistrezipierten der Mathematik. Das Buch Gödel, Escher, Bach und die Werke von John Randolph Lucas werden häufig exemplarisch hervorgehoben. (de)
|
dbo:author
| |
dbo:isbn
|
- 0-444-86388-5
- 1-56881-262-0
- 978-3-8348-0578-2
|
dbo:originalTitle
|
- Einführung in die Mathematische Logik (de)
- Extensions of some theorems of Gödel and Church (de)
- Fundamentals of Mathematical Logic (de)
- Grundlagen der Mathematik. II (de)
- The incompleteness theorems (de)
- Einführung in die Mathematische Logik (de)
- Extensions of some theorems of Gödel and Church (de)
- Fundamentals of Mathematical Logic (de)
- Grundlagen der Mathematik. II (de)
- The incompleteness theorems (de)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageRevisionID
| |
prop-de:autor
|
- Craig Smorynski
- J. Barkley Rosser
- Peter G. Hinman
|
prop-de:band
|
- 1 (xsd:integer)
- 50 (xsd:integer)
|
prop-de:datum
|
- 1936 (xsd:integer)
- 1939 (xsd:integer)
- 1977 (xsd:integer)
- 2005 (xsd:integer)
- 2008 (xsd:integer)
|
prop-de:herausgeber
| |
prop-de:kommentar
|
- enthält einen detaillierten Beweis des zweiten Unvollständigkeitssatzes in der Mengenlehre
- enthält eine detaillierte arithmetisierte Beweisskizze des zweiten Unvollständigkeitssatzes
|
prop-de:online
| |
prop-de:ort
|
- Berlin
- Wellesley
- Wiesbaden
|
prop-de:reihe
|
- Die Grundlehren der mathematischen Wissenschaften
|
prop-de:sammelwerk
|
- Handbook of Mathematical Logic
- Journal of Symbolic Logic
|
dc:publisher
|
- A K Peters
- North Holland
- Springer
- Vieweg+Teubner
|
dct:subject
| |
bibo:pages
| |
rdf:type
| |
rdfs:comment
|
- Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Systemen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Leistungsfähigkeit auf. Er weist nach, dass es in hinreichend starken Systemen, wie der Arithmetik, Aussagen geben muss, die man weder formal beweisen noch widerlegen kann. Der Satz beweist damit die Unmöglichkeit des Hilbertprogramms, welches von David Hilbert unter anderem begründet wurde, um die Widerspruchsfreiheit der Mathematik zu beweisen. Der Satz wurde 1931 vom österreichischen Mathematiker Kurt Gödel veröffentlicht. (de)
- Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Systemen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Leistungsfähigkeit auf. Er weist nach, dass es in hinreichend starken Systemen, wie der Arithmetik, Aussagen geben muss, die man weder formal beweisen noch widerlegen kann. Der Satz beweist damit die Unmöglichkeit des Hilbertprogramms, welches von David Hilbert unter anderem begründet wurde, um die Widerspruchsfreiheit der Mathematik zu beweisen. Der Satz wurde 1931 vom österreichischen Mathematiker Kurt Gödel veröffentlicht. (de)
|
rdfs:label
|
- Gödelscher Unvollständigkeitssatz (de)
- Gödelscher Unvollständigkeitssatz (de)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is foaf:primaryTopic
of | |