Search (3 results, page 1 of 1)

  • × subject_ss:"Gödelscher Unvollständigkeitssatz"
  1. Chaitin, G.J.: Algorithmic information theory (1987) 0.10
    0.10238317 = product of:
      0.35834107 = sum of:
        0.08557016 = weight(_text_:philosophie in 4175) [ClassicSimilarity], result of:
          0.08557016 = score(doc=4175,freq=4.0), product of:
            0.17227218 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.03251466 = 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.08557016 = weight(_text_:philosophie in 4175) [ClassicSimilarity], result of:
          0.08557016 = score(doc=4175,freq=4.0), product of:
            0.17227218 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.03251466 = 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.12480051 = weight(_text_:wissenschaftstheorie in 4175) [ClassicSimilarity], result of:
          0.12480051 = score(doc=4175,freq=4.0), product of:
            0.20804735 = queryWeight, product of:
              6.39857 = idf(docFreq=199, maxDocs=44218)
              0.03251466 = queryNorm
            0.5998659 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.39857 = idf(docFreq=199, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
        0.062400255 = product of:
          0.12480051 = sum of:
            0.12480051 = weight(_text_:wissenschaftstheorie in 4175) [ClassicSimilarity], result of:
              0.12480051 = score(doc=4175,freq=4.0), product of:
                0.20804735 = queryWeight, product of:
                  6.39857 = idf(docFreq=199, maxDocs=44218)
                  0.03251466 = queryNorm
                0.5998659 = fieldWeight in 4175, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  6.39857 = idf(docFreq=199, maxDocs=44218)
                  0.046875 = fieldNorm(doc=4175)
          0.5 = coord(1/2)
      0.2857143 = coord(4/14)
    
    BK
    31.02 (Philosophie und Wissenschaftstheorie der Mathematik)
    Classification
    31.02 (Philosophie und Wissenschaftstheorie der Mathematik)
  2. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.04
    0.03528854 = product of:
      0.24701975 = sum of:
        0.12350988 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
          0.12350988 = score(doc=303,freq=12.0), product of:
            0.17227218 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.03251466 = 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.12350988 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
          0.12350988 = score(doc=303,freq=12.0), product of:
            0.17227218 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.03251466 = 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.14285715 = coord(2/14)
    
    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. Penrose, R.: Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins (1995) 0.02
    0.020373847 = product of:
      0.14261693 = sum of:
        0.071308464 = weight(_text_:philosophie in 4450) [ClassicSimilarity], result of:
          0.071308464 = score(doc=4450,freq=4.0), product of:
            0.17227218 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.03251466 = 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.071308464 = weight(_text_:philosophie in 4450) [ClassicSimilarity], result of:
          0.071308464 = score(doc=4450,freq=4.0), product of:
            0.17227218 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.03251466 = 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.14285715 = coord(2/14)
    
    BK
    33.02 (Philosophie der Physik)
    Classification
    33.02 (Philosophie der Physik)