Search (2 results, page 1 of 1)
-
×
subject_ss:"Logicians / United States / Biography"
-
Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.02
0.016604807 = product of: 0.033209614 = sum of: 0.033209614 = product of: 0.049814418 = sum of: 0.044037405 = weight(_text_:k in 5989) [ClassicSimilarity], result of: 0.044037405 = score(doc=5989,freq=2.0), product of: 0.18609051 = queryWeight, product of: 3.569778 = idf(docFreq=3384, maxDocs=44218) 0.052129436 = queryNorm 0.23664509 = fieldWeight in 5989, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 3.569778 = idf(docFreq=3384, maxDocs=44218) 0.046875 = fieldNorm(doc=5989) 0.0057770116 = weight(_text_:s in 5989) [ClassicSimilarity], result of: 0.0057770116 = score(doc=5989,freq=4.0), product of: 0.056677084 = queryWeight, product of: 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.052129436 = queryNorm 0.101928525 = fieldWeight in 5989, product of: 2.0 = tf(freq=4.0), with freq of: 4.0 = termFreq=4.0 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.046875 = fieldNorm(doc=5989) 0.6666667 = coord(2/3) 0.5 = coord(1/2)
- Biographed
- Gödel, K.
- Footnote
- Rez. in: Mathematical intelligencer 20(1998) no.4, S.61-64 (C.N. Bach)
- Pages
- XIV, 361 S
-
Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.00
5.673561E-4 = product of: 0.0011347122 = sum of: 0.0011347122 = product of: 0.0034041367 = sum of: 0.0034041367 = weight(_text_:s in 303) [ClassicSimilarity], result of: 0.0034041367 = score(doc=303,freq=2.0), product of: 0.056677084 = queryWeight, product of: 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.052129436 = queryNorm 0.060061958 = fieldWeight in 303, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 1.0872376 = idf(docFreq=40523, maxDocs=44218) 0.0390625 = fieldNorm(doc=303) 0.33333334 = coord(1/3) 0.5 = coord(1/2)
- Pages
- 312 S
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…