Document (#14731)

Author
Gödel, K.
Title
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I
Source
Monatshefte für Mathematik und Physik. 38(1931), S.173-198
Year
1931

Similar documents (content)

  1. Computerlinguistik und Sprachtechnologie : Eine Einführung (2010) 0.25
    0.25170392 = sum of:
      0.25170392 = product of:
        0.50340784 = sum of:
          0.050634466 = weight(abstract_txt:über in 1735) [ClassicSimilarity], result of:
            0.050634466 = score(doc=1735,freq=4.0), product of:
              0.10217527 = queryWeight, product of:
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.025772432 = queryNorm
              0.49556476 = fieldWeight in 1735, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.0625 = fieldNorm(doc=1735)
          0.11592178 = weight(abstract_txt:systeme in 1735) [ClassicSimilarity], result of:
            0.11592178 = score(doc=1735,freq=2.0), product of:
              0.2236154 = queryWeight, product of:
                1.4793739 = boost
                5.8650045 = idf(docFreq=340, maxDocs=44218)
                0.025772432 = queryNorm
              0.51839805 = fieldWeight in 1735, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.8650045 = idf(docFreq=340, maxDocs=44218)
                0.0625 = fieldNorm(doc=1735)
          0.3368516 = weight(abstract_txt:verwandter in 1735) [ClassicSimilarity], result of:
            0.3368516 = score(doc=1735,freq=1.0), product of:
              0.57371217 = queryWeight, product of:
                2.369595 = boost
                9.394302 = idf(docFreq=9, maxDocs=44218)
                0.025772432 = queryNorm
              0.5871439 = fieldWeight in 1735, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.394302 = idf(docFreq=9, maxDocs=44218)
                0.0625 = fieldNorm(doc=1735)
        0.5 = coord(3/6)
    
  2. Förster, F.: Zuweisung von Katalogdatensätzen an Personennormdatensätze mittels Wahrscheinlichkeiten (2020) 0.23
    0.23346362 = sum of:
      0.23346362 = product of:
        0.7003908 = sum of:
          0.03797585 = weight(abstract_txt:über in 42) [ClassicSimilarity], result of:
            0.03797585 = score(doc=42,freq=1.0), product of:
              0.10217527 = queryWeight, product of:
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.025772432 = queryNorm
              0.37167358 = fieldWeight in 42, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.09375 = fieldNorm(doc=42)
          0.66241497 = weight(abstract_txt:sätze in 42) [ClassicSimilarity], result of:
            0.66241497 = score(doc=42,freq=3.0), product of:
              0.47649002 = queryWeight, product of:
                2.159504 = boost
                8.561393 = idf(docFreq=22, maxDocs=44218)
                0.025772432 = queryNorm
              1.3901969 = fieldWeight in 42, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                8.561393 = idf(docFreq=22, maxDocs=44218)
                0.09375 = fieldNorm(doc=42)
        0.33333334 = coord(2/6)
    
  3. Computerlinguistik und Sprachtechnologie : Eine Einführung (2001) 0.23
    0.2313357 = sum of:
      0.2313357 = product of:
        0.4626714 = sum of:
          0.04385073 = weight(abstract_txt:über in 1749) [ClassicSimilarity], result of:
            0.04385073 = score(doc=1749,freq=3.0), product of:
              0.10217527 = queryWeight, product of:
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.025772432 = queryNorm
              0.42917165 = fieldWeight in 1749, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.0625 = fieldNorm(doc=1749)
          0.08196908 = weight(abstract_txt:systeme in 1749) [ClassicSimilarity], result of:
            0.08196908 = score(doc=1749,freq=1.0), product of:
              0.2236154 = queryWeight, product of:
                1.4793739 = boost
                5.8650045 = idf(docFreq=340, maxDocs=44218)
                0.025772432 = queryNorm
              0.36656278 = fieldWeight in 1749, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8650045 = idf(docFreq=340, maxDocs=44218)
                0.0625 = fieldNorm(doc=1749)
          0.3368516 = weight(abstract_txt:verwandter in 1749) [ClassicSimilarity], result of:
            0.3368516 = score(doc=1749,freq=1.0), product of:
              0.57371217 = queryWeight, product of:
                2.369595 = boost
                9.394302 = idf(docFreq=9, maxDocs=44218)
                0.025772432 = queryNorm
              0.5871439 = fieldWeight in 1749, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.394302 = idf(docFreq=9, maxDocs=44218)
                0.0625 = fieldNorm(doc=1749)
        0.5 = coord(3/6)
    
  4. Wells, D.: Which is the most beautiful? (1988) 0.17
    0.16997576 = sum of:
      0.16997576 = product of:
        1.0198545 = sum of:
          1.0198545 = weight(abstract_txt:sätze in 2057) [ClassicSimilarity], result of:
            1.0198545 = score(doc=2057,freq=1.0), product of:
              0.47649002 = queryWeight, product of:
                2.159504 = boost
                8.561393 = idf(docFreq=22, maxDocs=44218)
                0.025772432 = queryNorm
              2.1403482 = fieldWeight in 2057, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.561393 = idf(docFreq=22, maxDocs=44218)
                0.25 = fieldNorm(doc=2057)
        0.16666667 = coord(1/6)
    
  5. Drees, B.: Text und data mining : Herausforderungen und Möglichkeiten für Bibliotheken (2016) 0.15
    0.15090369 = sum of:
      0.15090369 = product of:
        0.45271105 = sum of:
          0.03164654 = weight(abstract_txt:über in 3952) [ClassicSimilarity], result of:
            0.03164654 = score(doc=3952,freq=1.0), product of:
              0.10217527 = queryWeight, product of:
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.025772432 = queryNorm
              0.30972797 = fieldWeight in 3952, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.964518 = idf(docFreq=2280, maxDocs=44218)
                0.078125 = fieldNorm(doc=3952)
          0.4210645 = weight(abstract_txt:verwandter in 3952) [ClassicSimilarity], result of:
            0.4210645 = score(doc=3952,freq=1.0), product of:
              0.57371217 = queryWeight, product of:
                2.369595 = boost
                9.394302 = idf(docFreq=9, maxDocs=44218)
                0.025772432 = queryNorm
              0.7339299 = fieldWeight in 3952, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.394302 = idf(docFreq=9, maxDocs=44218)
                0.078125 = fieldNorm(doc=3952)
        0.33333334 = coord(2/6)