Search (12 results, page 1 of 1)

Springer, M.: KI -> ML (2017) 0.09

0.08632509 = product of:
  0.17265017 = sum of:
    0.15533459 = weight(_text_:lernen in 3011) [ClassicSimilarity], result of:
      0.15533459 = score(doc=3011,freq=2.0), product of:
        0.20909165 = queryWeight, product of:
          5.6033173 = idf(docFreq=442, maxDocs=44218)
          0.03731569 = queryNorm
        0.7429019 = fieldWeight in 3011, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          5.6033173 = idf(docFreq=442, maxDocs=44218)
          0.09375 = fieldNorm(doc=3011)
    0.017315587 = product of:
      0.08657794 = sum of:
        0.08657794 = weight(_text_:29 in 3011) [ClassicSimilarity], result of:
          0.08657794 = score(doc=3011,freq=4.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.2 = coord(1/5)
  0.5 = coord(2/4)

Abstract: In der Informatik hat sich gerade ein Paradigmenwechsel von der künstlichen Intelligenz (KI) zum maschinellen Lernen (ML) vollzogen. Er wird unser Leben grundlegend ändern.
Date: 29. 8.2017 10:53:15
Source: Spektrum der Wissenschaft. 2017, H.9, S.29

Springer, M.: Ewiges Wachstum (2020) 0.01

0.0124707995 = product of:
  0.049883198 = sum of:
    0.049883198 = product of:
      0.124708 = sum of:
        0.063488156 = weight(_text_:28 in 5742) [ClassicSimilarity], result of:
          0.063488156 = score(doc=5742,freq=2.0), product of:
            0.13367462 = queryWeight, product of:
              3.5822632 = idf(docFreq=3342, maxDocs=44218)
              0.03731569 = queryNorm
            0.4749455 = fieldWeight in 5742, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5822632 = idf(docFreq=3342, maxDocs=44218)
              0.09375 = fieldNorm(doc=5742)
        0.06121984 = weight(_text_:29 in 5742) [ClassicSimilarity], result of:
          0.06121984 = score(doc=5742,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.4 = coord(2/5)
  0.25 = coord(1/4)

Date: 18. 3.2020 18:48:28
Source: Spektrum der Wissenschaft. 2020, H.3, S.29

Springer, M.: Was hier steht, ist nicht wahr (2006) 0.01
```
0.009268857 = product of:
  0.037075426 = sum of:
    0.037075426 = product of:
      0.061792374 = sum of:
        0.02116272 = weight(_text_:28 in 5309) [ClassicSimilarity], result of:
          0.02116272 = score(doc=5309,freq=2.0), product of:
            0.13367462 = queryWeight, product of:
              3.5822632 = idf(docFreq=3342, maxDocs=44218)
              0.03731569 = queryNorm
            0.15831517 = fieldWeight in 5309, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5822632 = idf(docFreq=3342, maxDocs=44218)
              0.03125 = fieldNorm(doc=5309)
        0.020406613 = weight(_text_:29 in 5309) [ClassicSimilarity], result of:
          0.020406613 = score(doc=5309,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.020223042 = weight(_text_:22 in 5309) [ClassicSimilarity], result of:
          0.020223042 = score(doc=5309,freq=2.0), product of:
            0.13067318 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03731569 = 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.6 = coord(3/5)
  0.25 = coord(1/4)
```
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.: Wille und Wissen (2006) 0.00

0.0040629655 = product of:
  0.016251862 = sum of:
    0.016251862 = product of:
      0.040629655 = sum of:
        0.020406613 = weight(_text_:29 in 4986) [ClassicSimilarity], result of:
          0.020406613 = score(doc=4986,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.020223042 = weight(_text_:22 in 4986) [ClassicSimilarity], result of:
          0.020223042 = score(doc=4986,freq=2.0), product of:
            0.13067318 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03731569 = 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.4 = coord(2/5)
  0.25 = coord(1/4)

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.00

0.0040629655 = product of:
  0.016251862 = sum of:
    0.016251862 = product of:
      0.040629655 = sum of:
        0.020406613 = weight(_text_:29 in 2997) [ClassicSimilarity], result of:
          0.020406613 = score(doc=2997,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.020223042 = weight(_text_:22 in 2997) [ClassicSimilarity], result of:
          0.020223042 = score(doc=2997,freq=2.0), product of:
            0.13067318 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.03731569 = 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.4 = coord(2/5)
  0.25 = coord(1/4)

Date: 31.12.1996 19:29:41
22. 7.2009 13:26:39

Springer, M.: Ist das Gehirn ein Quantencomputer? (2006) 0.00

0.0036373169 = product of:
  0.0145492675 = sum of:
    0.0145492675 = product of:
      0.03637317 = sum of:
        0.01851738 = weight(_text_:28 in 5313) [ClassicSimilarity], result of:
          0.01851738 = score(doc=5313,freq=2.0), product of:
            0.13367462 = queryWeight, product of:
              3.5822632 = idf(docFreq=3342, maxDocs=44218)
              0.03731569 = queryNorm
            0.13852577 = fieldWeight in 5313, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5822632 = idf(docFreq=3342, maxDocs=44218)
              0.02734375 = fieldNorm(doc=5313)
        0.017855786 = weight(_text_:29 in 5313) [ClassicSimilarity], result of:
          0.017855786 = score(doc=5313,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.4 = coord(2/5)
  0.25 = coord(1/4)

Date: 31.12.1996 19:29:41
Source: Spektrum der Wissenschaft. 2006, H.6, S.28

Springer, M.: Erlahmt die Forschung? (2023) 0.00

0.0031744079 = product of:
  0.0126976315 = sum of:
    0.0126976315 = product of:
      0.063488156 = sum of:
        0.063488156 = weight(_text_:28 in 985) [ClassicSimilarity], result of:
          0.063488156 = score(doc=985,freq=2.0), product of:
            0.13367462 = queryWeight, product of:
              3.5822632 = idf(docFreq=3342, maxDocs=44218)
              0.03731569 = queryNorm
            0.4749455 = fieldWeight in 985, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5822632 = idf(docFreq=3342, maxDocs=44218)
              0.09375 = fieldNorm(doc=985)
      0.2 = coord(1/5)
  0.25 = coord(1/4)

Date: 18. 2.2023 19:12:28

Springer, M.: Künstliche Gehirne (2018) 0.00

0.003060992 = product of:
  0.012243968 = sum of:
    0.012243968 = product of:
      0.06121984 = sum of:
        0.06121984 = weight(_text_:29 in 4166) [ClassicSimilarity], result of:
          0.06121984 = score(doc=4166,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.2 = coord(1/5)
  0.25 = coord(1/4)

Source: Spektrum der Wissenschaft. 2018, H.2, S.29

Springer, M.: Schwarzer Schwan im Internet (2020) 0.00

0.003060992 = product of:
  0.012243968 = sum of:
    0.012243968 = product of:
      0.06121984 = sum of:
        0.06121984 = weight(_text_:29 in 5903) [ClassicSimilarity], result of:
          0.06121984 = score(doc=5903,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.2 = coord(1/5)
  0.25 = coord(1/4)

Source: Spektrum der Wissenschaft. 2020, H.7, S.29

Kanitscheider, B.; Springer, M.: ¬Ein Denker zwischen zwei Kulturen (2008) 0.00

0.0025508269 = product of:
  0.0102033075 = sum of:
    0.0102033075 = product of:
      0.051016536 = sum of:
        0.051016536 = weight(_text_:29 in 4835) [ClassicSimilarity], result of:
          0.051016536 = score(doc=4835,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.2 = coord(1/5)
  0.25 = coord(1/4)

Date: 31.12.1996 19:29:41

Springer, M.; Friederici, A.: Wie das Gehirn zur Sprache kommt (2010) 0.00

0.0010203307 = product of:
  0.004081323 = sum of:
    0.004081323 = product of:
      0.020406613 = sum of:
        0.020406613 = weight(_text_:29 in 3603) [ClassicSimilarity], result of:
          0.020406613 = score(doc=3603,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.2 = coord(1/5)
  0.25 = coord(1/4)

Date: 31.12.1996 19:29:41

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

7.65248E-4 = product of:
  0.003060992 = sum of:
    0.003060992 = product of:
      0.01530496 = sum of:
        0.01530496 = weight(_text_:29 in 315) [ClassicSimilarity], result of:
          0.01530496 = score(doc=315,freq=2.0), product of:
            0.13126493 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.03731569 = 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.2 = coord(1/5)
  0.25 = coord(1/4)

Date: 31.12.1996 19:29:41

Search (12 results, page 1 of 1)

Authors

Years

Themes