Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.08
0.083479665 = product of:
0.33391866 = sum of:
0.050598588 = product of:
0.101197176 = sum of:
0.101197176 = weight(_text_:mathematik in 5989) [ClassicSimilarity], result of:
0.101197176 = score(doc=5989,freq=12.0), product of:
0.111489825 = queryWeight, product of:
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.019944998 = queryNorm
0.9076808 = fieldWeight in 5989, product of:
3.4641016 = tf(freq=12.0), with freq of:
12.0 = termFreq=12.0
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.5 = coord(1/2)
0.13152431 = weight(_text_:mathematische in 5989) [ClassicSimilarity], result of:
0.13152431 = score(doc=5989,freq=8.0), product of:
0.14066203 = queryWeight, product of:
7.0524964 = idf(docFreq=103, maxDocs=44218)
0.019944998 = queryNorm
0.93503773 = fieldWeight in 5989, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
7.0524964 = idf(docFreq=103, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.050598588 = product of:
0.101197176 = sum of:
0.101197176 = weight(_text_:mathematik in 5989) [ClassicSimilarity], result of:
0.101197176 = score(doc=5989,freq=12.0), product of:
0.111489825 = queryWeight, product of:
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.019944998 = queryNorm
0.9076808 = fieldWeight in 5989, product of:
3.4641016 = tf(freq=12.0), with freq of:
12.0 = termFreq=12.0
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.5 = coord(1/2)
0.101197176 = weight(_text_:mathematik in 5989) [ClassicSimilarity], result of:
0.101197176 = score(doc=5989,freq=12.0), product of:
0.111489825 = queryWeight, product of:
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.019944998 = queryNorm
0.9076808 = fieldWeight in 5989, product of:
3.4641016 = tf(freq=12.0), with freq of:
12.0 = termFreq=12.0
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.046875 = fieldNorm(doc=5989)
0.25 = coord(4/16)
- BK
- 31.10 / Mathematische Logik / Mengenlehre
31.01 / Geschichte der Mathematik
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
31.10 / Mathematische Logik / Mengenlehre
31.01 / Geschichte der Mathematik
- RSWK
- Gödel, Kurt / Mathematische Logik (GBV)
- RVK
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
- Subject
- Gödel, Kurt / Mathematische Logik (GBV)
Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.07
0.06806387 = product of:
0.27225548 = sum of:
0.048688516 = product of:
0.09737703 = sum of:
0.09737703 = weight(_text_:mathematik in 303) [ClassicSimilarity], result of:
0.09737703 = score(doc=303,freq=16.0), product of:
0.111489825 = queryWeight, product of:
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.019944998 = queryNorm
0.8734163 = fieldWeight in 303, product of:
4.0 = tf(freq=16.0), with freq of:
16.0 = termFreq=16.0
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.0390625 = fieldNorm(doc=303)
0.5 = coord(1/2)
0.07750144 = weight(_text_:mathematische in 303) [ClassicSimilarity], result of:
0.07750144 = score(doc=303,freq=4.0), product of:
0.14066203 = queryWeight, product of:
7.0524964 = idf(docFreq=103, maxDocs=44218)
0.019944998 = queryNorm
0.5509763 = fieldWeight in 303, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
7.0524964 = idf(docFreq=103, maxDocs=44218)
0.0390625 = fieldNorm(doc=303)
0.048688516 = product of:
0.09737703 = sum of:
0.09737703 = weight(_text_:mathematik in 303) [ClassicSimilarity], result of:
0.09737703 = score(doc=303,freq=16.0), product of:
0.111489825 = queryWeight, product of:
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.019944998 = queryNorm
0.8734163 = fieldWeight in 303, product of:
4.0 = tf(freq=16.0), with freq of:
16.0 = termFreq=16.0
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.0390625 = fieldNorm(doc=303)
0.5 = coord(1/2)
0.09737703 = weight(_text_:mathematik in 303) [ClassicSimilarity], result of:
0.09737703 = score(doc=303,freq=16.0), product of:
0.111489825 = queryWeight, product of:
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.019944998 = queryNorm
0.8734163 = fieldWeight in 303, product of:
4.0 = tf(freq=16.0), with freq of:
16.0 = termFreq=16.0
5.5898643 = idf(docFreq=448, maxDocs=44218)
0.0390625 = fieldNorm(doc=303)
0.25 = coord(4/16)
- BK
- 31.10 / Mathematische Logik
31.01 / Geschichte der Mathematik
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
31.10 / Mathematische Logik
31.01 / Geschichte der Mathematik
- RSWK
- Widerspruchsfreiheit / Beweistheorie / Mathematik
- RVK
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
- Subject
- Widerspruchsfreiheit / Beweistheorie / Mathematik