Document (#14730)

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.25166416 = sum of:
      0.25166416 = product of:
        0.5033283 = sum of:
          0.050546516 = weight(abstract_txt:über in 2735) [ClassicSimilarity], result of:
            0.050546516 = score(doc=2735,freq=4.0), product of:
              0.10202618 = queryWeight, product of:
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.025741985 = queryNorm
              0.49542692 = fieldWeight in 2735, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.0625 = fieldNorm(doc=2735)
          0.11574198 = weight(abstract_txt:systeme in 2735) [ClassicSimilarity], result of:
            0.11574198 = score(doc=2735,freq=2.0), product of:
              0.2233168 = queryWeight, product of:
                1.4794657 = boost
                5.863737 = idf(docFreq=342, maxDocs=44421)
                0.025741985 = queryNorm
              0.51828605 = fieldWeight in 2735, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.863737 = idf(docFreq=342, maxDocs=44421)
                0.0625 = fieldNorm(doc=2735)
          0.3370398 = weight(abstract_txt:verwandter in 2735) [ClassicSimilarity], result of:
            0.3370398 = score(doc=2735,freq=1.0), product of:
              0.57375294 = queryWeight, product of:
                2.37141 = boost
                9.398883 = idf(docFreq=9, maxDocs=44421)
                0.025741985 = queryNorm
              0.5874302 = fieldWeight in 2735, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.398883 = idf(docFreq=9, maxDocs=44421)
                0.0625 = fieldNorm(doc=2735)
        0.5 = coord(3/6)
    
  2. Förster, F.: Zuweisung von Katalogdatensätzen an Personennormdatensätze mittels Wahrscheinlichkeiten (2020) 0.23
    0.23359641 = sum of:
      0.23359641 = product of:
        0.7007892 = sum of:
          0.037909888 = weight(abstract_txt:über in 1043) [ClassicSimilarity], result of:
            0.037909888 = score(doc=1043,freq=1.0), product of:
              0.10202618 = queryWeight, product of:
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.025741985 = queryNorm
              0.3715702 = fieldWeight in 1043, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.09375 = fieldNorm(doc=1043)
          0.66287935 = weight(abstract_txt:sätze in 1043) [ClassicSimilarity], result of:
            0.66287935 = score(doc=1043,freq=3.0), product of:
              0.4765691 = queryWeight, product of:
                2.1612606 = boost
                8.565973 = idf(docFreq=22, maxDocs=44421)
                0.025741985 = queryNorm
              1.3909407 = fieldWeight in 1043, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                8.565973 = idf(docFreq=22, maxDocs=44421)
                0.09375 = fieldNorm(doc=1043)
        0.33333334 = coord(2/6)
    
  3. Computerlinguistik und Sprachtechnologie : Eine Einführung (2001) 0.23
    0.23132816 = sum of:
      0.23132816 = product of:
        0.46265632 = sum of:
          0.043774568 = weight(abstract_txt:über in 2749) [ClassicSimilarity], result of:
            0.043774568 = score(doc=2749,freq=3.0), product of:
              0.10202618 = queryWeight, product of:
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.025741985 = queryNorm
              0.4290523 = fieldWeight in 2749, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.0625 = fieldNorm(doc=2749)
          0.08184194 = weight(abstract_txt:systeme in 2749) [ClassicSimilarity], result of:
            0.08184194 = score(doc=2749,freq=1.0), product of:
              0.2233168 = queryWeight, product of:
                1.4794657 = boost
                5.863737 = idf(docFreq=342, maxDocs=44421)
                0.025741985 = queryNorm
              0.36648357 = fieldWeight in 2749, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.863737 = idf(docFreq=342, maxDocs=44421)
                0.0625 = fieldNorm(doc=2749)
          0.3370398 = weight(abstract_txt:verwandter in 2749) [ClassicSimilarity], result of:
            0.3370398 = score(doc=2749,freq=1.0), product of:
              0.57375294 = queryWeight, product of:
                2.37141 = boost
                9.398883 = idf(docFreq=9, maxDocs=44421)
                0.025741985 = queryNorm
              0.5874302 = fieldWeight in 2749, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.398883 = idf(docFreq=9, maxDocs=44421)
                0.0625 = fieldNorm(doc=2749)
        0.5 = coord(3/6)
    
  4. Wells, D.: Which is the most beautiful? (1988) 0.17
    0.17009494 = sum of:
      0.17009494 = product of:
        1.0205696 = sum of:
          1.0205696 = weight(abstract_txt:sätze in 3057) [ClassicSimilarity], result of:
            1.0205696 = score(doc=3057,freq=1.0), product of:
              0.4765691 = queryWeight, product of:
                2.1612606 = boost
                8.565973 = idf(docFreq=22, maxDocs=44421)
                0.025741985 = queryNorm
              2.1414933 = fieldWeight in 3057, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.565973 = idf(docFreq=22, maxDocs=44421)
                0.25 = fieldNorm(doc=3057)
        0.16666667 = coord(1/6)
    
  5. Drees, B.: Text und data mining : Herausforderungen und Möglichkeiten für Bibliotheken (2016) 0.15
    0.15096378 = sum of:
      0.15096378 = product of:
        0.45289132 = sum of:
          0.031591576 = weight(abstract_txt:über in 4952) [ClassicSimilarity], result of:
            0.031591576 = score(doc=4952,freq=1.0), product of:
              0.10202618 = queryWeight, product of:
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.025741985 = queryNorm
              0.30964184 = fieldWeight in 4952, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9634154 = idf(docFreq=2293, maxDocs=44421)
                0.078125 = fieldNorm(doc=4952)
          0.42129976 = weight(abstract_txt:verwandter in 4952) [ClassicSimilarity], result of:
            0.42129976 = score(doc=4952,freq=1.0), product of:
              0.57375294 = queryWeight, product of:
                2.37141 = boost
                9.398883 = idf(docFreq=9, maxDocs=44421)
                0.025741985 = queryNorm
              0.73428774 = fieldWeight in 4952, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.398883 = idf(docFreq=9, maxDocs=44421)
                0.078125 = fieldNorm(doc=4952)
        0.33333334 = coord(2/6)