Document (#30310)

Author

Springer, M.

Title

Was hier steht, ist nicht wahr

Source

Spektrum der Wissenschaft. 2006, H.7, S.24

Year

2006

Series

Springers Einwürfe

Content

"Was halten Sie von diesem Satz, der von sich aussagt, dass er falsch sei? Wenn er, wie behauptet, nicht wahr ist, stimmt nicht, was er aussagt, und das bedeutet, dass er wahr ist - im Widerspruch zu dem, was er behauptet. Als Urform solcher sich selbst torpedierenden Aussagen gilt die Paradoxie des kretischen Priesters Epimenides, der alle Kreter als Lügner bezeichnete. Auch dies führt zu einer Antinomie: einem unauflöslichen Selbstwiderspruch. Vor hundert Jahren, am 28. April 1906, wurde im heutigen Tschechien, damals Teil der österreichischen Monarchie, Kurt Gödel geboren, den die Fachwelt zu diesem Jubiläum als den größten Logiker seit Aristoteles feiert. Sein Ruhm beruht im Wesentlichen auf einem einzigen Theorem, dem Gödel'schen Unvollständigkeitssatz, der auf raffinierte Weise die Antinomie des Lügners nutzt. Damit zeigte Gödel 1931, dass die damalige Erwartung, die gesamte Mathematik lasse sich nach dem Vorbild der Euklidischen Geometrie aus einigen Axiomen und Ableitungsregeln entwickeln, trügerisch war. In jedem formalen System, das es erlaubt, die Theoreme der Arithmetik herzuleiten, können systemsprengende Sätze von der Art des Lügnerparadoxons konstruiert werden, die sich weder beweisen noch widerlegen lassen. Gödel selbst sah in seiner - für die Zeitgenossen völlig überraschenden - Entdeckung nichts Negatives, obwohl sie die Hoffnung, die Mathematik könne letztlich komplett auf Logik zurückgeführt werden, gründlich zerstörte. Hätte jene Hoffnung sich bewahrheitet, so gäbe es zumindest theoretisch ein Computerprogramm, das automatisch sämtliche Sätze der Mathematik zu produzieren vermöchte. Gödel hingegen meinte als überzeugter Anhänger der Platon'schen Ideenlehre, die Tätigkeit der Mathematiker gleiche der Entdeckungsreise in eine unbekannte Welt geistiger Objekte und nicht der freien Erfindung von Spielregeln, Formalismen und Rechenprogrammen. Dafür schien ihm sein Unvollständigkeitssatz ein klares Indiz (siehe »Kurt Gödel«, Spektrum-Biografie 1/2002). Wie groß der denkerische Ehrgeiz des großen Logikers war, offenbaren erst Gödels postum edierte Notizen. Schon der Halbwüchsige betitelte ein Schulheft mit »Fehler der Bibel« - nicht einmal das Buch der Bücher war vor seinem kritischen Misstrauen sicher. In reifen Jahren arbeitete er an einem Beweis für die Existenz Gottes auf rein logischer Basis - nach dem Vorbild des mittelalterlichen Scholastikers Anselm von Canterbury. Gödels ontologischer Gottesbeweis geht kurz gesagt so: Gott ist nur denkbar als Wesen, das alle positiven Eigenschaften in sich vereint, und da Existenz eine solche positive Eigenschaft ist, muss Gott existieren. Was zu beweisen war. In gewisser Weise erscheint mir dieses Argument als logische Umkehrung der Antinomie des Lügners. Der Satz »Ich bin falsch« sprengt die Konsistenz des Systems, in dem er formuliert wird; die Behauptung »Ich bin wahr« macht das Gegenteil: Eigenmächtig, kühn und herausfordernd stellt sie sich selbst im logischen Raum auf. Um dieser Behauptung blindlings zu vertrauen, ja sie als Selbstaussage des höchsten Wesens zu verstehen - etwa im Sinne des Jesu-Worts »Ich bin die Wahrheit und das Leben« -, dazu muss man freilich wie Gödel bedingungslos an die reale Existenz logisch-mathematischer Objekte glauben."

Field

Logik

Similar documents (author)

1. Springer: Neues Online-Tool zum Herunterladen (2011) 8.37

   8.369263 = sum of:
     8.369263 = weight(author_txt:springer in 716) [ClassicSimilarity], result of:
       8.369263 = fieldWeight in 716, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.369263 = idf(docFreq=27, maxDocs=44421)
         1.0 = fieldNorm(doc=716)
   

2. Springer, M.: Wettrüsten im Cyberraum (2018) 5.23

   5.230789 = sum of:
     5.230789 = weight(author_txt:springer in 2323) [ClassicSimilarity], result of:
       5.230789 = fieldWeight in 2323, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.369263 = idf(docFreq=27, maxDocs=44421)
         0.625 = fieldNorm(doc=2323)
   

3. Springer, M.: Wo erleben wir? (2018) 5.23

   5.230789 = sum of:
     5.230789 = weight(author_txt:springer in 4314) [ClassicSimilarity], result of:
       5.230789 = fieldWeight in 4314, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.369263 = idf(docFreq=27, maxDocs=44421)
         0.625 = fieldNorm(doc=4314)
   

4. Springer, M.: Muss Musil modern? (2002) 5.23

   5.230789 = sum of:
     5.230789 = weight(author_txt:springer in 1315) [ClassicSimilarity], result of:
       5.230789 = fieldWeight in 1315, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.369263 = idf(docFreq=27, maxDocs=44421)
         0.625 = fieldNorm(doc=1315)
   

5. Springer, S.: Research Project Database - Forschungsthemen-Datenbank Sachsen-Anhalt (LSAFODB) (2002) 5.23

   5.230789 = sum of:
     5.230789 = weight(author_txt:springer in 4615) [ClassicSimilarity], result of:
       5.230789 = fieldWeight in 4615, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         8.369263 = idf(docFreq=27, maxDocs=44421)
         0.625 = fieldNorm(doc=4615)
   

Similar documents (content)

1. Collins, G.P.: Außerordentlich einfach (2008) 1.03

   1.0322592 = sum of:
     1.0322592 = product of:
       2.0645185 = sum of:
         0.471289 = weight(abstract_txt:steht in 3453) [ClassicSimilarity], result of:
           0.471289 = score(doc=3453,freq=1.0), product of:
             0.37747905 = queryWeight, product of:
               1.4472975 = boost
               5.707506 = idf(docFreq=400, maxDocs=44421)
               0.045697104 = queryNorm
             1.248517 = fieldWeight in 3453, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.707506 = idf(docFreq=400, maxDocs=44421)
               0.21875 = fieldNorm(doc=3453)
         1.5932294 = weight(abstract_txt:wahr in 3453) [ClassicSimilarity], result of:
           1.5932294 = score(doc=3453,freq=1.0), product of:
             0.8502635 = queryWeight, product of:
               2.1721416 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.045697104 = queryNorm
             1.8738067 = fieldWeight in 3453, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.21875 = fieldNorm(doc=3453)
       0.5 = coord(2/4)
   

2. Penzlin, H.: ¬Die Welt als Täuschung : Wahrnehmung (2002) 0.62

   0.62453127 = sum of:
     0.62453127 = product of:
       1.2490625 = sum of:
         0.11104165 = weight(abstract_txt:nicht in 2310) [ClassicSimilarity], result of:
           0.11104165 = score(doc=2310,freq=1.0), product of:
             0.18020934 = queryWeight, product of:
               3.9435613 = idf(docFreq=2339, maxDocs=44421)
               0.045697104 = queryNorm
             0.61618143 = fieldWeight in 2310, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.9435613 = idf(docFreq=2339, maxDocs=44421)
               0.15625 = fieldNorm(doc=2310)
         1.1380209 = weight(abstract_txt:wahr in 2310) [ClassicSimilarity], result of:
           1.1380209 = score(doc=2310,freq=1.0), product of:
             0.8502635 = queryWeight, product of:
               2.1721416 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.045697104 = queryNorm
             1.3384333 = fieldWeight in 2310, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.15625 = fieldNorm(doc=2310)
       0.5 = coord(2/4)
   

3. David, W.: ¬Der Einfluss epistemologischer Überzeugungen auf Wissenserwerb (2006) 0.58

   0.5787399 = sum of:
     0.5787399 = sum of:
       0.057698935 = weight(abstract_txt:nicht in 879) [ClassicSimilarity], result of:
         0.057698935 = score(doc=879,freq=3.0), product of:
           0.18020934 = queryWeight, product of:
             3.9435613 = idf(docFreq=2339, maxDocs=44421)
             0.045697104 = queryNorm
           0.3201773 = fieldWeight in 879, product of:
             1.7320508 = tf(freq=3.0), with freq of:
               3.0 = termFreq=3.0
             3.9435613 = idf(docFreq=2339, maxDocs=44421)
             0.046875 = fieldNorm(doc=879)
       0.07864419 = weight(abstract_txt:hier in 879) [ClassicSimilarity], result of:
         0.07864419 = score(doc=879,freq=1.0), product of:
           0.3195094 = queryWeight, product of:
             1.3315368 = boost
             5.250997 = idf(docFreq=632, maxDocs=44421)
             0.045697104 = queryNorm
           0.24614048 = fieldWeight in 879, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             5.250997 = idf(docFreq=632, maxDocs=44421)
             0.046875 = fieldNorm(doc=879)
       0.1009905 = weight(abstract_txt:steht in 879) [ClassicSimilarity], result of:
         0.1009905 = score(doc=879,freq=1.0), product of:
           0.37747905 = queryWeight, product of:
             1.4472975 = boost
             5.707506 = idf(docFreq=400, maxDocs=44421)
             0.045697104 = queryNorm
           0.26753935 = fieldWeight in 879, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             5.707506 = idf(docFreq=400, maxDocs=44421)
             0.046875 = fieldNorm(doc=879)
       0.3414063 = weight(abstract_txt:wahr in 879) [ClassicSimilarity], result of:
         0.3414063 = score(doc=879,freq=1.0), product of:
           0.8502635 = queryWeight, product of:
             2.1721416 = boost
             8.565973 = idf(docFreq=22, maxDocs=44421)
             0.045697104 = queryNorm
           0.40153 = fieldWeight in 879, product of:
             1.0 = tf(freq=1.0), with freq of:
               1.0 = termFreq=1.0
             8.565973 = idf(docFreq=22, maxDocs=44421)
             0.046875 = fieldNorm(doc=879)
   

4. Degele, N.: Neue Kompetenzen im Internet : Kommunikation abwehren, Information vermeiden (2005) 0.51

   0.50893915 = sum of:
     0.50893915 = product of:
       0.6785855 = sum of:
         0.15052187 = weight(abstract_txt:nicht in 4491) [ClassicSimilarity], result of:
           0.15052187 = score(doc=4491,freq=15.0), product of:
             0.18020934 = queryWeight, product of:
               3.9435613 = idf(docFreq=2339, maxDocs=44421)
               0.045697104 = queryNorm
             0.8352612 = fieldWeight in 4491, product of:
               3.8729835 = tf(freq=15.0), with freq of:
                 15.0 = termFreq=15.0
               3.9435613 = idf(docFreq=2339, maxDocs=44421)
               0.0546875 = fieldNorm(doc=4491)
         0.1297563 = weight(abstract_txt:hier in 4491) [ClassicSimilarity], result of:
           0.1297563 = score(doc=4491,freq=2.0), product of:
             0.3195094 = queryWeight, product of:
               1.3315368 = boost
               5.250997 = idf(docFreq=632, maxDocs=44421)
               0.045697104 = queryNorm
             0.40611106 = fieldWeight in 4491, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.250997 = idf(docFreq=632, maxDocs=44421)
               0.0546875 = fieldNorm(doc=4491)
         0.39830735 = weight(abstract_txt:wahr in 4491) [ClassicSimilarity], result of:
           0.39830735 = score(doc=4491,freq=1.0), product of:
             0.8502635 = queryWeight, product of:
               2.1721416 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.045697104 = queryNorm
             0.46845168 = fieldWeight in 4491, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.0546875 = fieldNorm(doc=4491)
       0.75 = coord(3/4)
   

5. Janich, P.; Singer, W.: Kommen Sie doch in mein Labor! (2008) 0.41

   0.40803128 = sum of:
     0.40803128 = product of:
       0.81606257 = sum of:
         0.13324998 = weight(abstract_txt:nicht in 2993) [ClassicSimilarity], result of:
           0.13324998 = score(doc=2993,freq=4.0), product of:
             0.18020934 = queryWeight, product of:
               3.9435613 = idf(docFreq=2339, maxDocs=44421)
               0.045697104 = queryNorm
             0.73941773 = fieldWeight in 2993, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.9435613 = idf(docFreq=2339, maxDocs=44421)
               0.09375 = fieldNorm(doc=2993)
         0.6828126 = weight(abstract_txt:wahr in 2993) [ClassicSimilarity], result of:
           0.6828126 = score(doc=2993,freq=1.0), product of:
             0.8502635 = queryWeight, product of:
               2.1721416 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.045697104 = queryNorm
             0.80306 = fieldWeight in 2993, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.09375 = fieldNorm(doc=2993)
       0.5 = coord(2/4)