Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.01
0.010879458 = product of:
0.027198644 = sum of:
0.006633367 = weight(_text_:a in 5989) [ClassicSimilarity], result of:
0.006633367 = score(doc=5989,freq=12.0), product of:
0.035428695 = queryWeight, product of:
1.153047 = idf(docFreq=37942, maxDocs=44218)
0.03072615 = queryNorm
0.18723148 = fieldWeight in 5989, product of:
3.4641016 = tf(freq=12.0), with freq of:
12.0 = termFreq=12.0
1.153047 = idf(docFreq=37942, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.020565277 = weight(_text_:j in 5989) [ClassicSimilarity], result of:
0.020565277 = score(doc=5989,freq=2.0), product of:
0.09763223 = queryWeight, product of:
3.1774964 = idf(docFreq=5010, maxDocs=44218)
0.03072615 = 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.4 = coord(2/5)
- Classification
- Mat A 291 / Gödelscher Unvollständigkeitssatz
a a Gödel, Kurt / <66>
- SBB
- Mat A 291 / Gödelscher Unvollständigkeitssatz
a a Gödel, Kurt / <66>