Search (2 results, page 1 of 1)
-
×
subject_ss:"Gödelscher Unvollständigkeitssatz"
- Did you mean:
- themes%3a%22Klassifikationssysteme im online-retrieval%22 2
-
Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007)
0.01
0.010617403 = product of: 0.031852208 = sum of: 0.031852208 = weight(_text_:im in 303) [ClassicSimilarity], result of: 0.031852208 = score(doc=303,freq=4.0), product of: 0.1442303 = queryWeight, product of: 2.8267863 = idf(docFreq=7115, maxDocs=44218) 0.051022716 = queryNorm 0.22084267 = fieldWeight in 303, product of: 2.0 = tf(freq=4.0), with freq of: 4.0 = termFreq=4.0 2.8267863 = idf(docFreq=7115, maxDocs=44218) 0.0390625 = fieldNorm(doc=303) 0.33333334 = coord(1/3)
- Abstract
- »Gödel, Escher, Bach« war der Titel eines Kultbuchs der achtziger Jahre. Wer war eigentlich Kurt Gödel, der 1906 in Brünn geboren wurde? Ein Jahrhundertgenie als Mathematiker, der größte Logiker seit Aristoteles, ein enger Freund und wichtiger Gesprächspartner von Albert Einstein in Princeton. Im Jahr 1931 formulierte Gödel den Unvollständigkeitssatz, der die Mathematiker schockierte. Er besagt im Kern, daß es keine vollständigen Theorien geben kann. Gödels Entdeckung steht auf einer Stufe mit Einsteins Relativitätstheorien und Heisenbergs Unbestimmtheitsrelation. Rebecca Goldstein, Philosophin und Autorin mehrerer Romane aus dem Wissenschaftsmilieu, zeigt, warum Kurt Gödel, der 1978 in Princeton starb, zu den größten Genies der Menschheit gerechnet wird. Sie erzählt von einer außergewöhnlichen Persönlichkeit, die skurrile und später auch paranoide Züge trug.
-
Penrose, R.: Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins (1995)
0.01
0.007507637 = product of: 0.022522911 = sum of: 0.022522911 = weight(_text_:im in 4450) [ClassicSimilarity], result of: 0.022522911 = score(doc=4450,freq=2.0), product of: 0.1442303 = queryWeight, product of: 2.8267863 = idf(docFreq=7115, maxDocs=44218) 0.051022716 = queryNorm 0.15615936 = fieldWeight in 4450, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 2.8267863 = idf(docFreq=7115, maxDocs=44218) 0.0390625 = fieldNorm(doc=4450) 0.33333334 = coord(1/3)
- Abstract
- Computer haben merkwürdige Eigenschaften. Sie erledigen eine Menge komplexer Aufgaben schneller, geauer und zuverlässiger als der Mensch. Mit relativ simplen Fähigkeiten, die wir intuitiv einsetzen, haben sie jedoch zu kämpfen. Und bei Verstehen, Intelligenz und Bewußtsein versagen sie völlig. Der menschliche Geist läßt sich prinzipiell rechnerisch nicht angemessen simulieren, behauptet der Autor. Dennoch sind es physikalische Prozesse im Gehirn, die das Bewußtsein ausmachen. Er fordert in der Fortsetzung der Diskussion um 'Computerdenken' eine neue, eine nicht-rechnerische 'Physik des Bewußtseins' für die Beschreibung des Geistes, die eine Art Verallgemeinerung der Quantenmechanik sein könnte. Er entwirft schließlich ein eigenens Modell für das Gehirn, in dem die heute bekannten Vorgänge nur die Schatten eines tieferen Phänomens, des Geistes sind
Authors
Subjects
- Artificial Intelligence 1
- Artificial intelligence 1
- Bewusstsein 1
- Brain / physiology 1
- Godel's theorem 1
- Gödel, Kurt 1
- Gödel, Kurt / Biographie 1
- Künstliche Intelligenz 1
- Logicians / Austria / Biography 1
- Logicians / United States / Biography 1
- Mental Processes 1
- Messprozess 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
- 08.25 / Zeitgenössische westliche Philosophie 1
- 08.33 / Logik <Philosophie> 1
- 31.01 / Geschichte der Mathematik 1
- 31.10 / Mathematische Logik 1
- 33.02 (Philosophie der Physik) 1
- 510.92 [DDC22ger] 1
- 510/.92 B / dc22 1
- 77.31 (Kognition) 1
- CC 5200 1
- CP 2500 1
- MR 6200 1
- Nat B 72 1
- QA29.G58G65 2005 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien 1
- ST 285 1
- ST 300 1
- TBP (SI) 1
- TVC (PB) 1
- UAQ (PB) 1
- UAS (SI) 1
- UAZ (E) 1
- UB 6000 1
- Uap 1
- VOA (SI) 1
- VVN (SI) 1
- More… Less…