Search (4 results, page 1 of 1)

  • × classification_ss:"31.01 / Geschichte der Mathematik"
  1. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.06 
    0.06257318 = product of:
  0.25029272 = sum of:
    0.25029272 = weight(_text_:logik in 5989) [ClassicSimilarity], result of:
      0.25029272 = score(doc=5989,freq=10.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        1.0078349 = fieldWeight in 5989, product of:
          3.1622777 = tf(freq=10.0), with freq of:
            10.0 = termFreq=10.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.046875 = fieldNorm(doc=5989)
  0.25 = coord(1/4)
    Abstract
    Die Biographie von Dawson, einem der Mitherausgeber der Gesammelten Werke Gödels, stützt sich auf ein intensives Studium des Nachlasses und zahlreiche Interviews mit Experten und Zeitgenossen Gödels. Sie verbindet eine umfassende Darstellung des persönlichen und kulturellen Hintergrundes mit einer integrierten Geschichte der Logik im 20. Jahrhundert, einer Geschichte, in der Gödel einer der Hauptdarsteller war
    BK
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre
    RSWK
    Gödel, Kurt / Mathematische Logik (GBV)
    Subject
    Gödel, Kurt / Mathematische Logik (GBV)
  2. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.05 
    0.046639286 = product of:
  0.18655714 = sum of:
    0.18655714 = weight(_text_:logik in 303) [ClassicSimilarity], result of:
      0.18655714 = score(doc=303,freq=8.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        0.75119567 = fieldWeight in 303, product of:
          2.828427 = tf(freq=8.0), with freq of:
            8.0 = termFreq=8.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.0390625 = fieldNorm(doc=303)
  0.25 = coord(1/4)
    BK
    08.33 / Logik <Philosophie>
    31.10 / Mathematische Logik
    Classification
    08.33 / Logik <Philosophie>
    31.10 / Mathematische Logik
  3. Heintz, B.: ¬Die Herrschaft der Regel : zur Grundlagengeschichte des Computers (1993) 0.00 
    0.0024744333 = product of:
  0.009897733 = sum of:
    0.009897733 = product of:
      0.0296932 = sum of:
        0.0296932 = weight(_text_:22 in 221) [ClassicSimilarity], result of:
          0.0296932 = score(doc=221,freq=2.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.23214069 = fieldWeight in 221, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.046875 = fieldNorm(doc=221)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)
    Date
    22. 4.2007 12:26:52
  4. Delahaye, J.-P.: PI: Die Story (1999) 0.00 
    0.0014434195 = product of:
  0.005773678 = sum of:
    0.005773678 = product of:
      0.017321033 = sum of:
        0.017321033 = weight(_text_:22 in 1705) [ClassicSimilarity], result of:
          0.017321033 = score(doc=1705,freq=2.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.1354154 = fieldWeight in 1705, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.02734375 = fieldNorm(doc=1705)
      0.33333334 = coord(1/3)
  0.25 = coord(1/4)
    Date
    20. 3.2008 14:22:43

Authors

Years

Languages

Subjects

Classifications