Search (1 results, page 1 of 1)

  • × author_ss:"Gödel, K."
  • × type_ss:"a"
  • × year_i:[1930 TO 1940}
  1. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I (1931) 0.04
    0.037297405 = product of:
      0.07459481 = sum of:
        0.07459481 = product of:
          0.11189221 = sum of:
            0.102394015 = weight(_text_:k in 5661) [ClassicSimilarity], result of:
              0.102394015 = score(doc=5661,freq=2.0), product of:
                0.16225883 = queryWeight, product of:
                  3.569778 = idf(docFreq=3384, maxDocs=44218)
                  0.04545348 = queryNorm
                0.63105357 = fieldWeight in 5661, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.569778 = idf(docFreq=3384, maxDocs=44218)
                  0.125 = fieldNorm(doc=5661)
            0.009498195 = weight(_text_:s in 5661) [ClassicSimilarity], result of:
              0.009498195 = score(doc=5661,freq=2.0), product of:
                0.049418733 = queryWeight, product of:
                  1.0872376 = idf(docFreq=40523, maxDocs=44218)
                  0.04545348 = 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.6666667 = coord(2/3)
      0.5 = coord(1/2)
    
    Source
    Monatshefte für Mathematik und Physik. 38(1931), S.173-198