Search (2 results, page 1 of 1)
-
Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.01
0.008768408 = product of: 0.017536815 = sum of: 0.017536815 = product of: 0.03507363 = sum of: 0.03507363 = weight(_text_:j in 5989) [ClassicSimilarity], result of: 0.03507363 = score(doc=5989,freq=2.0), product of: 0.16650963 = queryWeight, product of: 3.1774964 = idf(docFreq=5010, maxDocs=44218) 0.052402776 = queryNorm 0.21064025 = fieldWeight in 5989, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 3.1774964 = idf(docFreq=5010, maxDocs=44218) 0.046875 = fieldNorm(doc=5989) 0.5 = coord(1/2) 0.5 = coord(1/2)
-
Sigmund, K.; Dawson, J.; Mühlberger, K.: Kurt Gödel : Das Album - The Album (2006)
0.01
0.007307006 = product of: 0.014614012 = sum of: 0.014614012 = product of: 0.029228024 = sum of: 0.029228024 = weight(_text_:j in 470) [ClassicSimilarity], result of: 0.029228024 = score(doc=470,freq=2.0), product of: 0.16650963 = queryWeight, product of: 3.1774964 = idf(docFreq=5010, maxDocs=44218) 0.052402776 = queryNorm 0.17553353 = fieldWeight in 470, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 3.1774964 = idf(docFreq=5010, maxDocs=44218) 0.0390625 = fieldNorm(doc=470) 0.5 = coord(1/2) 0.5 = coord(1/2)
Authors
Subjects
Classifications
- 08.33 Logik <Philosophie> 1
- 193 B / dc21 1
- 31.01 / Geschichte der Mathematik 1
- 31.10 / Mathematische Logik / Mengenlehre 1
- 31.10 Mathematische Logik 1
- Mat A 291 / Gödelscher Unvollständigkeitssatz 1
- QA29.G58D39 1997 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go 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…