Search (3 results, page 1 of 1)
-
Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
10.31
10.310593 = weight(rswk_ss:Gödelscher Unvollständigkeitssatz in 303) [ClassicSimilarity], result of: 10.310593 = fieldWeight in 303, product of: 1.0 = tf(freq=1.0), with freq of: 1.0 = termFreq=1.0 10.310593 = idf(docFreq=3, maxDocs=44218) 1.0 = fieldNorm(doc=303)
- Rswk
- Gödelscher Unvollständigkeitssatz
- Subject
- Gödelscher Unvollständigkeitssatz
-
Chaitin, G.J.: Algorithmic information theory (1987)
10.31
10.310593 = weight(rswk_ss:Gödelscher Unvollständigkeitssatz in 4175) [ClassicSimilarity], result of: 10.310593 = fieldWeight in 4175, product of: 1.0 = tf(freq=1.0), with freq of: 1.0 = termFreq=1.0 10.310593 = idf(docFreq=3, maxDocs=44218) 1.0 = fieldNorm(doc=4175)
- Rswk
- Gödelscher Unvollständigkeitssatz
- Subject
- Gödelscher Unvollständigkeitssatz
-
Penrose, R.: Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins (1995)
10.31
10.310593 = weight(rswk_ss:Gödelscher Unvollständigkeitssatz in 4450) [ClassicSimilarity], result of: 10.310593 = fieldWeight in 4450, product of: 1.0 = tf(freq=1.0), with freq of: 1.0 = termFreq=1.0 10.310593 = idf(docFreq=3, maxDocs=44218) 1.0 = fieldNorm(doc=4450)
- Rswk
- Gödelscher Unvollständigkeitssatz
- Subject
- Gödelscher Unvollständigkeitssatz
Authors
Subjects
- Gödelscher Unvollständigkeitssatz 3
- Algorithmus / Informatik 1
- Artificial Intelligence 1
- Artificial intelligence 1
- Bewusstsein 1
- Brain / physiology 1
- Computational complexity 1
- Godel's theorem 1
- Gödel, Kurt 1
- Gödel, Kurt / Biographie 1
- Künstliche Intelligenz 1
- LISP (Computer program language) 1
- Logicians / Austria / Biography 1
- Logicians / United States / Biography 1
- Machine theory 1
- Mental Processes 1
- Messprozess 1
- Metamathematik / LISP 1
- Models, Neurological 1
- Physics / Philosophy 1
- Proof theory 1
- Quantengravitation 1
- Quantenmechanik 1
- Quantum theory 1
- Thought and thinking 1
- Widerspruchsfreiheit / Beweistheorie / Mathematik 1
- More… Less…
Classifications
- 006.3 1
- 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
- 33.02 (Philosophie der Physik) 1
- 510.92 [DDC22ger] 1
- 510/.92 B / dc22 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
- QA29.G58G65 2005 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien 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…