Search (2 results, page 1 of 1)
- Did you mean:
- bloss%3a%2020.33 %2f logik %3CPhilosophie%3E%22 2
- blass%3a%2020.33 %2f logik %3CPhilosophie%3E%22 2
- bless%3a%2020.33 %2f logik %3CPhilosophie%3E%22 2
-
Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.07
0.06648695 = product of: 0.2659478 = sum of: 0.2659478 = weight(_text_:logik in 5989) [ClassicSimilarity], result of: 0.2659478 = score(doc=5989,freq=10.0), product of: 0.2638803 = queryWeight, product of: 6.7990475 = idf(docFreq=133, maxDocs=44218) 0.038811367 = queryNorm 1.0078349 = fieldWeight in 5989, product of: 3.1622777 = tf(freq=10.0), with freq of: 10.0 = termFreq=10.0 6.7990475 = idf(docFreq=133, maxDocs=44218) 0.046875 = fieldNorm(doc=5989) 0.25 = coord(1/4)
- 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.10 / Mathematische Logik / Mengenlehre
- Classification
- 31.10 / Mathematische Logik / Mengenlehre
- RSWK
- Gödel, Kurt / Mathematische Logik (GBV)
- Subject
- Gödel, Kurt / Mathematische Logik (GBV)
-
Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.05
0.049556438 = product of: 0.19822575 = sum of: 0.19822575 = weight(_text_:logik in 303) [ClassicSimilarity], result of: 0.19822575 = score(doc=303,freq=8.0), product of: 0.2638803 = queryWeight, product of: 6.7990475 = idf(docFreq=133, maxDocs=44218) 0.038811367 = queryNorm 0.75119567 = fieldWeight in 303, product of: 2.828427 = tf(freq=8.0), with freq of: 8.0 = termFreq=8.0 6.7990475 = idf(docFreq=133, maxDocs=44218) 0.0390625 = fieldNorm(doc=303) 0.25 = coord(1/4)
- BK
- 08.33 / Logik <Philosophie>
31.10 / Mathematische Logik - Classification
- 08.33 / Logik <Philosophie>
31.10 / Mathematische Logik
Authors
Subjects
Classifications
- 31.01 / Geschichte der Mathematik 2
- 08.25 / Zeitgenössische westliche Philosophie 1
- 08.33 / Logik <Philosophie> 1
- 193 B / dc21 1
- 31.10 / Mathematische Logik 1
- 31.10 / Mathematische Logik / Mengenlehre 1
- 510.92 [DDC22ger] 1
- 510/.92 B / dc22 1
- Mat A 291 / Gödelscher Unvollständigkeitssatz 1
- QA29.G58D39 1997 1
- QA29.G58G65 2005 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go 1
- TASG (DU) 1
- a a Gödel, Kurt / <66> 1
- More… Less…