Search (1 results, page 1 of 1)

  • × subject_ss:"Gödel, Kurt / Biographie"
  • × classification_ss:"31.01 / Geschichte der Mathematik"
  1. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.00
    0.0013949582 = product of:
      0.0041848747 = sum of:
        0.0041848747 = product of:
          0.008369749 = sum of:
            0.008369749 = weight(_text_:of in 303) [ClassicSimilarity], result of:
              0.008369749 = score(doc=303,freq=4.0), product of:
                0.06850986 = queryWeight, product of:
                  1.5637573 = idf(docFreq=25162, maxDocs=44218)
                  0.043811057 = queryNorm
                0.12216854 = fieldWeight in 303, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  1.5637573 = idf(docFreq=25162, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=303)
          0.5 = coord(1/2)
      0.33333334 = coord(1/3)
    
    Content
    A Platonist among the positivists -- Hilbert and the formalists -- The proof of incompleteness -- Gödel's incompleteness.
    Footnote
    Originaltitel: Incompleteness - the proof and paradox of Kurt Gödel <dt.>