Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.05
0.046467196 = product of:
0.25556958 = sum of:
0.12778479 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
0.12778479 = score(doc=303,freq=12.0), product of:
0.17823483 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.033640053 = queryNorm
0.7169462 = fieldWeight in 303, product of:
3.4641016 = tf(freq=12.0), with freq of:
12.0 = termFreq=12.0
5.298292 = idf(docFreq=600, maxDocs=44218)
0.0390625 = fieldNorm(doc=303)
0.12778479 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
0.12778479 = score(doc=303,freq=12.0), product of:
0.17823483 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.033640053 = queryNorm
0.7169462 = fieldWeight in 303, product of:
3.4641016 = tf(freq=12.0), with freq of:
12.0 = termFreq=12.0
5.298292 = idf(docFreq=600, maxDocs=44218)
0.0390625 = fieldNorm(doc=303)
0.18181819 = coord(2/11)
- BK
- 08.25 / Zeitgenössische westliche Philosophie
08.33 / Logik <Philosophie>
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
08.25 / Zeitgenössische westliche Philosophie
08.33 / Logik <Philosophie>
- RVK
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.03
0.03219342 = product of:
0.1770638 = sum of:
0.0885319 = weight(_text_:philosophie in 5989) [ClassicSimilarity], result of:
0.0885319 = score(doc=5989,freq=4.0), product of:
0.17823483 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.033640053 = queryNorm
0.4967149 = fieldWeight in 5989, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
5.298292 = idf(docFreq=600, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.0885319 = weight(_text_:philosophie in 5989) [ClassicSimilarity], result of:
0.0885319 = score(doc=5989,freq=4.0), product of:
0.17823483 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.033640053 = queryNorm
0.4967149 = fieldWeight in 5989, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
5.298292 = idf(docFreq=600, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.18181819 = coord(2/11)
- 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
