Search (1 results, page 1 of 1)

  • × author_ss:"Gödel, K."
  • × year_i:[1930 TO 1940}
  1. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I (1931) 0.00 
    0.002406438 = product of:
  0.004812876 = sum of:
    0.004812876 = product of:
      0.009625752 = sum of:
        0.009625752 = weight(_text_:s in 5661) [ClassicSimilarity], result of:
          0.009625752 = score(doc=5661,freq=2.0), product of:
            0.05008241 = queryWeight, product of:
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046063907 = queryNorm
            0.19219826 = fieldWeight in 5661, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.125 = fieldNorm(doc=5661)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Source
    Monatshefte für Mathematik und Physik. 38(1931), S.173-198