Document (#32304)

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

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

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

   6.0137663 = sum of:
     6.0137663 = weight(author_txt:goldstein in 3163) [ClassicSimilarity], result of:
       6.0137663 = fieldWeight in 3163, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.622026 = idf(docFreq=7, maxDocs=44421)
         0.625 = fieldNorm(doc=3163)
   

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

   6.0137663 = sum of:
     6.0137663 = weight(author_txt:goldstein in 6791) [ClassicSimilarity], result of:
       6.0137663 = fieldWeight in 6791, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.622026 = idf(docFreq=7, maxDocs=44421)
         0.625 = fieldNorm(doc=6791)
   

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

   4.811013 = sum of:
     4.811013 = weight(author_txt:goldstein in 3743) [ClassicSimilarity], result of:
       4.811013 = fieldWeight in 3743, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.622026 = idf(docFreq=7, maxDocs=44421)
         0.5 = fieldNorm(doc=3743)
   

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

   4.811013 = sum of:
     4.811013 = weight(author_txt:goldstein in 1594) [ClassicSimilarity], result of:
       4.811013 = fieldWeight in 1594, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.622026 = idf(docFreq=7, maxDocs=44421)
         0.5 = fieldNorm(doc=1594)
   

Similar documents (content)

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

   0.7089192 = sum of:
     0.7089192 = product of:
       2.2153726 = sum of:
         0.057983786 = weight(abstract_txt:albert in 595) [ClassicSimilarity], result of:
           0.057983786 = score(doc=595,freq=1.0), product of:
             0.08664427 = queryWeight, product of:
               1.0145205 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.009970164 = queryNorm
             0.66921663 = fieldWeight in 595, 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=595)
         0.40387434 = weight(subject_txt:biographie in 595) [ClassicSimilarity], result of:
           0.40387434 = score(doc=595,freq=1.0), product of:
             0.09167403 = queryWeight, product of:
               1.0435519 = boost
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.009970164 = queryNorm
             4.405548 = fieldWeight in 595, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.5 = fieldNorm(doc=595)
         0.067104355 = weight(abstract_txt:aristoteles in 595) [ClassicSimilarity], result of:
           0.067104355 = score(doc=595,freq=1.0), product of:
             0.09550716 = queryWeight, product of:
               1.0651454 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.009970164 = queryNorm
             0.70261073 = fieldWeight in 595, 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=595)
         0.07222428 = weight(abstract_txt:freund in 595) [ClassicSimilarity], result of:
           0.07222428 = score(doc=595,freq=1.0), product of:
             0.10030539 = queryWeight, product of:
               1.0915737 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.009970164 = queryNorm
             0.72004384 = fieldWeight in 595, 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=595)
         0.08977575 = weight(abstract_txt:gödels in 595) [ClassicSimilarity], result of:
           0.08977575 = score(doc=595,freq=1.0), product of:
             0.11595999 = queryWeight, product of:
               1.1736673 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.009970164 = queryNorm
             0.7741959 = fieldWeight in 595, 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=595)
         0.08858008 = weight(abstract_txt:mathematiker in 595) [ClassicSimilarity], result of:
           0.08858008 = score(doc=595,freq=1.0), product of:
             0.1448003 = queryWeight, product of:
               1.8547726 = boost
               7.8302665 = idf(docFreq=47, maxDocs=44421)
               0.009970164 = queryNorm
             0.6117396 = fieldWeight in 595, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.8302665 = idf(docFreq=47, maxDocs=44421)
               0.078125 = fieldNorm(doc=595)
         0.3611214 = weight(abstract_txt:kurt in 595) [ClassicSimilarity], result of:
           0.3611214 = score(doc=595,freq=1.0), product of:
             0.50152695 = queryWeight, product of:
               5.457868 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.009970164 = queryNorm
             0.72004384 = fieldWeight in 595, 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=595)
         1.0747086 = weight(abstract_txt:gödel in 595) [ClassicSimilarity], result of:
           1.0747086 = score(doc=595,freq=5.0), product of:
             0.6788471 = queryWeight, product of:
               7.5132165 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.009970164 = queryNorm
             1.583138 = fieldWeight in 595, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.078125 = fieldNorm(doc=595)
       0.32 = coord(8/25)
   

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

   0.37366492 = sum of:
     0.37366492 = product of:
       3.1138744 = sum of:
         0.42028823 = weight(abstract_txt:princeton in 956) [ClassicSimilarity], result of:
           0.42028823 = score(doc=956,freq=1.0), product of:
             0.18828265 = queryWeight, product of:
               2.1150033 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.009970164 = queryNorm
             2.2322197 = fieldWeight in 956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.25 = fieldNorm(doc=956)
         1.1555885 = weight(abstract_txt:kurt in 956) [ClassicSimilarity], result of:
           1.1555885 = score(doc=956,freq=1.0), product of:
             0.50152695 = queryWeight, product of:
               5.457868 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.009970164 = 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.5379977 = weight(abstract_txt:gödel in 956) [ClassicSimilarity], result of:
           1.5379977 = score(doc=956,freq=1.0), product of:
             0.6788471 = queryWeight, product of:
               7.5132165 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.009970164 = 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.12 = coord(3/25)
   

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

   0.22327818 = sum of:
     0.22327818 = product of:
       1.8606515 = sum of:
         0.17716016 = weight(abstract_txt:mathematiker in 4571) [ClassicSimilarity], result of:
           0.17716016 = score(doc=4571,freq=1.0), product of:
             0.1448003 = queryWeight, product of:
               1.8547726 = boost
               7.8302665 = idf(docFreq=47, maxDocs=44421)
               0.009970164 = queryNorm
             1.2234792 = fieldWeight in 4571, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.8302665 = idf(docFreq=47, maxDocs=44421)
               0.15625 = fieldNorm(doc=4571)
         0.7222428 = weight(abstract_txt:kurt in 4571) [ClassicSimilarity], result of:
           0.7222428 = score(doc=4571,freq=1.0), product of:
             0.50152695 = queryWeight, product of:
               5.457868 = boost
               9.216561 = idf(docFreq=11, maxDocs=44421)
               0.009970164 = 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)
         0.9612485 = weight(abstract_txt:gödel in 4571) [ClassicSimilarity], result of:
           0.9612485 = score(doc=4571,freq=1.0), product of:
             0.6788471 = queryWeight, product of:
               7.5132165 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.009970164 = 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.12 = coord(3/25)
   

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

   0.13785999 = sum of:
     0.13785999 = product of:
       1.1488333 = sum of:
         0.17669503 = weight(subject_txt:biographie in 989) [ClassicSimilarity], result of:
           0.17669503 = score(doc=989,freq=1.0), product of:
             0.09167403 = queryWeight, product of:
               1.0435519 = boost
               8.811096 = idf(docFreq=17, maxDocs=44421)
               0.009970164 = 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.20313933 = weight(abstract_txt:gödels in 989) [ClassicSimilarity], result of:
           0.20313933 = score(doc=989,freq=2.0), product of:
             0.11595999 = queryWeight, product of:
               1.1736673 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.009970164 = 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.76899886 = weight(abstract_txt:gödel in 989) [ClassicSimilarity], result of:
           0.76899886 = score(doc=989,freq=1.0), product of:
             0.6788471 = queryWeight, product of:
               7.5132165 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.009970164 = 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)
   

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

   0.12174993 = sum of:
     0.12174993 = product of:
       1.0145828 = sum of:
         0.11886273 = weight(abstract_txt:bach in 1964) [ClassicSimilarity], result of:
           0.11886273 = score(doc=1964,freq=1.0), product of:
             0.10220825 = queryWeight, product of:
               1.101879 = boost
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.009970164 = queryNorm
             1.1629466 = fieldWeight in 1964, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.303573 = idf(docFreq=10, maxDocs=44421)
               0.125 = fieldNorm(doc=1964)
         0.12672111 = weight(abstract_txt:escher in 1964) [ClassicSimilarity], result of:
           0.12672111 = score(doc=1964,freq=1.0), product of:
             0.10666488 = queryWeight, product of:
               1.1256455 = boost
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.009970164 = queryNorm
             1.1880304 = fieldWeight in 1964, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.504243 = idf(docFreq=8, maxDocs=44421)
               0.125 = fieldNorm(doc=1964)
         0.76899886 = weight(abstract_txt:gödel in 1964) [ClassicSimilarity], result of:
           0.76899886 = score(doc=1964,freq=1.0), product of:
             0.6788471 = queryWeight, product of:
               7.5132165 = boost
               9.06241 = idf(docFreq=13, maxDocs=44421)
               0.009970164 = queryNorm
             1.1328013 = fieldWeight in 1964, 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=1964)
       0.12 = coord(3/25)