Search (2 results, page 1 of 1)

0.02704115 = product of:
  0.1081646 = sum of:
    0.1081646 = product of:
      0.2163292 = sum of:
        0.2163292 = weight(_text_:mathematik in 303) [ClassicSimilarity], result of:
          0.2163292 = score(doc=303,freq=16.0), product of:
            0.24768166 = queryWeight, product of:
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.044309065 = 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.25 = coord(1/4)

BK

31.01 / Geschichte der Mathematik

Classification

SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
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.01622469 = product of:
  0.06489876 = sum of:
    0.06489876 = product of:
      0.12979752 = sum of:
        0.12979752 = weight(_text_:mathematik in 4175) [ClassicSimilarity], result of:
          0.12979752 = score(doc=4175,freq=4.0), product of:
            0.24768166 = queryWeight, product of:
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.044309065 = queryNorm
            0.52404976 = fieldWeight in 4175, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.046875 = fieldNorm(doc=4175)
      0.5 = coord(1/2)
  0.25 = coord(1/4)

BK

31.02 (Philosophie und Wissenschaftstheorie der Mathematik)

Classification

31.02 (Philosophie und Wissenschaftstheorie der Mathematik)