Search (2 results, page 1 of 1)

0.06806387 = product of:
  0.27225548 = sum of:
    0.048688516 = product of:
      0.09737703 = sum of:
        0.09737703 = weight(_text_:mathematik in 303) [ClassicSimilarity], result of:
          0.09737703 = score(doc=303,freq=16.0), product of:
            0.111489825 = queryWeight, product of:
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.019944998 = queryNorm
            0.8734163 = fieldWeight in 303, product of:
              4.0 = tf(freq=16.0), with freq of:
                16.0 = termFreq=16.0
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.0390625 = fieldNorm(doc=303)
      0.5 = coord(1/2)
    0.07750144 = weight(_text_:mathematische in 303) [ClassicSimilarity], result of:
      0.07750144 = score(doc=303,freq=4.0), product of:
        0.14066203 = queryWeight, product of:
          7.0524964 = idf(docFreq=103, maxDocs=44218)
          0.019944998 = queryNorm
        0.5509763 = fieldWeight in 303, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          7.0524964 = idf(docFreq=103, maxDocs=44218)
          0.0390625 = fieldNorm(doc=303)
    0.048688516 = product of:
      0.09737703 = sum of:
        0.09737703 = weight(_text_:mathematik in 303) [ClassicSimilarity], result of:
          0.09737703 = score(doc=303,freq=16.0), product of:
            0.111489825 = queryWeight, product of:
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.019944998 = queryNorm
            0.8734163 = fieldWeight in 303, product of:
              4.0 = tf(freq=16.0), with freq of:
                16.0 = termFreq=16.0
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.0390625 = fieldNorm(doc=303)
      0.5 = coord(1/2)
    0.09737703 = weight(_text_:mathematik in 303) [ClassicSimilarity], result of:
      0.09737703 = score(doc=303,freq=16.0), product of:
        0.111489825 = queryWeight, product of:
          5.5898643 = idf(docFreq=448, maxDocs=44218)
          0.019944998 = queryNorm
        0.8734163 = fieldWeight in 303, product of:
          4.0 = tf(freq=16.0), with freq of:
            16.0 = termFreq=16.0
          5.5898643 = idf(docFreq=448, maxDocs=44218)
          0.0390625 = fieldNorm(doc=303)
  0.25 = coord(4/16)

BK

31.10 / Mathematische Logik
31.01 / Geschichte der Mathematik

Classification

SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
31.10 / Mathematische Logik
31.01 / Geschichte der Mathematik

RSWK

Widerspruchsfreiheit / Beweistheorie / Mathematik

RVK

SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien

Subject

Widerspruchsfreiheit / Beweistheorie / Mathematik

0.057867013 = product of:
  0.23146805 = sum of:
    0.03849165 = product of:
      0.0769833 = sum of:
        0.0769833 = weight(_text_:mathematik in 470) [ClassicSimilarity], result of:
          0.0769833 = score(doc=470,freq=10.0), product of:
            0.111489825 = queryWeight, product of:
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.019944998 = queryNorm
            0.6904962 = fieldWeight in 470, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.0390625 = fieldNorm(doc=470)
      0.5 = coord(1/2)
    0.07750144 = weight(_text_:mathematische in 470) [ClassicSimilarity], result of:
      0.07750144 = score(doc=470,freq=4.0), product of:
        0.14066203 = queryWeight, product of:
          7.0524964 = idf(docFreq=103, maxDocs=44218)
          0.019944998 = queryNorm
        0.5509763 = fieldWeight in 470, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          7.0524964 = idf(docFreq=103, maxDocs=44218)
          0.0390625 = fieldNorm(doc=470)
    0.03849165 = product of:
      0.0769833 = sum of:
        0.0769833 = weight(_text_:mathematik in 470) [ClassicSimilarity], result of:
          0.0769833 = score(doc=470,freq=10.0), product of:
            0.111489825 = queryWeight, product of:
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.019944998 = queryNorm
            0.6904962 = fieldWeight in 470, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.0390625 = fieldNorm(doc=470)
      0.5 = coord(1/2)
    0.0769833 = weight(_text_:mathematik in 470) [ClassicSimilarity], result of:
      0.0769833 = score(doc=470,freq=10.0), product of:
        0.111489825 = queryWeight, product of:
          5.5898643 = idf(docFreq=448, maxDocs=44218)
          0.019944998 = queryNorm
        0.6904962 = fieldWeight in 470, product of:
          3.1622777 = tf(freq=10.0), with freq of:
            10.0 = termFreq=10.0
          5.5898643 = idf(docFreq=448, maxDocs=44218)
          0.0390625 = fieldNorm(doc=470)
  0.25 = coord(4/16)

BK

31.10 Mathematische Logik

Classification

SG 174 [Mathematik # Biographien, Geschichte und Philosophie der Mathematik # Biographien # Einzelbiographien # gm - go]
31.10 Mathematische Logik

Field

Mathematik

RVK

SG 174 [Mathematik # Biographien, Geschichte und Philosophie der Mathematik # Biographien # Einzelbiographien # gm - go]