-
Springer, M.: Was hier steht, ist nicht wahr (2006)
0.02
0.019801008 = product of:
0.049502518 = sum of:
0.018639674 = weight(_text_:system in 5309) [ClassicSimilarity], result of:
0.018639674 = score(doc=5309,freq=2.0), product of:
0.13391352 = queryWeight, product of:
3.1495528 = idf(docFreq=5152, maxDocs=44218)
0.04251826 = queryNorm
0.13919188 = fieldWeight in 5309, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.1495528 = idf(docFreq=5152, maxDocs=44218)
0.03125 = fieldNorm(doc=5309)
0.030862844 = product of:
0.046294264 = sum of:
0.023251714 = weight(_text_:29 in 5309) [ClassicSimilarity], result of:
0.023251714 = score(doc=5309,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.15546128 = fieldWeight in 5309, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03125 = fieldNorm(doc=5309)
0.023042548 = weight(_text_:22 in 5309) [ClassicSimilarity], result of:
0.023042548 = score(doc=5309,freq=2.0), product of:
0.1488917 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.04251826 = queryNorm
0.15476047 = fieldWeight in 5309, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.03125 = fieldNorm(doc=5309)
0.6666667 = coord(2/3)
0.4 = coord(2/5)
- 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."
- Date
- 31.12.1996 19:29:41
22. 7.2006 19:56:41
-
Springer, M.: KI -> ML (2017)
0.01
0.0065765786 = product of:
0.03288289 = sum of:
0.03288289 = product of:
0.098648675 = sum of:
0.098648675 = weight(_text_:29 in 3011) [ClassicSimilarity], result of:
0.098648675 = score(doc=3011,freq=4.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.6595664 = fieldWeight in 3011, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.09375 = fieldNorm(doc=3011)
0.33333334 = coord(1/3)
0.2 = coord(1/5)
- Date
- 29. 8.2017 10:53:15
- Source
- Spektrum der Wissenschaft. 2017, H.9, S.29
-
Springer, M.: Wille und Wissen (2006)
0.01
0.006172569 = product of:
0.030862844 = sum of:
0.030862844 = product of:
0.046294264 = sum of:
0.023251714 = weight(_text_:29 in 4986) [ClassicSimilarity], result of:
0.023251714 = score(doc=4986,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.15546128 = fieldWeight in 4986, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03125 = fieldNorm(doc=4986)
0.023042548 = weight(_text_:22 in 4986) [ClassicSimilarity], result of:
0.023042548 = score(doc=4986,freq=2.0), product of:
0.1488917 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.04251826 = queryNorm
0.15476047 = fieldWeight in 4986, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.03125 = fieldNorm(doc=4986)
0.6666667 = coord(2/3)
0.2 = coord(1/5)
- Date
- 31.12.1996 19:29:41
22. 1.2006 18:39:20
-
Pauen, M.; Springer, M.: Ein Philosoph, der über das Gehirn nachdenkt (2009)
0.01
0.006172569 = product of:
0.030862844 = sum of:
0.030862844 = product of:
0.046294264 = sum of:
0.023251714 = weight(_text_:29 in 2997) [ClassicSimilarity], result of:
0.023251714 = score(doc=2997,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.15546128 = fieldWeight in 2997, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03125 = fieldNorm(doc=2997)
0.023042548 = weight(_text_:22 in 2997) [ClassicSimilarity], result of:
0.023042548 = score(doc=2997,freq=2.0), product of:
0.1488917 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.04251826 = queryNorm
0.15476047 = fieldWeight in 2997, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.03125 = fieldNorm(doc=2997)
0.6666667 = coord(2/3)
0.2 = coord(1/5)
- Date
- 31.12.1996 19:29:41
22. 7.2009 13:26:39
-
Springer, M.: Künstliche Gehirne (2018)
0.00
0.004650343 = product of:
0.023251716 = sum of:
0.023251716 = product of:
0.069755144 = sum of:
0.069755144 = weight(_text_:29 in 4166) [ClassicSimilarity], result of:
0.069755144 = score(doc=4166,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.46638384 = fieldWeight in 4166, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.09375 = fieldNorm(doc=4166)
0.33333334 = coord(1/3)
0.2 = coord(1/5)
- Source
- Spektrum der Wissenschaft. 2018, H.2, S.29
-
Springer, M.: Ewiges Wachstum (2020)
0.00
0.004650343 = product of:
0.023251716 = sum of:
0.023251716 = product of:
0.069755144 = sum of:
0.069755144 = weight(_text_:29 in 5742) [ClassicSimilarity], result of:
0.069755144 = score(doc=5742,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.46638384 = fieldWeight in 5742, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.09375 = fieldNorm(doc=5742)
0.33333334 = coord(1/3)
0.2 = coord(1/5)
- Source
- Spektrum der Wissenschaft. 2020, H.3, S.29
-
Springer, M.: Schwarzer Schwan im Internet (2020)
0.00
0.004650343 = product of:
0.023251716 = sum of:
0.023251716 = product of:
0.069755144 = sum of:
0.069755144 = weight(_text_:29 in 5903) [ClassicSimilarity], result of:
0.069755144 = score(doc=5903,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.46638384 = fieldWeight in 5903, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.09375 = fieldNorm(doc=5903)
0.33333334 = coord(1/3)
0.2 = coord(1/5)
- Source
- Spektrum der Wissenschaft. 2020, H.7, S.29
-
Kanitscheider, B.; Springer, M.: ¬Ein Denker zwischen zwei Kulturen (2008)
0.00
0.003875286 = product of:
0.01937643 = sum of:
0.01937643 = product of:
0.05812929 = sum of:
0.05812929 = weight(_text_:29 in 4835) [ClassicSimilarity], result of:
0.05812929 = score(doc=4835,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.38865322 = fieldWeight in 4835, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.078125 = fieldNorm(doc=4835)
0.33333334 = coord(1/3)
0.2 = coord(1/5)
- Date
- 31.12.1996 19:29:41
-
Springer, M.: Wie frei bleibt das Internet? : Das neue Medium zwischen Anarchie und Zensur (2011)
0.00
0.003261943 = product of:
0.016309716 = sum of:
0.016309716 = weight(_text_:system in 4386) [ClassicSimilarity], result of:
0.016309716 = score(doc=4386,freq=2.0), product of:
0.13391352 = queryWeight, product of:
3.1495528 = idf(docFreq=5152, maxDocs=44218)
0.04251826 = queryNorm
0.1217929 = fieldWeight in 4386, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.1495528 = idf(docFreq=5152, maxDocs=44218)
0.02734375 = fieldNorm(doc=4386)
0.2 = coord(1/5)
- Content
- Doch so eindeutig sind Gut und Böse im Dreieck Bürger-Staat - Internet nicht verteilt. Nur auf den ersten Blick steht der Einzelne, der sein Recht auf uneingeschränkte Information beansprucht, im Bund mit einem möglichst freien Internet, während der Staat das neue Medium angeblich bloß reglementieren will. Zu einer anderen Einschätzung kommt der Rechtswissenschaftler Tim Wu von der New Yorker Columbia University in seinem Buch »The Master Switch: The Rise and Fall of Information Empires«. Wu untersucht die Geschichte der Medien Radio, Tonträger, Film, Fernsehen und Internet in den USA und demonstriert an zahlreichen Beispielen ein wiederkehrendes Muster: Die jeweils neueste Technik macht Firmen reich, die mit ihrer wirtschaftlichen Macht ein Monopol darauf durchsetzen. Erst die Einführung der nächsten »neuen« Medientechnik bricht die ökonomische Alleinherrschaft. Im Licht von Wus Befund muss ich mein Dreieck zu einem Quadrat erweitern, mit mächtigen Medienkonzernen als viertem Pol. Aktuelle Beispiele wären Google und Apple. Jeder von beiden schickt sich auf seine Weise an, ein geschlossenes System zu organisieren, das sich krakengleich über das Internet ausbreitet, um es möglichst umfassend zu vereinnahmen. Der Grund ist nicht etwa, dass die zwei Möchtegern-Monopolisten »böse« wären - sie sind nur einfach auf expansives Wirtschaften programmiert. Im Viereck Bürger -Staat - Internet -Wirtschaft kommt darum dem Staat laut Wu eine durchaus positive Rolle zu: Er soll verhindern, dass das neue Medium von Konzernen vereinnahmt wird. So könnte etwa eine Kartellbehörde ihr Augenmerk speziell auf geballte Medienmacht im Internet richten. Übrigens: Wissen Sie, warum »Der Glöckner von Notre-Dame« in Hollywood gedreht wurde? Auch darüber gibt Wus Buch Auskunft. Die Firma des Erfinders Thomas Edison kontrollierte Anfang des 20. Jahrhunderts mit ihren Patenten die gesamte Filmtechnik. Unter anderem diktierte sie, dass ein Kinofilm nur wenige Minuten lang sein dürfe, um die Aufmerksamkeit des Publikums nicht zu ermüden. Vor solchen Vorschriften flohen die ersten Filmstudios von der Ostküstenach Kalifornien - und gründeten Hollywood."
-
Springer, M.; Friederici, A.: Wie das Gehirn zur Sprache kommt (2010)
0.00
0.0015501144 = product of:
0.0077505717 = sum of:
0.0077505717 = product of:
0.023251714 = sum of:
0.023251714 = weight(_text_:29 in 3603) [ClassicSimilarity], result of:
0.023251714 = score(doc=3603,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.15546128 = fieldWeight in 3603, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03125 = fieldNorm(doc=3603)
0.33333334 = coord(1/3)
0.2 = coord(1/5)
- Date
- 31.12.1996 19:29:41
-
Springer, M.: Ist das Gehirn ein Quantencomputer? (2006)
0.00
0.0013563501 = product of:
0.0067817504 = sum of:
0.0067817504 = product of:
0.02034525 = sum of:
0.02034525 = weight(_text_:29 in 5313) [ClassicSimilarity], result of:
0.02034525 = score(doc=5313,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.13602862 = fieldWeight in 5313, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.02734375 = fieldNorm(doc=5313)
0.33333334 = coord(1/3)
0.2 = coord(1/5)
- Date
- 31.12.1996 19:29:41
-
Springer, M.: Muss Musil modern? (2002)
0.00
0.0011625858 = product of:
0.005812929 = sum of:
0.005812929 = product of:
0.017438786 = sum of:
0.017438786 = weight(_text_:29 in 315) [ClassicSimilarity], result of:
0.017438786 = score(doc=315,freq=2.0), product of:
0.14956595 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.04251826 = queryNorm
0.11659596 = fieldWeight in 315, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.0234375 = fieldNorm(doc=315)
0.33333334 = coord(1/3)
0.2 = coord(1/5)
- Date
- 31.12.1996 19:29:41
