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

   2.3745239 = sum of:
     2.3745239 = product of:
       4.7490478 = sum of:
         4.7490478 = weight(author_txt:mühlberger in 2200) [ClassicSimilarity], result of:
           4.7490478 = score(doc=2200,freq=1.0), product of:
             0.76712555 = queryWeight, product of:
               1.0935432 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.07082237 = queryNorm
             6.190705 = fieldWeight in 2200, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.625 = fieldNorm(doc=2200)
       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.3745239 = sum of:
     2.3745239 = product of:
       4.7490478 = sum of:
         4.7490478 = weight(author_txt:mühlberger in 4383) [ClassicSimilarity], result of:
           4.7490478 = score(doc=4383,freq=1.0), product of:
             0.76712555 = queryWeight, product of:
               1.0935432 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.07082237 = queryNorm
             6.190705 = fieldWeight in 4383, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.625 = fieldNorm(doc=4383)
       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.8996191 = sum of:
     1.8996191 = product of:
       3.7992382 = sum of:
         3.7992382 = weight(author_txt:mühlberger in 829) [ClassicSimilarity], result of:
           3.7992382 = score(doc=829,freq=1.0), product of:
             0.76712555 = queryWeight, product of:
               1.0935432 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.07082237 = queryNorm
             4.952564 = fieldWeight in 829, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.5 = fieldNorm(doc=829)
       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.8996191 = sum of:
     1.8996191 = product of:
       3.7992382 = sum of:
         3.7992382 = weight(author_txt:mühlberger in 6914) [ClassicSimilarity], result of:
           3.7992382 = score(doc=6914,freq=1.0), product of:
             0.76712555 = queryWeight, product of:
               1.0935432 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.07082237 = queryNorm
             4.952564 = fieldWeight in 6914, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.5 = fieldNorm(doc=6914)
       0.5 = coord(1/2)
   

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

   1.8158034 = sum of:
     1.8158034 = product of:
       3.6316068 = sum of:
         3.6316068 = weight(author_txt:dawson in 4503) [ClassicSimilarity], result of:
           3.6316068 = score(doc=4503,freq=1.0), product of:
             0.641497 = queryWeight, product of:
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.07082237 = queryNorm
             5.661144 = fieldWeight in 4503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.625 = fieldNorm(doc=4503)
       0.5 = coord(1/2)
   

