Document (#32305)

Author

Goldstein, R.

Title

Kurt Gödel : Jahrhundertmathematiker und großer Entdecker

Issue

Aus dem Amerikan. von Thorsten Schmidt.

Imprint

München : Piper

Year

2007

Pages

312 S

Isbn

3-492-24960-4

Abstract

»Gödel, Escher, Bach« war der Titel eines Kultbuchs der achtziger Jahre. Wer war eigentlich Kurt Gödel, der 1906 in Brünn geboren wurde? Ein Jahrhundertgenie als Mathematiker, der größte Logiker seit Aristoteles, ein enger Freund und wichtiger Gesprächspartner von Albert Einstein in Princeton. Im Jahr 1931 formulierte Gödel den Unvollständigkeitssatz, der die Mathematiker schockierte. Er besagt im Kern, daß es keine vollständigen Theorien geben kann. Gödels Entdeckung steht auf einer Stufe mit Einsteins Relativitätstheorien und Heisenbergs Unbestimmtheitsrelation. Rebecca Goldstein, Philosophin und Autorin mehrerer Romane aus dem Wissenschaftsmilieu, zeigt, warum Kurt Gödel, der 1978 in Princeton starb, zu den größten Genies der Menschheit gerechnet wird. Sie erzählt von einer außergewöhnlichen Persönlichkeit, die skurrile und später auch paranoide Züge trug.

Content

A Platonist among the positivists -- Hilbert and the formalists -- The proof of incompleteness -- Gödel's incompleteness.

Footnote

Originaltitel: Incompleteness - the proof and paradox of Kurt Gödel <dt.>

LCSH

Gödel, Kurt
Logicians / United States / Biography
Logicians / Austria / Biography
Proof theory

RSWK

Gödel, Kurt / Biographie
Gödelscher Unvollständigkeitssatz
Widerspruchsfreiheit / Beweistheorie / Mathematik

BK

08.25 / Zeitgenössische westliche Philosophie
08.33 / Logik <Philosophie>
31.10 / Mathematische Logik
31.01 / Geschichte der Mathematik

DDC

510.92 [DDC22ger]
510/.92 B / dc22

LCC

QA29.G58G65 2005

RVK

SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien

Similar documents (author)

1. Goldstein, ?: ¬The Internet today & tomorrow : facing the new reality of the Internet (1997) 9.57

   9.565078 = sum of:
     9.565078 = weight(author_txt:goldstein in 725) [ClassicSimilarity], result of:
       9.565078 = fieldWeight in 725, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.565078 = idf(docFreq=7, maxDocs=41962)
         1.0 = fieldNorm(doc=725)
   

2. Goldstein, D.J.: Do we do mathematics with our visual brain? (1998) 5.98

   5.9781737 = sum of:
     5.9781737 = weight(author_txt:goldstein in 3577) [ClassicSimilarity], result of:
       5.9781737 = fieldWeight in 3577, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.565078 = idf(docFreq=7, maxDocs=41962)
         0.625 = fieldNorm(doc=3577)
   

3. Goldstein, E.B.: Wahrnehmungspsychologie : Eine Einführung (1997) 5.98

   5.9781737 = sum of:
     5.9781737 = weight(author_txt:goldstein in 287) [ClassicSimilarity], result of:
       5.9781737 = fieldWeight in 287, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.565078 = idf(docFreq=7, maxDocs=41962)
         0.625 = fieldNorm(doc=287)
   

4. Chan, H.C.; Goldstein, R.C.: User-database interaction at the knowledge level of abstraction (1997) 4.78

   4.782539 = sum of:
     4.782539 = weight(author_txt:goldstein in 4157) [ClassicSimilarity], result of:
       4.782539 = fieldWeight in 4157, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.565078 = idf(docFreq=7, maxDocs=41962)
         0.5 = fieldNorm(doc=4157)
   

5. Morris, S.A.; Goldstein, M.L.: Manifestation of research teams in journal literature : a growth model of papers, authors, collaboration, coauthorship, weak ties, and Lotka's law (2007) 4.78

   4.782539 = sum of:
     4.782539 = weight(author_txt:goldstein in 2595) [ClassicSimilarity], result of:
       4.782539 = fieldWeight in 2595, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.565078 = idf(docFreq=7, maxDocs=41962)
         0.5 = fieldNorm(doc=2595)
   

Similar documents (content)

1. Sigmund, K.; Dawson, J.; Mühlberger, K.: Kurt Gödel : Das Album - The Album (2006) 0.94

   0.94128245 = sum of:
     0.94128245 = product of:
       2.3532062 = sum of:
         0.07833172 = weight(abstract_txt:einstein in 1596) [ClassicSimilarity], result of:
           0.07833172 = score(doc=1596,freq=2.0), product of:
             0.08373952 = queryWeight, product of:
               8.466466 = idf(docFreq=23, maxDocs=41962)
               0.009890729 = queryNorm
             0.9354211 = fieldWeight in 1596, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.466466 = idf(docFreq=23, maxDocs=41962)
               0.078125 = fieldNorm(doc=1596)
         0.05538889 = weight(abstract_txt:entdeckung in 1596) [ClassicSimilarity], result of:
           0.05538889 = score(doc=1596,freq=1.0), product of:
             0.08373952 = queryWeight, product of:
               8.466466 = idf(docFreq=23, maxDocs=41962)
               0.009890729 = queryNorm
             0.66144264 = fieldWeight in 1596, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.466466 = idf(docFreq=23, maxDocs=41962)
               0.078125 = fieldNorm(doc=1596)
         0.056228384 = weight(abstract_txt:albert in 1596) [ClassicSimilarity], result of:
           0.056228384 = score(doc=1596,freq=1.0), product of:
             0.08458352 = queryWeight, product of:
               1.0050268 = boost
               8.509026 = idf(docFreq=22, maxDocs=41962)
               0.009890729 = queryNorm
             0.6647676 = fieldWeight in 1596, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.509026 = idf(docFreq=22, maxDocs=41962)
               0.078125 = fieldNorm(doc=1596)
         0.3918661 = weight(subject_txt:biographie in 1596) [ClassicSimilarity], result of:
           0.3918661 = score(doc=1596,freq=1.0), product of:
             0.08952696 = queryWeight, product of:
               1.0339789 = boost
               8.754148 = idf(docFreq=17, maxDocs=41962)
               0.009890729 = queryNorm
             4.377074 = fieldWeight in 1596, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.754148 = idf(docFreq=17, maxDocs=41962)
               0.5 = fieldNorm(doc=1596)
         0.06513494 = weight(abstract_txt:aristoteles in 1596) [ClassicSimilarity], result of:
           0.06513494 = score(doc=1596,freq=1.0), product of:
             0.093294926 = queryWeight, product of:
               1.0555135 = boost
               8.936469 = idf(docFreq=14, maxDocs=41962)
               0.009890729 = queryNorm
             0.69816166 = fieldWeight in 1596, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.936469 = idf(docFreq=14, maxDocs=41962)
               0.078125 = fieldNorm(doc=1596)
         0.070137054 = weight(abstract_txt:freund in 1596) [ClassicSimilarity], result of:
           0.070137054 = score(doc=1596,freq=1.0), product of:
             0.09801225 = queryWeight, product of:
               1.0818697 = boost
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.009890729 = queryNorm
             0.71559477 = fieldWeight in 1596, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.078125 = fieldNorm(doc=1596)
         0.08729511 = weight(abstract_txt:gödels in 1596) [ClassicSimilarity], result of:
           0.08729511 = score(doc=1596,freq=1.0), product of:
             0.113407545 = queryWeight, product of:
               1.1637394 = boost
               9.85276 = idf(docFreq=5, maxDocs=41962)
               0.009890729 = queryNorm
             0.7697469 = fieldWeight in 1596, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.85276 = idf(docFreq=5, maxDocs=41962)
               0.078125 = fieldNorm(doc=1596)
         0.09023119 = weight(abstract_txt:mathematiker in 1596) [ClassicSimilarity], result of:
           0.09023119 = score(doc=1596,freq=1.0), product of:
             0.1460707 = queryWeight, product of:
               1.8678042 = boost
               7.9068503 = idf(docFreq=41, maxDocs=41962)
               0.009890729 = queryNorm
             0.6177227 = fieldWeight in 1596, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.9068503 = idf(docFreq=41, maxDocs=41962)
               0.078125 = fieldNorm(doc=1596)
         0.36077446 = weight(abstract_txt:kurt in 1596) [ClassicSimilarity], result of:
           0.36077446 = score(doc=1596,freq=1.0), product of:
             0.4994161 = queryWeight, product of:
               5.4607344 = boost
               9.246624 = idf(docFreq=10, maxDocs=41962)
               0.009890729 = queryNorm
             0.7223925 = fieldWeight in 1596, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.246624 = idf(docFreq=10, maxDocs=41962)
               0.078125 = fieldNorm(doc=1596)
         1.0978185 = weight(abstract_txt:gödel in 1596) [ClassicSimilarity], result of:
           1.0978185 = score(doc=1596,freq=5.0), product of:
             0.6860857 = queryWeight, product of:
               7.573087 = boost
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.009890729 = queryNorm
             1.6001186 = fieldWeight in 1596, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.078125 = fieldNorm(doc=1596)
       0.4 = coord(10/25)
   

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

   0.2260716 = sum of:
     0.2260716 = product of:
       1.88393 = sum of:
         0.18046238 = weight(abstract_txt:mathematiker in 4572) [ClassicSimilarity], result of:
           0.18046238 = score(doc=4572,freq=1.0), product of:
             0.1460707 = queryWeight, product of:
               1.8678042 = boost
               7.9068503 = idf(docFreq=41, maxDocs=41962)
               0.009890729 = queryNorm
             1.2354454 = fieldWeight in 4572, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.9068503 = idf(docFreq=41, maxDocs=41962)
               0.15625 = fieldNorm(doc=4572)
         0.7215489 = weight(abstract_txt:kurt in 4572) [ClassicSimilarity], result of:
           0.7215489 = score(doc=4572,freq=1.0), product of:
             0.4994161 = queryWeight, product of:
               5.4607344 = boost
               9.246624 = idf(docFreq=10, maxDocs=41962)
               0.009890729 = queryNorm
             1.444785 = fieldWeight in 4572, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.246624 = idf(docFreq=10, maxDocs=41962)
               0.15625 = fieldNorm(doc=4572)
         0.9819187 = weight(abstract_txt:gödel in 4572) [ClassicSimilarity], result of:
           0.9819187 = score(doc=4572,freq=1.0), product of:
             0.6860857 = queryWeight, product of:
               7.573087 = boost
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.009890729 = queryNorm
             1.4311895 = fieldWeight in 4572, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.15625 = fieldNorm(doc=4572)
       0.12 = coord(3/25)
   

3. Loviscach, J.: ¬Die Würfel Gottes : Stephen Wolframs 'neue Art von Wissenschaft' (2002) 0.18

   0.18001232 = sum of:
     0.18001232 = product of:
       1.125077 = sum of:
         0.08862222 = weight(abstract_txt:einstein in 1965) [ClassicSimilarity], result of:
           0.08862222 = score(doc=1965,freq=1.0), product of:
             0.08373952 = queryWeight, product of:
               8.466466 = idf(docFreq=23, maxDocs=41962)
               0.009890729 = queryNorm
             1.0583082 = fieldWeight in 1965, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.466466 = idf(docFreq=23, maxDocs=41962)
               0.125 = fieldNorm(doc=1965)
         0.123128496 = weight(abstract_txt:bach in 1965) [ClassicSimilarity], result of:
           0.123128496 = score(doc=1965,freq=1.0), product of:
             0.10426561 = queryWeight, product of:
               1.1158487 = boost
               9.447295 = idf(docFreq=8, maxDocs=41962)
               0.009890729 = queryNorm
             1.1809119 = fieldWeight in 1965, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.447295 = idf(docFreq=8, maxDocs=41962)
               0.125 = fieldNorm(doc=1965)
         0.1277914 = weight(abstract_txt:escher in 1965) [ClassicSimilarity], result of:
           0.1277914 = score(doc=1965,freq=1.0), product of:
             0.10688165 = queryWeight, product of:
               1.1297604 = boost
               9.565078 = idf(docFreq=7, maxDocs=41962)
               0.009890729 = queryNorm
             1.1956347 = fieldWeight in 1965, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.565078 = idf(docFreq=7, maxDocs=41962)
               0.125 = fieldNorm(doc=1965)
         0.7855349 = weight(abstract_txt:gödel in 1965) [ClassicSimilarity], result of:
           0.7855349 = score(doc=1965,freq=1.0), product of:
             0.6860857 = queryWeight, product of:
               7.573087 = boost
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.009890729 = queryNorm
             1.1449516 = fieldWeight in 1965, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.125 = fieldNorm(doc=1965)
       0.16 = coord(4/25)
   

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

   0.13854031 = sum of:
     0.13854031 = product of:
       1.1545026 = sum of:
         0.17144142 = weight(subject_txt:biographie in 990) [ClassicSimilarity], result of:
           0.17144142 = score(doc=990,freq=1.0), product of:
             0.08952696 = queryWeight, product of:
               1.0339789 = boost
               8.754148 = idf(docFreq=17, maxDocs=41962)
               0.009890729 = queryNorm
             1.9149698 = fieldWeight in 990, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.754148 = idf(docFreq=17, maxDocs=41962)
               0.21875 = fieldNorm(doc=990)
         0.19752626 = weight(abstract_txt:gödels in 990) [ClassicSimilarity], result of:
           0.19752626 = score(doc=990,freq=2.0), product of:
             0.113407545 = queryWeight, product of:
               1.1637394 = boost
               9.85276 = idf(docFreq=5, maxDocs=41962)
               0.009890729 = queryNorm
             1.7417383 = fieldWeight in 990, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               9.85276 = idf(docFreq=5, maxDocs=41962)
               0.125 = fieldNorm(doc=990)
         0.7855349 = weight(abstract_txt:gödel in 990) [ClassicSimilarity], result of:
           0.7855349 = score(doc=990,freq=1.0), product of:
             0.6860857 = queryWeight, product of:
               7.573087 = boost
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.009890729 = queryNorm
             1.1449516 = fieldWeight in 990, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.125 = fieldNorm(doc=990)
       0.12 = coord(3/25)
   

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

   0.12330894 = sum of:
     0.12330894 = product of:
       0.7706809 = sum of:
         0.04431111 = weight(abstract_txt:einstein in 719) [ClassicSimilarity], result of:
           0.04431111 = score(doc=719,freq=1.0), product of:
             0.08373952 = queryWeight, product of:
               8.466466 = idf(docFreq=23, maxDocs=41962)
               0.009890729 = queryNorm
             0.5291541 = fieldWeight in 719, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.466466 = idf(docFreq=23, maxDocs=41962)
               0.0625 = fieldNorm(doc=719)
         0.04498271 = weight(abstract_txt:albert in 719) [ClassicSimilarity], result of:
           0.04498271 = score(doc=719,freq=1.0), product of:
             0.08458352 = queryWeight, product of:
               1.0050268 = boost
               8.509026 = idf(docFreq=22, maxDocs=41962)
               0.009890729 = queryNorm
             0.5318141 = fieldWeight in 719, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.509026 = idf(docFreq=22, maxDocs=41962)
               0.0625 = fieldNorm(doc=719)
         0.28861958 = weight(abstract_txt:kurt in 719) [ClassicSimilarity], result of:
           0.28861958 = score(doc=719,freq=1.0), product of:
             0.4994161 = queryWeight, product of:
               5.4607344 = boost
               9.246624 = idf(docFreq=10, maxDocs=41962)
               0.009890729 = queryNorm
             0.577914 = fieldWeight in 719, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.246624 = idf(docFreq=10, maxDocs=41962)
               0.0625 = fieldNorm(doc=719)
         0.39276746 = weight(abstract_txt:gödel in 719) [ClassicSimilarity], result of:
           0.39276746 = score(doc=719,freq=1.0), product of:
             0.6860857 = queryWeight, product of:
               7.573087 = boost
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.009890729 = queryNorm
             0.5724758 = fieldWeight in 719, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.159613 = idf(docFreq=11, maxDocs=41962)
               0.0625 = fieldNorm(doc=719)
       0.16 = coord(4/25)