Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.05
0.051281508 = product of:
0.25640753 = sum of:
0.12820376 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
0.12820376 = score(doc=303,freq=12.0), product of:
0.17881922 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.03375035 = 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.12820376 = weight(_text_:philosophie in 303) [ClassicSimilarity], result of:
0.12820376 = score(doc=303,freq=12.0), product of:
0.17881922 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.03375035 = 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.03552887 = product of:
0.17764434 = sum of:
0.08882217 = weight(_text_:philosophie in 5989) [ClassicSimilarity], result of:
0.08882217 = score(doc=5989,freq=4.0), product of:
0.17881922 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.03375035 = 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.08882217 = weight(_text_:philosophie in 5989) [ClassicSimilarity], result of:
0.08882217 = score(doc=5989,freq=4.0), product of:
0.17881922 = queryWeight, product of:
5.298292 = idf(docFreq=600, maxDocs=44218)
0.03375035 = 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