Search (1 results, page 1 of 1)

  • × language_ss:"e"
  • × subject_ss:"Gödelscher Unvollständigkeitssatz"
  • × year_i:[1980 TO 1990}
  1. Chaitin, G.J.: Algorithmic information theory (1987) 0.05
    0.049737953 = product of:
      0.14210844 = sum of:
        0.011802676 = weight(_text_:und in 4175) [ClassicSimilarity], result of:
          0.011802676 = score(doc=4175,freq=4.0), product of:
            0.056802507 = queryWeight, product of:
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.025628656 = queryNorm
            0.20778441 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
        0.011802676 = weight(_text_:und in 4175) [ClassicSimilarity], result of:
          0.011802676 = score(doc=4175,freq=4.0), product of:
            0.056802507 = queryWeight, product of:
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.025628656 = queryNorm
            0.20778441 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
        0.011988719 = weight(_text_:der in 4175) [ClassicSimilarity], result of:
          0.011988719 = score(doc=4175,freq=4.0), product of:
            0.05724844 = queryWeight, product of:
              2.2337668 = idf(docFreq=12875, maxDocs=44218)
              0.025628656 = queryNorm
            0.20941564 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.2337668 = idf(docFreq=12875, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
        0.011802676 = weight(_text_:und in 4175) [ClassicSimilarity], result of:
          0.011802676 = score(doc=4175,freq=4.0), product of:
            0.056802507 = queryWeight, product of:
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.025628656 = queryNorm
            0.20778441 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
        0.033723988 = product of:
          0.067447975 = sum of:
            0.067447975 = weight(_text_:philosophie in 4175) [ClassicSimilarity], result of:
              0.067447975 = score(doc=4175,freq=4.0), product of:
                0.13578811 = queryWeight, product of:
                  5.298292 = idf(docFreq=600, maxDocs=44218)
                  0.025628656 = queryNorm
                0.4967149 = fieldWeight in 4175, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.298292 = idf(docFreq=600, maxDocs=44218)
                  0.046875 = fieldNorm(doc=4175)
          0.5 = coord(1/2)
        0.011802676 = weight(_text_:und in 4175) [ClassicSimilarity], result of:
          0.011802676 = score(doc=4175,freq=4.0), product of:
            0.056802507 = queryWeight, product of:
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.025628656 = queryNorm
            0.20778441 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
        0.049185034 = product of:
          0.09837007 = sum of:
            0.09837007 = weight(_text_:wissenschaftstheorie in 4175) [ClassicSimilarity], result of:
              0.09837007 = score(doc=4175,freq=4.0), product of:
                0.16398676 = queryWeight, product of:
                  6.39857 = idf(docFreq=199, maxDocs=44218)
                  0.025628656 = queryNorm
                0.5998659 = fieldWeight in 4175, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  6.39857 = idf(docFreq=199, maxDocs=44218)
                  0.046875 = fieldNorm(doc=4175)
          0.5 = coord(1/2)
      0.35 = coord(7/20)
    
    BK
    31.02 (Philosophie und Wissenschaftstheorie der Mathematik)
    Classification
    31.02 (Philosophie und Wissenschaftstheorie der Mathematik)