Search (3 results, page 1 of 1)

  • × subject_ss:"Gödelscher Unvollständigkeitssatz"
  1. Penrose, R.: Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins (1995) 0.17
    0.16878232 = product of:
      0.40507758 = sum of:
        0.07378128 = weight(_text_:philosophie in 4450) [ClassicSimilarity], result of:
          0.07378128 = score(doc=4450,freq=4.0), product of:
            0.1782462 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0336422 = queryNorm
            0.41392908 = fieldWeight in 4450, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0390625 = fieldNorm(doc=4450)
        0.07378128 = weight(_text_:philosophie in 4450) [ClassicSimilarity], result of:
          0.07378128 = score(doc=4450,freq=4.0), product of:
            0.1782462 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0336422 = queryNorm
            0.41392908 = fieldWeight in 4450, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0390625 = fieldNorm(doc=4450)
        0.07378128 = weight(_text_:philosophie in 4450) [ClassicSimilarity], result of:
          0.07378128 = score(doc=4450,freq=4.0), product of:
            0.1782462 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0336422 = queryNorm
            0.41392908 = fieldWeight in 4450, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0390625 = fieldNorm(doc=4450)
        0.03187035 = weight(_text_:des in 4450) [ClassicSimilarity], result of:
          0.03187035 = score(doc=4450,freq=10.0), product of:
            0.0931656 = queryWeight, product of:
              2.7693076 = idf(docFreq=7536, maxDocs=44218)
              0.0336422 = queryNorm
            0.3420828 = fieldWeight in 4450, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              2.7693076 = idf(docFreq=7536, maxDocs=44218)
              0.0390625 = fieldNorm(doc=4450)
        0.15186341 = weight(_text_:geistes in 4450) [ClassicSimilarity], result of:
          0.15186341 = score(doc=4450,freq=6.0), product of:
            0.23107392 = queryWeight, product of:
              6.8685737 = idf(docFreq=124, maxDocs=44218)
              0.0336422 = queryNorm
            0.6572071 = fieldWeight in 4450, product of:
              2.4494898 = tf(freq=6.0), with freq of:
                6.0 = termFreq=6.0
              6.8685737 = idf(docFreq=124, maxDocs=44218)
              0.0390625 = fieldNorm(doc=4450)
      0.41666666 = coord(5/12)
    
    Abstract
    Computer haben merkwürdige Eigenschaften. Sie erledigen eine Menge komplexer Aufgaben schneller, geauer und zuverlässiger als der Mensch. Mit relativ simplen Fähigkeiten, die wir intuitiv einsetzen, haben sie jedoch zu kämpfen. Und bei Verstehen, Intelligenz und Bewußtsein versagen sie völlig. Der menschliche Geist läßt sich prinzipiell rechnerisch nicht angemessen simulieren, behauptet der Autor. Dennoch sind es physikalische Prozesse im Gehirn, die das Bewußtsein ausmachen. Er fordert in der Fortsetzung der Diskussion um 'Computerdenken' eine neue, eine nicht-rechnerische 'Physik des Bewußtseins' für die Beschreibung des Geistes, die eine Art Verallgemeinerung der Quantenmechanik sein könnte. Er entwirft schließlich ein eigenens Modell für das Gehirn, in dem die heute bekannten Vorgänge nur die Schatten eines tieferen Phänomens, des Geistes sind
    BK
    33.02 (Philosophie der Physik)
    Classification
    33.02 (Philosophie der Physik)
  2. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.10
    0.0958447 = product of:
      0.3833788 = sum of:
        0.12779294 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
          0.12779294 = score(doc=303,freq=12.0), product of:
            0.1782462 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0336422 = queryNorm
            0.7169462 = fieldWeight in 303, product of:
              3.4641016 = tf(freq=12.0), with freq of:
                12.0 = termFreq=12.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0390625 = fieldNorm(doc=303)
        0.12779294 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
          0.12779294 = score(doc=303,freq=12.0), product of:
            0.1782462 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0336422 = queryNorm
            0.7169462 = fieldWeight in 303, product of:
              3.4641016 = tf(freq=12.0), with freq of:
                12.0 = termFreq=12.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0390625 = fieldNorm(doc=303)
        0.12779294 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
          0.12779294 = score(doc=303,freq=12.0), product of:
            0.1782462 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0336422 = queryNorm
            0.7169462 = fieldWeight in 303, product of:
              3.4641016 = tf(freq=12.0), with freq of:
                12.0 = termFreq=12.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0390625 = fieldNorm(doc=303)
      0.25 = coord(3/12)
    
    BK
    08.25 / Zeitgenössische westliche Philosophie
    08.33 / Logik <Philosophie>
    Classification
    SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
    08.25 / Zeitgenössische westliche Philosophie
    08.33 / Logik <Philosophie>
    RVK
    SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
  3. Chaitin, G.J.: Algorithmic information theory (1987) 0.07
    0.06640316 = product of:
      0.26561263 = sum of:
        0.088537544 = weight(_text_:philosophie in 4175) [ClassicSimilarity], result of:
          0.088537544 = score(doc=4175,freq=4.0), product of:
            0.1782462 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0336422 = queryNorm
            0.4967149 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
        0.088537544 = weight(_text_:philosophie in 4175) [ClassicSimilarity], result of:
          0.088537544 = score(doc=4175,freq=4.0), product of:
            0.1782462 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0336422 = queryNorm
            0.4967149 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
        0.088537544 = weight(_text_:philosophie in 4175) [ClassicSimilarity], result of:
          0.088537544 = score(doc=4175,freq=4.0), product of:
            0.1782462 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.0336422 = queryNorm
            0.4967149 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
      0.25 = coord(3/12)
    
    BK
    31.02 (Philosophie und Wissenschaftstheorie der Mathematik)
    Classification
    31.02 (Philosophie und Wissenschaftstheorie der Mathematik)