Search (2 results, page 1 of 1)
-
×
subject_ss:"Gödelscher Unvollständigkeitssatz"
- Did you mean:
- rswk_00%3a%22Optische T%c3%A4uschung %2f kunst %2f geschichte %2f bildband%22 2
- rswk_00%3a%22Optische T%c3%A4uschung %2f knust %2f geschichte %2f bildband%22 2
- rswk_00%3a%22Optische T%c3%A4uschung %2f kunst %2f geschichte %2f bildrand%22 2
- rswk_00%3a%22Optische T%c3%A4uschung %2f knust %2f geschichte %2f bildrand%22 2
- rswk_00%3a%22Optische T%c3%A4uschung %2f kunst %2f geschichte %2f bildbände%22 2
-
Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.01
0.009900696 = product of: 0.079205565 = sum of: 0.079205565 = weight(_text_:geschichte in 303) [ClassicSimilarity], result of: 0.079205565 = score(doc=303,freq=8.0), product of: 0.15083465 = queryWeight, product of: 4.7528 = idf(docFreq=1036, maxDocs=44218) 0.031735957 = queryNorm 0.5251152 = fieldWeight in 303, product of: 2.828427 = tf(freq=8.0), with freq of: 8.0 = termFreq=8.0 4.7528 = idf(docFreq=1036, maxDocs=44218) 0.0390625 = fieldNorm(doc=303) 0.125 = coord(1/8)
- BK
- 31.01 / Geschichte der Mathematik
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
31.01 / Geschichte der Mathematik - RVK
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
-
Chaitin, G.J.: Algorithmic information theory (1987)
0.00
0.0019238609 = product of: 0.015390887 = sum of: 0.015390887 = product of: 0.04617266 = sum of: 0.04617266 = weight(_text_:t in 4175) [ClassicSimilarity], result of: 0.04617266 = score(doc=4175,freq=4.0), product of: 0.12502089 = queryWeight, product of: 3.9394085 = idf(docFreq=2338, maxDocs=44218) 0.031735957 = queryNorm 0.36931956 = fieldWeight in 4175, product of: 2.0 = tf(freq=4.0), with freq of: 4.0 = termFreq=4.0 3.9394085 = idf(docFreq=2338, maxDocs=44218) 0.046875 = fieldNorm(doc=4175) 0.33333334 = coord(1/3) 0.125 = coord(1/8)
- Classification
- Mat T 1068 / Informationstheorie
- SBB
- Mat T 1068 / Informationstheorie
Authors
Subjects
- Algorithmus / Informatik 1
- Computational complexity 1
- Gödel, Kurt 1
- Gödel, Kurt / Biographie 1
- LISP (Computer program language) 1
- Logicians / Austria / Biography 1
- Logicians / United States / Biography 1
- Machine theory 1
- Metamathematik / LISP 1
- Proof theory 1
- Widerspruchsfreiheit / Beweistheorie / Mathematik 1
- More… Less…
Classifications
- 006.31 1
- 08.25 / Zeitgenössische westliche Philosophie 1
- 08.33 / Logik <Philosophie> 1
- 31.01 / Geschichte der Mathematik 1
- 31.02 (Philosophie und Wissenschaftstheorie der Mathematik) 1
- 31.10 / Mathematische Logik 1
- 510.92 [DDC22ger] 1
- 510/.92 B / dc22 1
- 54.10 (Theoretische Informatik) 1
- Mat T 1068 / Informationstheorie 1
- QA267 1
- QA29.G58G65 2005 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien 1
- SK 130 1
- TVB (E) 1
- TVI (HA) 1
- More… Less…