Document (#31596)

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.38

   2.3755374 = sum of:
     2.3755374 = product of:
       4.751075 = sum of:
         4.751075 = weight(author_txt:mühlberger in 3200) [ClassicSimilarity], result of:
           4.751075 = score(doc=3200,freq=1.0), product of:
             0.76709825 = queryWeight, product of:
               1.0934958 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.07079018 = queryNorm
             6.1935673 = fieldWeight in 3200, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.625 = fieldNorm(doc=3200)
       0.5 = coord(1/2)
   

2. Mühlberger, G.: Digitalisierung historischer Zeitungen aus dem Blickwinkel der automatisierten Text- und Strukturerkennung (OCR) (2011) 2.38

   2.3755374 = sum of:
     2.3755374 = product of:
       4.751075 = sum of:
         4.751075 = weight(author_txt:mühlberger in 383) [ClassicSimilarity], result of:
           4.751075 = score(doc=383,freq=1.0), product of:
             0.76709825 = queryWeight, product of:
               1.0934958 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.07079018 = queryNorm
             6.1935673 = fieldWeight in 383, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.625 = fieldNorm(doc=383)
       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.90

   1.90043 = sum of:
     1.90043 = product of:
       3.80086 = sum of:
         3.80086 = weight(author_txt:mühlberger in 1829) [ClassicSimilarity], result of:
           3.80086 = score(doc=1829,freq=1.0), product of:
             0.76709825 = queryWeight, product of:
               1.0934958 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.07079018 = queryNorm
             4.954854 = fieldWeight in 1829, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.5 = fieldNorm(doc=1829)
       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.90

   1.90043 = sum of:
     1.90043 = product of:
       3.80086 = sum of:
         3.80086 = weight(author_txt:mühlberger in 914) [ClassicSimilarity], result of:
           3.80086 = score(doc=914,freq=1.0), product of:
             0.76709825 = queryWeight, product of:
               1.0934958 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.07079018 = queryNorm
             4.954854 = fieldWeight in 914, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.5 = fieldNorm(doc=914)
       0.5 = coord(1/2)
   

5. Dawson, J.W.: Kurt Gödel und die Grenzen der Logik (1999) 1.82

   1.8168141 = sum of:
     1.8168141 = product of:
       3.6336281 = sum of:
         3.6336281 = weight(author_txt:dawson in 4571) [ClassicSimilarity], result of:
           3.6336281 = score(doc=4571,freq=1.0), product of:
             0.6415297 = queryWeight, product of:
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.07079018 = queryNorm
             5.664006 = fieldWeight in 4571, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.625 = fieldNorm(doc=4571)
       0.5 = coord(1/2)
   

Similar documents (content)

1. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.74

   0.7389547 = sum of:
     0.7389547 = product of:
       2.052652 = sum of:
         0.058575887 = weight(abstract_txt:entdeckung in 1303) [ClassicSimilarity], result of:
           0.058575887 = score(doc=1303,freq=1.0), product of:
             0.08958631 = queryWeight, product of:
               1.0412242 = boost
               8.369263 = idf(docFreq=27, maxDocs=44421)
               0.010280404 = queryNorm
             0.65384865 = fieldWeight in 1303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.369263 = idf(docFreq=27, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         0.06280402 = weight(abstract_txt:albert in 1303) [ClassicSimilarity], result of:
           0.06280402 = score(doc=1303,freq=1.0), product of:
             0.09384707 = queryWeight, product of:
               1.0656972 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.010280404 = queryNorm
             0.66921663 = fieldWeight in 1303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         0.19138382 = weight(subject_txt:biographie in 1303) [ClassicSimilarity], result of:
           0.19138382 = score(doc=1303,freq=1.0), product of:
             0.09929496 = queryWeight, product of:
               1.0961931 = boost
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.010280404 = queryNorm
             1.9274273 = fieldWeight in 1303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.21875 = fieldNorm(doc=1303)
         0.07268279 = weight(abstract_txt:aristoteles in 1303) [ClassicSimilarity], result of:
           0.07268279 = score(doc=1303,freq=1.0), product of:
             0.103446744 = queryWeight, product of:
               1.1188757 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.010280404 = queryNorm
             0.70261073 = fieldWeight in 1303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         0.07822834 = weight(abstract_txt:freund in 1303) [ClassicSimilarity], result of:
           0.07822834 = score(doc=1303,freq=1.0), product of:
             0.10864385 = queryWeight, product of:
               1.1466372 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.010280404 = queryNorm
             0.72004384 = fieldWeight in 1303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         0.09723886 = weight(abstract_txt:gödels in 1303) [ClassicSimilarity], result of:
           0.09723886 = score(doc=1303,freq=1.0), product of:
             0.12559982 = queryWeight, product of:
               1.2328719 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.010280404 = queryNorm
             0.7741959 = fieldWeight in 1303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         0.118685685 = weight(abstract_txt:einstein in 1303) [ClassicSimilarity], result of:
           0.118685685 = score(doc=1303,freq=1.0), product of:
             0.18073322 = queryWeight, product of:
               2.091498 = boost
               8.405631 = idf(docFreq=26, maxDocs=44421)
               0.010280404 = queryNorm
             0.65668994 = fieldWeight in 1303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.405631 = idf(docFreq=26, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         0.33189473 = weight(abstract_txt:kurt in 1303) [ClassicSimilarity], result of:
           0.33189473 = score(doc=1303,freq=2.0), product of:
             0.32593155 = queryWeight, product of:
               3.4399116 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.010280404 = queryNorm
             1.0182958 = fieldWeight in 1303, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
         1.0411577 = weight(abstract_txt:gödel in 1303) [ClassicSimilarity], result of:
           1.0411577 = score(doc=1303,freq=4.0), product of:
             0.73528004 = queryWeight, product of:
               7.8922143 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.010280404 = queryNorm
             1.4160016 = fieldWeight in 1303, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.078125 = fieldNorm(doc=1303)
       0.36 = coord(9/25)
   

2. Kuessner, T.: Logbuch Mathematik (2020) 0.19

   0.19334754 = sum of:
     0.19334754 = product of:
       2.4168444 = sum of:
         0.750992 = weight(abstract_txt:kurt in 956) [ClassicSimilarity], result of:
           0.750992 = score(doc=956,freq=1.0), product of:
             0.32593155 = queryWeight, product of:
               3.4399116 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.010280404 = queryNorm
             2.3041403 = fieldWeight in 956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.25 = fieldNorm(doc=956)
         1.6658523 = weight(abstract_txt:gödel in 956) [ClassicSimilarity], result of:
           1.6658523 = score(doc=956,freq=1.0), product of:
             0.73528004 = queryWeight, product of:
               7.8922143 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.010280404 = queryNorm
             2.2656026 = fieldWeight in 956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.25 = fieldNorm(doc=956)
       0.08 = coord(2/25)
   

3. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.15

   0.14932036 = sum of:
     0.14932036 = product of:
       1.2443364 = sum of:
         0.19138382 = weight(subject_txt:biographie in 989) [ClassicSimilarity], result of:
           0.19138382 = score(doc=989,freq=1.0), product of:
             0.09929496 = queryWeight, product of:
               1.0961931 = boost
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.010280404 = queryNorm
             1.9274273 = fieldWeight in 989, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.21875 = fieldNorm(doc=989)
         0.22002643 = weight(abstract_txt:gödels in 989) [ClassicSimilarity], result of:
           0.22002643 = score(doc=989,freq=2.0), product of:
             0.12559982 = queryWeight, product of:
               1.2328719 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.010280404 = queryNorm
             1.7518054 = fieldWeight in 989, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.125 = fieldNorm(doc=989)
         0.83292615 = weight(abstract_txt:gödel in 989) [ClassicSimilarity], result of:
           0.83292615 = score(doc=989,freq=1.0), product of:
             0.73528004 = queryWeight, product of:
               7.8922143 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.010280404 = queryNorm
             1.1328013 = fieldWeight in 989, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.125 = fieldNorm(doc=989)
       0.12 = coord(3/25)
   

4. Dawson, J.W.: Kurt Gödel und die Grenzen der Logik (1999) 0.12

   0.12084222 = sum of:
     0.12084222 = product of:
       1.5105277 = sum of:
         0.46937 = weight(abstract_txt:kurt in 4571) [ClassicSimilarity], result of:
           0.46937 = score(doc=4571,freq=1.0), product of:
             0.32593155 = queryWeight, product of:
               3.4399116 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.010280404 = queryNorm
             1.4400877 = fieldWeight in 4571, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.15625 = fieldNorm(doc=4571)
         1.0411577 = weight(abstract_txt:gödel in 4571) [ClassicSimilarity], result of:
           1.0411577 = score(doc=4571,freq=1.0), product of:
             0.73528004 = queryWeight, product of:
               7.8922143 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.010280404 = queryNorm
             1.4160016 = fieldWeight in 4571, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.15625 = fieldNorm(doc=4571)
       0.08 = coord(2/25)
   

5. Breitenstein, M.: From revolution to orthodoxy : an evolutionary history of the International Encyclopedia of Unified Science (1999) 0.12

   0.11990445 = sum of:
     0.11990445 = product of:
       0.7494028 = sum of:
         0.05024322 = weight(abstract_txt:albert in 718) [ClassicSimilarity], result of:
           0.05024322 = score(doc=718,freq=1.0), product of:
             0.09384707 = queryWeight, product of:
               1.0656972 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.010280404 = queryNorm
             0.53537333 = fieldWeight in 718, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.0625 = fieldNorm(doc=718)
         0.094948545 = weight(abstract_txt:einstein in 718) [ClassicSimilarity], result of:
           0.094948545 = score(doc=718,freq=1.0), product of:
             0.18073322 = queryWeight, product of:
               2.091498 = boost
               8.405631 = idf(docFreq=26, maxDocs=44421)
               0.010280404 = queryNorm
             0.52535194 = fieldWeight in 718, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.405631 = idf(docFreq=26, maxDocs=44421)
               0.0625 = fieldNorm(doc=718)
         0.187748 = weight(abstract_txt:kurt in 718) [ClassicSimilarity], result of:
           0.187748 = score(doc=718,freq=1.0), product of:
             0.32593155 = queryWeight, product of:
               3.4399116 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.010280404 = queryNorm
             0.5760351 = fieldWeight in 718, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.0625 = fieldNorm(doc=718)
         0.41646308 = weight(abstract_txt:gödel in 718) [ClassicSimilarity], result of:
           0.41646308 = score(doc=718,freq=1.0), product of:
             0.73528004 = queryWeight, product of:
               7.8922143 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.010280404 = queryNorm
             0.56640065 = fieldWeight in 718, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.0625 = fieldNorm(doc=718)
       0.16 = coord(4/25)