Document (#31597)

Author
Sigmund, K.
Dawson, J.
Mühlberger, K.
Title
Kurt Gödel : Das Album - The Album
Issue
Mit einem Geleitwort von Hans Magnus Enzensberger.
Imprint
Wiesbaden : Vieweg
Year
2006
Pages
225 S
Isbn
3-8348-0173-9
Abstract
Time Magazine reihte ihn unter die hundert wichtigsten Personen des zwanzigsten Jahrhunderts. Die Harvard University verlieh ihm das Ehrendoktorat für die Entdeckung "der bedeutsamsten mathematischen Wahrheit des Jahrhunderts". Er gilt allgemein als der größte Logiker seit Aristoteles. Sein Freund Einstein ging, nach eigener Aussage, nur deshalb ans Institut, um Gödel auf dem Heimweg begleiten zu dürfen. Und John von Neumann, einer der Väter des Computers, schrieb: "Gödel ist tatsächlich absolut unersetzlich. Er ist der einzige Mathematiker, von dem ich das zu behaupten wage." Dieses Buch ist eine leichtverdauliche, einfache und anschauliche Einführung in Gödels Leben und Werk, gedacht für jene, die sich für die menschlichen und kulturellen Aspekte der Wissenschaft interessieren. Ausgangspunkt des Buches waren die Vorbereitungen zu einer Ausstellung über Kurt Gödel aus Anlass seines hundertsten Geburtstags. Eine Ausstellung hat etwas von einem Spaziergang an sich, und gerade das wollen wir bieten: einen Spaziergang mit Gödel. Albert Einstein genoss solche Spaziergänge sehr. Man kann also Gödel genießen.
Field
Mathematik
Logik
RSWK
Gödel, Kurt / Biographie
BK
08.33 Logik <Philosophie>
31.10 Mathematische Logik
RVK
SG 174 [Mathematik # Biographien, Geschichte und Philosophie der Mathematik # Biographien # Einzelbiographien # gm - go]

Similar documents (author)

  1. Mühlberger, G.: ¬Der digitalisierte Nominalkatalog der Universitätsbibliothek Innsbruck (2004) 2.37
    2.3670015 = sum of:
      2.3670015 = product of:
        4.734003 = sum of:
          4.734003 = weight(author_txt:mühlberger in 3201) [ClassicSimilarity], result of:
            4.734003 = score(doc=3201,freq=1.0), product of:
              0.767329 = queryWeight, product of:
                1.0938956 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.07106223 = queryNorm
              6.169457 = fieldWeight in 3201, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.625 = fieldNorm(doc=3201)
        0.5 = coord(1/2)
    
  2. Mühlberger, G.: Digitalisierung historischer Zeitungen aus dem Blickwinkel der automatisierten Text- und Strukturerkennung (OCR) (2011) 2.37
    2.3670015 = sum of:
      2.3670015 = product of:
        4.734003 = sum of:
          4.734003 = weight(author_txt:mühlberger in 1384) [ClassicSimilarity], result of:
            4.734003 = score(doc=1384,freq=1.0), product of:
              0.767329 = queryWeight, product of:
                1.0938956 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.07106223 = queryNorm
              6.169457 = fieldWeight in 1384, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.625 = fieldNorm(doc=1384)
        0.5 = coord(1/2)
    
  3. Mühlberger, G.; Habitzel, K.: ¬Das digitalisierte Zeitungsausschnittarchiv : Im EU-Projekt LAURIN des Innsbrucker Zeitungsarchivs/IZA der Universität Inssbruck werden neue Wege der Archivierung und Bereitstellung gegangen (1998) 1.89
    1.8936012 = sum of:
      1.8936012 = product of:
        3.7872024 = sum of:
          3.7872024 = weight(author_txt:mühlberger in 1830) [ClassicSimilarity], result of:
            3.7872024 = score(doc=1830,freq=1.0), product of:
              0.767329 = queryWeight, product of:
                1.0938956 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.07106223 = queryNorm
              4.9355655 = fieldWeight in 1830, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.5 = fieldNorm(doc=1830)
        0.5 = coord(1/2)
    
  4. Mühlberger, G.; Klein, M.: Digitalisierte Zeitungsausschnitte im Internet : Das Innsbrucker Zeitungsarchiv zur deutsch- und frendsprachigen Literatur bietet seine Sammlung online an: http://iza.uibk.ac.at/ (2001) 1.89
    1.8936012 = sum of:
      1.8936012 = product of:
        3.7872024 = sum of:
          3.7872024 = weight(author_txt:mühlberger in 915) [ClassicSimilarity], result of:
            3.7872024 = score(doc=915,freq=1.0), product of:
              0.767329 = queryWeight, product of:
                1.0938956 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.07106223 = queryNorm
              4.9355655 = fieldWeight in 915, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.5 = fieldNorm(doc=915)
        0.5 = coord(1/2)
    
  5. Dawson, J.W.: Kurt Gödel und die Grenzen der Logik (1999) 1.81
    1.808302 = sum of:
      1.808302 = product of:
        3.616604 = sum of:
          3.616604 = weight(author_txt:dawson in 4572) [ClassicSimilarity], result of:
            3.616604 = score(doc=4572,freq=1.0), product of:
              0.6412537 = queryWeight, product of:
                9.023833 = idf(docFreq=13, maxDocs=42740)
                0.07106223 = queryNorm
              5.639896 = fieldWeight in 4572, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.023833 = idf(docFreq=13, maxDocs=42740)
                0.625 = fieldNorm(doc=4572)
        0.5 = coord(1/2)
    

Similar documents (content)

  1. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.74
    0.74334085 = sum of:
      0.74334085 = product of:
        2.0648355 = sum of:
          0.060095496 = weight(abstract_txt:entdeckung in 2304) [ClassicSimilarity], result of:
            0.060095496 = score(doc=2304,freq=1.0), product of:
              0.09109676 = queryWeight, product of:
                1.0451326 = boost
                8.444015 = idf(docFreq=24, maxDocs=42740)
                0.010322444 = queryNorm
              0.65968865 = fieldWeight in 2304, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.444015 = idf(docFreq=24, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          0.061893396 = weight(abstract_txt:albert in 2304) [ClassicSimilarity], result of:
            0.061893396 = score(doc=2304,freq=1.0), product of:
              0.09290473 = queryWeight, product of:
                1.055453 = boost
                8.527396 = idf(docFreq=22, maxDocs=42740)
                0.010322444 = queryNorm
              0.66620284 = fieldWeight in 2304, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.527396 = idf(docFreq=22, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          0.18868008 = weight(subject_txt:biographie in 2304) [ClassicSimilarity], result of:
            0.18868008 = score(doc=2304,freq=1.0), product of:
              0.09832267 = queryWeight, product of:
                1.0857923 = boost
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.010322444 = queryNorm
              1.9189886 = fieldWeight in 2304, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.21875 = fieldNorm(doc=2304)
          0.07167515 = weight(abstract_txt:aristoteles in 2304) [ClassicSimilarity], result of:
            0.07167515 = score(doc=2304,freq=1.0), product of:
              0.10245206 = queryWeight, product of:
                1.1083586 = boost
                8.954841 = idf(docFreq=14, maxDocs=42740)
                0.010322444 = queryNorm
              0.69959694 = fieldWeight in 2304, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.954841 = idf(docFreq=14, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          0.07716794 = weight(abstract_txt:freund in 2304) [ClassicSimilarity], result of:
            0.07716794 = score(doc=2304,freq=1.0), product of:
              0.10762163 = queryWeight, product of:
                1.1359775 = boost
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.010322444 = queryNorm
              0.71703005 = fieldWeight in 2304, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.177984 = idf(docFreq=11, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          0.09600542 = weight(abstract_txt:gödels in 2304) [ClassicSimilarity], result of:
            0.09600542 = score(doc=2304,freq=1.0), product of:
              0.12449124 = queryWeight, product of:
                1.2217697 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.010322444 = queryNorm
              0.7711821 = fieldWeight in 2304, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          0.12019099 = weight(abstract_txt:einstein in 2304) [ClassicSimilarity], result of:
            0.12019099 = score(doc=2304,freq=1.0), product of:
              0.18219352 = queryWeight, product of:
                2.0902653 = boost
                8.444015 = idf(docFreq=24, maxDocs=42740)
                0.010322444 = queryNorm
              0.65968865 = fieldWeight in 2304, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.444015 = idf(docFreq=24, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          0.336796 = weight(abstract_txt:kurt in 2304) [ClassicSimilarity], result of:
            0.336796 = score(doc=2304,freq=2.0), product of:
              0.32901573 = queryWeight, product of:
                3.4402413 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.010322444 = queryNorm
              1.0236471 = fieldWeight in 2304, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
          1.0523312 = weight(abstract_txt:gödel in 2304) [ClassicSimilarity], result of:
            1.0523312 = score(doc=2304,freq=4.0), product of:
              0.7402685 = queryWeight, product of:
                7.882493 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.010322444 = queryNorm
              1.4215534 = fieldWeight in 2304, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.078125 = fieldNorm(doc=2304)
        0.36 = coord(9/25)
    
  2. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.15
    0.14973365 = sum of:
      0.14973365 = product of:
        1.2477804 = sum of:
          0.18868008 = weight(subject_txt:biographie in 990) [ClassicSimilarity], result of:
            0.18868008 = score(doc=990,freq=1.0), product of:
              0.09832267 = queryWeight, product of:
                1.0857923 = boost
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.010322444 = queryNorm
              1.9189886 = fieldWeight in 990, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.772519 = idf(docFreq=17, maxDocs=42740)
                0.21875 = fieldNorm(doc=990)
          0.21723545 = weight(abstract_txt:gödels in 990) [ClassicSimilarity], result of:
            0.21723545 = score(doc=990,freq=2.0), product of:
              0.12449124 = queryWeight, product of:
                1.2217697 = boost
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.010322444 = queryNorm
              1.7449858 = fieldWeight in 990, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                9.871131 = idf(docFreq=5, maxDocs=42740)
                0.125 = fieldNorm(doc=990)
          0.84186494 = weight(abstract_txt:gödel in 990) [ClassicSimilarity], result of:
            0.84186494 = score(doc=990,freq=1.0), product of:
              0.7402685 = queryWeight, product of:
                7.882493 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.010322444 = queryNorm
              1.1372427 = fieldWeight in 990, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.125 = fieldNorm(doc=990)
        0.12 = coord(3/25)
    
  3. Dawson, J.W.: Kurt Gödel und die Grenzen der Logik (1999) 0.12
    0.12229061 = sum of:
      0.12229061 = product of:
        1.5286326 = sum of:
          0.47630146 = weight(abstract_txt:kurt in 4572) [ClassicSimilarity], result of:
            0.47630146 = score(doc=4572,freq=1.0), product of:
              0.32901573 = queryWeight, product of:
                3.4402413 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.010322444 = queryNorm
              1.4476556 = fieldWeight in 4572, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.15625 = fieldNorm(doc=4572)
          1.0523312 = weight(abstract_txt:gödel in 4572) [ClassicSimilarity], result of:
            1.0523312 = score(doc=4572,freq=1.0), product of:
              0.7402685 = queryWeight, product of:
                7.882493 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.010322444 = queryNorm
              1.4215534 = fieldWeight in 4572, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.15625 = fieldNorm(doc=4572)
        0.08 = coord(2/25)
    
  4. Breitenstein, M.: From revolution to orthodoxy : an evolutionary history of the International Encyclopedia of Unified Science (1999) 0.12
    0.12113929 = sum of:
      0.12113929 = product of:
        0.75712055 = sum of:
          0.049514715 = weight(abstract_txt:albert in 719) [ClassicSimilarity], result of:
            0.049514715 = score(doc=719,freq=1.0), product of:
              0.09290473 = queryWeight, product of:
                1.055453 = boost
                8.527396 = idf(docFreq=22, maxDocs=42740)
                0.010322444 = queryNorm
              0.53296226 = fieldWeight in 719, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.527396 = idf(docFreq=22, maxDocs=42740)
                0.0625 = fieldNorm(doc=719)
          0.0961528 = weight(abstract_txt:einstein in 719) [ClassicSimilarity], result of:
            0.0961528 = score(doc=719,freq=1.0), product of:
              0.18219352 = queryWeight, product of:
                2.0902653 = boost
                8.444015 = idf(docFreq=24, maxDocs=42740)
                0.010322444 = queryNorm
              0.5277509 = fieldWeight in 719, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.444015 = idf(docFreq=24, maxDocs=42740)
                0.0625 = fieldNorm(doc=719)
          0.19052058 = weight(abstract_txt:kurt in 719) [ClassicSimilarity], result of:
            0.19052058 = score(doc=719,freq=1.0), product of:
              0.32901573 = queryWeight, product of:
                3.4402413 = boost
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.010322444 = queryNorm
              0.5790622 = fieldWeight in 719, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.264996 = idf(docFreq=10, maxDocs=42740)
                0.0625 = fieldNorm(doc=719)
          0.42093247 = weight(abstract_txt:gödel in 719) [ClassicSimilarity], result of:
            0.42093247 = score(doc=719,freq=1.0), product of:
              0.7402685 = queryWeight, product of:
                7.882493 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.010322444 = queryNorm
              0.56862134 = fieldWeight in 719, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.0625 = fieldNorm(doc=719)
        0.16 = coord(4/25)
    
  5. Loviscach, J.: ¬Die Würfel Gottes : Stephen Wolframs 'neue Art von Wissenschaft' (2002) 0.08
    0.08273364 = sum of:
      0.08273364 = product of:
        1.0341705 = sum of:
          0.1923056 = weight(abstract_txt:einstein in 1965) [ClassicSimilarity], result of:
            0.1923056 = score(doc=1965,freq=1.0), product of:
              0.18219352 = queryWeight, product of:
                2.0902653 = boost
                8.444015 = idf(docFreq=24, maxDocs=42740)
                0.010322444 = queryNorm
              1.0555018 = fieldWeight in 1965, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.444015 = idf(docFreq=24, maxDocs=42740)
                0.125 = fieldNorm(doc=1965)
          0.84186494 = weight(abstract_txt:gödel in 1965) [ClassicSimilarity], result of:
            0.84186494 = score(doc=1965,freq=1.0), product of:
              0.7402685 = queryWeight, product of:
                7.882493 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.010322444 = queryNorm
              1.1372427 = fieldWeight in 1965, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.125 = fieldNorm(doc=1965)
        0.08 = coord(2/25)