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.041425318 = product of:
      0.082850635 = sum of:
        0.082850635 = product of:
          0.124275945 = sum of:
            0.113726534 = weight(_text_:k in 5661) [ClassicSimilarity], result of:
              0.113726534 = score(doc=5661,freq=2.0), product of:
                0.18021692 = queryWeight, product of:
                  3.569778 = idf(docFreq=3384, maxDocs=44218)
                  0.05048407 = 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.010549412 = weight(_text_:s in 5661) [ClassicSimilarity], result of:
              0.010549412 = score(doc=5661,freq=2.0), product of:
                0.054888178 = queryWeight, product of:
                  1.0872376 = idf(docFreq=40523, maxDocs=44218)
                  0.05048407 = 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