Search (2 results, page 1 of 1)
- Did you mean:
- object's%3a%22Sears list of subject headings%22 2
- objects%3a%22Sears list of subject headings%22 2
-
Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.00
0.00185687 = product of: 0.00928435 = sum of: 0.00928435 = weight(_text_:of in 303) [ClassicSimilarity], result of: 0.00928435 = score(doc=303,freq=4.0), product of: 0.07599624 = queryWeight, product of: 1.5637573 = idf(docFreq=25162, maxDocs=44218) 0.04859849 = queryNorm 0.12216854 = fieldWeight in 303, product of: 2.0 = tf(freq=4.0), with freq of: 4.0 = termFreq=4.0 1.5637573 = idf(docFreq=25162, maxDocs=44218) 0.0390625 = fieldNorm(doc=303) 0.2 = coord(1/5)
- Content
- A Platonist among the positivists -- Hilbert and the formalists -- The proof of incompleteness -- Gödel's incompleteness.
- Footnote
- Originaltitel: Incompleteness - the proof and paradox of Kurt Gödel <dt.>
-
Poundstone, W.: Im Labyrinth des Denkens : Wenn Logik nicht weiterkommt: Paradoxien, Zwickmühlen, Sackgassen, Rätsel, und die Hinfälligkeit des Wissens (1992)
0.00
0.0013130055 = product of: 0.006565027 = sum of: 0.006565027 = weight(_text_:of in 709) [ClassicSimilarity], result of: 0.006565027 = score(doc=709,freq=2.0), product of: 0.07599624 = queryWeight, product of: 1.5637573 = idf(docFreq=25162, maxDocs=44218) 0.04859849 = queryNorm 0.086386204 = fieldWeight in 709, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 1.5637573 = idf(docFreq=25162, maxDocs=44218) 0.0390625 = fieldNorm(doc=709) 0.2 = coord(1/5)
- Footnote
- Originaltitel: Labyrinths of reason <dt.>
Authors
Subjects
Classifications
- 08.25 / Zeitgenössische westliche Philosophie 1
- 08.32 / Erkenntnistheorie 1
- 31.01 / Geschichte der Mathematik 1
- 31.10 / Mathematische Logik 1
- 510.92 [DDC22ger] 1
- 510/.92 B / dc22 1
- CC 2400 Philosophie / Systematische Philosophie / Logik / Einführungen, Handbücher, Sammelbände und Bibliographien 1
- CC 2600 Philosophie / Systematische Philosophie / Logik / Abhandlungen zur Logik und mathematischen Grundlagenforschung 1
- CC 4000 Philosophie / Systematische Philosophie / Erkenntnistheorie / Geschichte der Erkenntnistheorie 1
- QA29.G58G65 2005 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien 1
- More… Less…