Search (2 results, page 1 of 1)
-
×
subject_ss:"Gödelscher Unvollständigkeitssatz"
- Did you mean:
- bliss%3a%2254.10 %28Theoretische informatik%29%22 2
- bliss%3a%2224.10 %28Theoretische informatik%29%22 2
- bross%3a%2254.10 %28Theoretische informatik%29%22 2
- bliss%3a%2214.10 %28Theoretische informatik%29%22 2
- bloss%3a%2254.10 %28Theoretische informatik%29%22 2
-
Chaitin, G.J.: Algorithmic information theory (1987)
0.02
0.018573623 = product of: 0.055720866 = sum of: 0.055720866 = product of: 0.1671626 = sum of: 0.1671626 = weight(_text_:informatik in 4175) [ClassicSimilarity], result of: 0.1671626 = score(doc=4175,freq=10.0), product of: 0.22101259 = queryWeight, product of: 5.1024737 = idf(docFreq=730, maxDocs=44218) 0.043314792 = queryNorm 0.7563487 = fieldWeight in 4175, product of: 3.1622777 = tf(freq=10.0), with freq of: 10.0 = termFreq=10.0 5.1024737 = idf(docFreq=730, maxDocs=44218) 0.046875 = fieldNorm(doc=4175) 0.33333334 = coord(1/3) 0.33333334 = coord(1/3)
- BK
- 54.10 (Theoretische Informatik)
- Classification
- 54.10 (Theoretische Informatik)
- Field
- Informatik
- RSWK
- Algorithmus / Informatik
- Subject
- Algorithmus / Informatik
-
Penrose, R.: Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins (1995)
0.01
0.00692198 = product of: 0.02076594 = sum of: 0.02076594 = product of: 0.062297817 = sum of: 0.062297817 = weight(_text_:informatik in 4450) [ClassicSimilarity], result of: 0.062297817 = score(doc=4450,freq=2.0), product of: 0.22101259 = queryWeight, product of: 5.1024737 = idf(docFreq=730, maxDocs=44218) 0.043314792 = queryNorm 0.2818745 = fieldWeight in 4450, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 5.1024737 = idf(docFreq=730, maxDocs=44218) 0.0390625 = fieldNorm(doc=4450) 0.33333334 = coord(1/3) 0.33333334 = coord(1/3)
- Field
- Informatik
Authors
Subjects
- Algorithmus / Informatik 1
- Artificial Intelligence 1
- Artificial intelligence 1
- Bewusstsein 1
- Brain / physiology 1
- Computational complexity 1
- Godel's theorem 1
- Künstliche Intelligenz 1
- LISP (Computer program language) 1
- Machine theory 1
- Mental Processes 1
- Messprozess 1
- Metamathematik / LISP 1
- Models, Neurological 1
- Physics / Philosophy 1
- Quantengravitation 1
- Quantenmechanik 1
- Quantum theory 1
- Thought and thinking 1
- More… Less…
Classifications
- 006.3 1
- 006.31 1
- 31.02 (Philosophie und Wissenschaftstheorie der Mathematik) 1
- 33.02 (Philosophie der Physik) 1
- 54.10 (Theoretische Informatik) 1
- 77.31 (Kognition) 1
- CC 5200 1
- CP 2500 1
- MR 6200 1
- Mat T 1068 / Informationstheorie 1
- Nat B 72 1
- QA267 1
- SK 130 1
- ST 285 1
- ST 300 1
- TBP (SI) 1
- TVB (E) 1
- TVC (PB) 1
- TVI (HA) 1
- UAQ (PB) 1
- UAS (SI) 1
- UAZ (E) 1
- UB 6000 1
- Uap 1
- VOA (SI) 1
- VVN (SI) 1
- More… Less…