Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.01
0.011596648 = product of:
0.069579884 = sum of:
0.015994716 = weight(_text_:und in 5989) [ClassicSimilarity], result of:
0.015994716 = score(doc=5989,freq=10.0), product of:
0.04868482 = queryWeight, product of:
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.021966046 = queryNorm
0.328536 = fieldWeight in 5989, product of:
3.1622777 = tf(freq=10.0), with freq of:
10.0 = termFreq=10.0
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.015793033 = weight(_text_:des in 5989) [ClassicSimilarity], result of:
0.015793033 = score(doc=5989,freq=4.0), product of:
0.06083074 = queryWeight, product of:
2.7693076 = idf(docFreq=7536, maxDocs=44218)
0.021966046 = queryNorm
0.25962257 = fieldWeight in 5989, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.7693076 = idf(docFreq=7536, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.021797419 = weight(_text_:der in 5989) [ClassicSimilarity], result of:
0.021797419 = score(doc=5989,freq=18.0), product of:
0.049067024 = queryWeight, product of:
2.2337668 = idf(docFreq=12875, maxDocs=44218)
0.021966046 = queryNorm
0.44423765 = fieldWeight in 5989, product of:
4.2426405 = tf(freq=18.0), with freq of:
18.0 = termFreq=18.0
2.2337668 = idf(docFreq=12875, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.015994716 = weight(_text_:und in 5989) [ClassicSimilarity], result of:
0.015994716 = score(doc=5989,freq=10.0), product of:
0.04868482 = queryWeight, product of:
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.021966046 = queryNorm
0.328536 = fieldWeight in 5989, product of:
3.1622777 = tf(freq=10.0), with freq of:
10.0 = termFreq=10.0
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.16666667 = coord(4/24)
- Abstract
- Die Biographie von Dawson, einem der Mitherausgeber der Gesammelten Werke Gödels, stützt sich auf ein intensives Studium des Nachlasses und zahlreiche Interviews mit Experten und Zeitgenossen Gödels. Sie verbindet eine umfassende Darstellung des persönlichen und kulturellen Hintergrundes mit einer integrierten Geschichte der Logik im 20. Jahrhundert, einer Geschichte, in der Gödel einer der Hauptdarsteller war
- BK
- 31.01 / Geschichte der Mathematik
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
31.01 / Geschichte der Mathematik
- RVK
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
Sigmund, K.; Dawson, J.; Mühlberger, K.: Kurt Gödel : Das Album - The Album (2006)
0.01
0.011028978 = product of:
0.06617387 = sum of:
0.015771002 = weight(_text_:und in 470) [ClassicSimilarity], result of:
0.015771002 = score(doc=470,freq=14.0), product of:
0.04868482 = queryWeight, product of:
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.021966046 = queryNorm
0.32394084 = fieldWeight in 470, product of:
3.7416575 = tf(freq=14.0), with freq of:
14.0 = termFreq=14.0
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.0390625 = fieldNorm(doc=470)
0.01861227 = weight(_text_:des in 470) [ClassicSimilarity], result of:
0.01861227 = score(doc=470,freq=8.0), product of:
0.06083074 = queryWeight, product of:
2.7693076 = idf(docFreq=7536, maxDocs=44218)
0.021966046 = queryNorm
0.30596817 = fieldWeight in 470, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
2.7693076 = idf(docFreq=7536, maxDocs=44218)
0.0390625 = fieldNorm(doc=470)
0.016019598 = weight(_text_:der in 470) [ClassicSimilarity], result of:
0.016019598 = score(doc=470,freq=14.0), product of:
0.049067024 = queryWeight, product of:
2.2337668 = idf(docFreq=12875, maxDocs=44218)
0.021966046 = queryNorm
0.326484 = fieldWeight in 470, product of:
3.7416575 = tf(freq=14.0), with freq of:
14.0 = termFreq=14.0
2.2337668 = idf(docFreq=12875, maxDocs=44218)
0.0390625 = fieldNorm(doc=470)
0.015771002 = weight(_text_:und in 470) [ClassicSimilarity], result of:
0.015771002 = score(doc=470,freq=14.0), product of:
0.04868482 = queryWeight, product of:
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.021966046 = queryNorm
0.32394084 = fieldWeight in 470, product of:
3.7416575 = tf(freq=14.0), with freq of:
14.0 = termFreq=14.0
2.216367 = idf(docFreq=13101, maxDocs=44218)
0.0390625 = fieldNorm(doc=470)
0.16666667 = coord(4/24)
- 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.
- Classification
- SG 174 [Mathematik # Biographien, Geschichte und Philosophie der Mathematik # Biographien # Einzelbiographien # gm - go]
- RVK
- SG 174 [Mathematik # Biographien, Geschichte und Philosophie der Mathematik # Biographien # Einzelbiographien # gm - go]
