Search (2 results, page 1 of 1)
-
×
subject_ss:"Gödel, Kurt"
- Did you mean:
- bliss%3a%2231.80 %2f angewandte mathematik%22 2
- bliss%3a%2131.80 %2f angewandte mathematik%22 2
- bliss%3a%2231.80 %2f angewandten mathematik%22 2
- bross%3a%2231.80 %2f angewandte mathematik%22 2
- bross%3a%2131.80 %2f angewandte mathematik%22 2
-
Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.03
0.028101986 = product of: 0.112407945 = sum of: 0.112407945 = product of: 0.22481589 = sum of: 0.22481589 = weight(_text_:mathematik in 5989) [ClassicSimilarity], result of: 0.22481589 = score(doc=5989,freq=12.0), product of: 0.24768166 = queryWeight, product of: 5.5898643 = idf(docFreq=448, maxDocs=44218) 0.044309065 = 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.25 = coord(1/4)
- BK
- 31.01 / Geschichte der Mathematik
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
31.01 / Geschichte der Mathematik - RVK
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
-
Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.03
0.02704115 = product of: 0.1081646 = sum of: 0.1081646 = product of: 0.2163292 = sum of: 0.2163292 = weight(_text_:mathematik in 303) [ClassicSimilarity], result of: 0.2163292 = score(doc=303,freq=16.0), product of: 0.24768166 = queryWeight, product of: 5.5898643 = idf(docFreq=448, maxDocs=44218) 0.044309065 = 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.25 = coord(1/4)
- BK
- 31.01 / Geschichte der Mathematik
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
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
Authors
Subjects
Classifications
- 31.01 / Geschichte der Mathematik 2
- 08.25 / Zeitgenössische westliche Philosophie 1
- 08.33 / Logik <Philosophie> 1
- 193 B / dc21 1
- 31.10 / Mathematische Logik 1
- 31.10 / Mathematische Logik / Mengenlehre 1
- 510.92 [DDC22ger] 1
- 510/.92 B / dc22 1
- Mat A 291 / Gödelscher Unvollständigkeitssatz 1
- QA29.G58D39 1997 1
- QA29.G58G65 2005 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go 1
- TASG (DU) 1
- a a Gödel, Kurt / <66> 1
- More… Less…