Search (2 results, page 1 of 1)

  • × subject_ss:"Gödel, Kurt"
  1. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.03
    0.028101986 = product of:
      0.112407945 = sum of:
        0.112407945 = product of:
          0.22481589 = sum of:
            0.22481589 = weight(_text_:mathematik in 5989) [ClassicSimilarity], result of:
              0.22481589 = score(doc=5989,freq=12.0), product of:
                0.24768166 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.044309065 = queryNorm
                0.9076808 = fieldWeight in 5989, product of:
                  3.4641016 = tf(freq=12.0), with freq of:
                    12.0 = termFreq=12.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.046875 = fieldNorm(doc=5989)
          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 / gm - go
    31.01 / Geschichte der Mathematik
    RVK
    SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
  2. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.03
    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