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.0020985496 = product of:
      0.033576794 = sum of:
        0.033576794 = weight(_text_:und in 5661) [ClassicSimilarity], result of:
          0.033576794 = score(doc=5661,freq=4.0), product of:
            0.060597893 = queryWeight, product of:
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.027341092 = queryNorm
            0.55409175 = fieldWeight in 5661, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.125 = fieldNorm(doc=5661)
      0.0625 = coord(1/16)
    
    Source
    Monatshefte für Mathematik und Physik. 38(1931), S.173-198