Search (2 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.07
    0.07320078 = product of:
      0.10980116 = sum of:
        0.0489389 = weight(_text_:b in 4450) [ClassicSimilarity], result of:
          0.0489389 = score(doc=4450,freq=4.0), product of:
            0.17680629 = queryWeight, product of:
              3.542962 = idf(docFreq=3476, maxDocs=44218)
              0.049903523 = queryNorm
            0.2767939 = fieldWeight in 4450, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              3.542962 = idf(docFreq=3476, maxDocs=44218)
              0.0390625 = fieldNorm(doc=4450)
        0.060862258 = product of:
          0.121724516 = sum of:
            0.121724516 = weight(_text_:72 in 4450) [ClassicSimilarity], result of:
              0.121724516 = score(doc=4450,freq=4.0), product of:
                0.27884293 = queryWeight, product of:
                  5.58764 = idf(docFreq=449, maxDocs=44218)
                  0.049903523 = queryNorm
                0.43653435 = fieldWeight in 4450, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.58764 = idf(docFreq=449, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=4450)
          0.5 = coord(1/2)
      0.6666667 = coord(2/3)
    
    Classification
    Nat B 72
    SBB
    Nat B 72
  2. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.02
    0.016312968 = product of:
      0.0489389 = sum of:
        0.0489389 = weight(_text_:b in 303) [ClassicSimilarity], result of:
          0.0489389 = score(doc=303,freq=4.0), product of:
            0.17680629 = queryWeight, product of:
              3.542962 = idf(docFreq=3476, maxDocs=44218)
              0.049903523 = queryNorm
            0.2767939 = fieldWeight in 303, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              3.542962 = idf(docFreq=3476, maxDocs=44218)
              0.0390625 = fieldNorm(doc=303)
      0.33333334 = coord(1/3)
    
    Classification
    510/.92 B / dc22
    DDC
    510/.92 B / dc22