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.617446 = sum of:
     9.617446 = weight(author_txt:goldstein in 311) [ClassicSimilarity], result of:
       9.617446 = fieldWeight in 311, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         1.0 = fieldNorm(doc=311)
   

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

   6.010904 = sum of:
     6.010904 = weight(author_txt:goldstein in 2163) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 2163, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         0.625 = fieldNorm(doc=2163)
   

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

   6.010904 = sum of:
     6.010904 = weight(author_txt:goldstein in 5791) [ClassicSimilarity], result of:
       6.010904 = fieldWeight in 5791, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         0.625 = fieldNorm(doc=5791)
   

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

   4.808723 = sum of:
     4.808723 = weight(author_txt:goldstein in 2743) [ClassicSimilarity], result of:
       4.808723 = fieldWeight in 2743, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         0.5 = fieldNorm(doc=2743)
   

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.808723 = sum of:
     4.808723 = weight(author_txt:goldstein in 594) [ClassicSimilarity], result of:
       4.808723 = fieldWeight in 594, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.617446 = idf(docFreq=7, maxDocs=44218)
         0.5 = fieldNorm(doc=594)
   

Similar documents (content)

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

   0.70802575 = sum of:
     0.70802575 = product of:
       2.2125804 = sum of:
         0.05788746 = weight(abstract_txt:albert in 470) [ClassicSimilarity], result of:
           0.05788746 = score(doc=470,freq=1.0), product of:
             0.08654661 = queryWeight, product of:
               1.0145284 = boost
               8.561393 = idf(docFreq=22, maxDocs=44218)
               0.009964177 = queryNorm
             0.6688588 = fieldWeight in 470, 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=470)
         0.40322146 = weight(subject_txt:biographie in 470) [ClassicSimilarity], result of:
           0.40322146 = score(doc=470,freq=1.0), product of:
             0.09157344 = queryWeight, product of:
               1.0435756 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.009964177 = queryNorm
             4.403258 = fieldWeight in 470, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.5 = fieldNorm(doc=470)
         0.066998 = weight(abstract_txt:aristoteles in 470) [ClassicSimilarity], result of:
           0.066998 = score(doc=470,freq=1.0), product of:
             0.09540437 = queryWeight, product of:
               1.0651808 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.009964177 = queryNorm
             0.7022529 = fieldWeight in 470, 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=470)
         0.07211247 = weight(abstract_txt:freund in 470) [ClassicSimilarity], result of:
           0.07211247 = score(doc=470,freq=1.0), product of:
             0.10019991 = queryWeight, product of:
               1.0916234 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.009964177 = queryNorm
             0.71968603 = fieldWeight in 470, 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=470)
         0.089646116 = weight(abstract_txt:gödels in 470) [ClassicSimilarity], result of:
           0.089646116 = score(doc=470,freq=1.0), product of:
             0.11584609 = queryWeight, product of:
               1.1737615 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.009964177 = queryNorm
             0.7738381 = fieldWeight in 470, 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=470)
         0.08913516 = weight(abstract_txt:mathematiker in 470) [ClassicSimilarity], result of:
           0.08913516 = score(doc=470,freq=1.0), product of:
             0.14540179 = queryWeight, product of:
               1.8596835 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.009964177 = queryNorm
             0.61302656 = fieldWeight in 470, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.078125 = fieldNorm(doc=470)
         0.36056235 = weight(abstract_txt:kurt in 470) [ClassicSimilarity], result of:
           0.36056235 = score(doc=470,freq=1.0), product of:
             0.5009995 = queryWeight, product of:
               5.458117 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.009964177 = queryNorm
             0.71968603 = fieldWeight in 470, 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=470)
         1.0730175 = weight(abstract_txt:gödel in 470) [ClassicSimilarity], result of:
           1.0730175 = score(doc=470,freq=5.0), product of:
             0.6781217 = queryWeight, product of:
               7.513495 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.009964177 = queryNorm
             1.5823377 = fieldWeight in 470, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.078125 = fieldNorm(doc=470)
       0.32 = coord(8/25)
   

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

   0.3741797 = sum of:
     0.3741797 = product of:
       3.118164 = sum of:
         0.42878717 = weight(abstract_txt:princeton in 5956) [ClassicSimilarity], result of:
           0.42878717 = score(doc=5956,freq=1.0), product of:
             0.19080874 = queryWeight, product of:
               2.1303616 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.009964177 = queryNorm
             2.2472093 = fieldWeight in 5956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.25 = fieldNorm(doc=5956)
         1.1537994 = weight(abstract_txt:kurt in 5956) [ClassicSimilarity], result of:
           1.1537994 = score(doc=5956,freq=1.0), product of:
             0.5009995 = queryWeight, product of:
               5.458117 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.009964177 = 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.5355777 = weight(abstract_txt:gödel in 5956) [ClassicSimilarity], result of:
           1.5355777 = score(doc=5956,freq=1.0), product of:
             0.6781217 = queryWeight, product of:
               7.513495 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.009964177 = 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.12 = coord(3/25)
   

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

   0.22309573 = sum of:
     0.22309573 = product of:
       1.8591311 = sum of:
         0.17827033 = weight(abstract_txt:mathematiker in 4503) [ClassicSimilarity], result of:
           0.17827033 = score(doc=4503,freq=1.0), product of:
             0.14540179 = queryWeight, product of:
               1.8596835 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.009964177 = queryNorm
             1.2260531 = fieldWeight in 4503, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.15625 = fieldNorm(doc=4503)
         0.7211247 = weight(abstract_txt:kurt in 4503) [ClassicSimilarity], result of:
           0.7211247 = score(doc=4503,freq=1.0), product of:
             0.5009995 = queryWeight, product of:
               5.458117 = boost
               9.211981 = idf(docFreq=11, maxDocs=44218)
               0.009964177 = 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)
         0.9597361 = weight(abstract_txt:gödel in 4503) [ClassicSimilarity], result of:
           0.9597361 = score(doc=4503,freq=1.0), product of:
             0.6781217 = queryWeight, product of:
               7.513495 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.009964177 = 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.12 = coord(3/25)
   

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

   0.1376453 = sum of:
     0.1376453 = product of:
       1.1470442 = sum of:
         0.1764094 = weight(subject_txt:biographie in 5989) [ClassicSimilarity], result of:
           0.1764094 = score(doc=5989,freq=1.0), product of:
             0.09157344 = queryWeight, product of:
               1.0435756 = boost
               8.806516 = idf(docFreq=17, maxDocs=44218)
               0.009964177 = 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.20284599 = weight(abstract_txt:gödels in 5989) [ClassicSimilarity], result of:
           0.20284599 = score(doc=5989,freq=2.0), product of:
             0.11584609 = queryWeight, product of:
               1.1737615 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.009964177 = 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.7677888 = weight(abstract_txt:gödel in 5989) [ClassicSimilarity], result of:
           0.7677888 = score(doc=5989,freq=1.0), product of:
             0.6781217 = queryWeight, product of:
               7.513495 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.009964177 = 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)
   

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

   0.1220024 = sum of:
     0.1220024 = product of:
       1.0166867 = sum of:
         0.122367166 = weight(abstract_txt:bach in 964) [ClassicSimilarity], result of:
           0.122367166 = score(doc=964,freq=1.0), product of:
             0.10420543 = queryWeight, product of:
               1.1132286 = boost
               9.394302 = idf(docFreq=9, maxDocs=44218)
               0.009964177 = queryNorm
             1.1742878 = fieldWeight in 964, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.394302 = idf(docFreq=9, maxDocs=44218)
               0.125 = fieldNorm(doc=964)
         0.12653065 = weight(abstract_txt:escher in 964) [ClassicSimilarity], result of:
           0.12653065 = score(doc=964,freq=1.0), product of:
             0.10655592 = queryWeight, product of:
               1.1257137 = boost
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.009964177 = queryNorm
             1.1874578 = fieldWeight in 964, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.499662 = idf(docFreq=8, maxDocs=44218)
               0.125 = fieldNorm(doc=964)
         0.7677888 = weight(abstract_txt:gödel in 964) [ClassicSimilarity], result of:
           0.7677888 = score(doc=964,freq=1.0), product of:
             0.6781217 = queryWeight, product of:
               7.513495 = boost
               9.05783 = idf(docFreq=13, maxDocs=44218)
               0.009964177 = queryNorm
             1.1322287 = fieldWeight in 964, 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=964)
       0.12 = coord(3/25)