Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.05
0.053105254 = product of:
0.26552626 = sum of:
0.13276313 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
0.13276313 = score(doc=303,freq=12.0), product of:
0.18517867 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.034950633 = 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.13276313 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
0.13276313 = score(doc=303,freq=12.0), product of:
0.18517867 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.034950633 = 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.2 = coord(2/10)
- 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.04
0.0367924 = product of:
0.183962 = sum of:
0.091981 = weight(_text_:philosophie in 5989) [ClassicSimilarity], result of:
0.091981 = score(doc=5989,freq=4.0), product of:
0.18517867 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.034950633 = 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.091981 = weight(_text_:philosophie in 5989) [ClassicSimilarity], result of:
0.091981 = score(doc=5989,freq=4.0), product of:
0.18517867 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.034950633 = 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.2 = coord(2/10)
- 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