Similar documents (content)

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

   0.73869705 = sum of:
     0.73869705 = product of:
       2.0519361 = sum of:
         0.059293322 = weight(abstract_txt:entdeckung in 303) [ClassicSimilarity], result of:
           0.059293322 = score(doc=303,freq=1.0), product of:
             0.09034043 = queryWeight, product of:
               1.0424043 = boost
               8.401051 = idf(docFreq=26, maxDocs=44218)
               0.010316025 = queryNorm
             0.6563321 = fieldWeight in 303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.401051 = idf(docFreq=26, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         0.06275354 = weight(abstract_txt:albert in 303) [ClassicSimilarity], result of:
           0.06275354 = score(doc=303,freq=1.0), product of:
             0.09382181 = queryWeight, product of:
               1.0622996 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.010316025 = queryNorm
             0.6688588 = fieldWeight in 303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         0.19123852 = weight(subject_txt:biographie in 303) [ClassicSimilarity], result of:
           0.19123852 = score(doc=303,freq=1.0), product of:
             0.099271186 = queryWeight, product of:
               1.0927145 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.010316025 = queryNorm
             1.9264253 = fieldWeight in 303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.21875 = fieldNorm(doc=303)
         0.07262992 = weight(abstract_txt:aristoteles in 303) [ClassicSimilarity], result of:
           0.07262992 = score(doc=303,freq=1.0), product of:
             0.10342416 = queryWeight, product of:
               1.115337 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.010316025 = queryNorm
             0.7022529 = fieldWeight in 303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         0.07817431 = weight(abstract_txt:freund in 303) [ClassicSimilarity], result of:
           0.07817431 = score(doc=303,freq=1.0), product of:
             0.1086228 = queryWeight, product of:
               1.1430247 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.010316025 = queryNorm
             0.71968603 = fieldWeight in 303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         0.097181864 = weight(abstract_txt:gödels in 303) [ClassicSimilarity], result of:
           0.097181864 = score(doc=303,freq=1.0), product of:
             0.12558423 = queryWeight, product of:
               1.2290305 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.010316025 = queryNorm
             0.7738381 = fieldWeight in 303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         0.118586645 = weight(abstract_txt:einstein in 303) [ClassicSimilarity], result of:
           0.118586645 = score(doc=303,freq=1.0), product of:
             0.18068086 = queryWeight, product of:
               2.0848086 = boost
               8.401051 = idf(docFreq=26, maxDocs=44218)
               0.010316025 = queryNorm
             0.6563321 = fieldWeight in 303, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.401051 = idf(docFreq=26, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         0.33166555 = weight(abstract_txt:kurt in 303) [ClassicSimilarity], result of:
           0.33166555 = score(doc=303,freq=2.0), product of:
             0.32586843 = queryWeight, product of:
               3.4290743 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.010316025 = queryNorm
             1.0177897 = fieldWeight in 303, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
         1.0404123 = weight(abstract_txt:gödel in 303) [ClassicSimilarity], result of:
           1.0404123 = score(doc=303,freq=4.0), product of:
             0.7351252 = queryWeight, product of:
               7.8672833 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.010316025 = queryNorm
             1.415286 = fieldWeight in 303, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.078125 = fieldNorm(doc=303)
       0.36 = coord(9/25)
   

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

   0.19321066 = sum of:
     0.19321066 = product of:
       2.4151332 = sum of:
         0.75047344 = weight(abstract_txt:kurt in 5956) [ClassicSimilarity], result of:
           0.75047344 = score(doc=5956,freq=1.0), product of:
             0.32586843 = queryWeight, product of:
               3.4290743 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.010316025 = queryNorm
             2.3029952 = fieldWeight in 5956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.25 = fieldNorm(doc=5956)
         1.6646597 = weight(abstract_txt:gödel in 5956) [ClassicSimilarity], result of:
           1.6646597 = score(doc=5956,freq=1.0), product of:
             0.7351252 = queryWeight, product of:
               7.8672833 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.010316025 = queryNorm
             2.2644575 = fieldWeight in 5956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.25 = fieldNorm(doc=5956)
       0.08 = coord(2/25)
   

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

   0.1492159 = sum of:
     0.1492159 = product of:
       1.2434659 = sum of:
         0.19123852 = weight(subject_txt:biographie in 5989) [ClassicSimilarity], result of:
           0.19123852 = score(doc=5989,freq=1.0), product of:
             0.099271186 = queryWeight, product of:
               1.0927145 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.010316025 = queryNorm
             1.9264253 = fieldWeight in 5989, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.21875 = fieldNorm(doc=5989)
         0.21989743 = weight(abstract_txt:gödels in 5989) [ClassicSimilarity], result of:
           0.21989743 = score(doc=5989,freq=2.0), product of:
             0.12558423 = queryWeight, product of:
               1.2290305 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.010316025 = queryNorm
             1.7509956 = fieldWeight in 5989, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.125 = fieldNorm(doc=5989)
         0.83232987 = weight(abstract_txt:gödel in 5989) [ClassicSimilarity], result of:
           0.83232987 = score(doc=5989,freq=1.0), product of:
             0.7351252 = queryWeight, product of:
               7.8672833 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.010316025 = queryNorm
             1.1322287 = fieldWeight in 5989, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.125 = fieldNorm(doc=5989)
       0.12 = coord(3/25)
   

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

   0.12075665 = sum of:
     0.12075665 = product of:
       1.5094582 = sum of:
         0.4690459 = weight(abstract_txt:kurt in 4503) [ClassicSimilarity], result of:
           0.4690459 = score(doc=4503,freq=1.0), product of:
             0.32586843 = queryWeight, product of:
               3.4290743 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.010316025 = queryNorm
             1.4393721 = fieldWeight in 4503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.15625 = fieldNorm(doc=4503)
         1.0404123 = weight(abstract_txt:gödel in 4503) [ClassicSimilarity], result of:
           1.0404123 = score(doc=4503,freq=1.0), product of:
             0.7351252 = queryWeight, product of:
               7.8672833 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.010316025 = queryNorm
             1.415286 = fieldWeight in 4503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.15625 = fieldNorm(doc=4503)
       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.11981687 = sum of:
     0.11981687 = product of:
       0.7488555 = sum of:
         0.050202835 = weight(abstract_txt:albert in 6718) [ClassicSimilarity], result of:
           0.050202835 = score(doc=6718,freq=1.0), product of:
             0.09382181 = queryWeight, product of:
               1.0622996 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.010316025 = queryNorm
             0.53508705 = fieldWeight in 6718, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.0625 = fieldNorm(doc=6718)
         0.094869316 = weight(abstract_txt:einstein in 6718) [ClassicSimilarity], result of:
           0.094869316 = score(doc=6718,freq=1.0), product of:
             0.18068086 = queryWeight, product of:
               2.0848086 = boost
               8.401051 = idf(docFreq=26, maxDocs=44218)
               0.010316025 = queryNorm
             0.52506566 = fieldWeight in 6718, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.401051 = idf(docFreq=26, maxDocs=44218)
               0.0625 = fieldNorm(doc=6718)
         0.18761836 = weight(abstract_txt:kurt in 6718) [ClassicSimilarity], result of:
           0.18761836 = score(doc=6718,freq=1.0), product of:
             0.32586843 = queryWeight, product of:
               3.4290743 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.010316025 = queryNorm
             0.5757488 = fieldWeight in 6718, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.0625 = fieldNorm(doc=6718)
         0.41616493 = weight(abstract_txt:gödel in 6718) [ClassicSimilarity], result of:
           0.41616493 = score(doc=6718,freq=1.0), product of:
             0.7351252 = queryWeight, product of:
               7.8672833 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.010316025 = queryNorm
             0.56611437 = fieldWeight in 6718, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.0625 = fieldNorm(doc=6718)
       0.16 = coord(4/25)