Philosophie Lexikon der ArgumenteHome | |||
| |||
Kurt Gödel: Kurt Gödel (1906 - 1978) war ein Logiker, Mathematiker und Philosoph. Am bekanntesten ist er für seine Unvollständigkeitssätze, die zeigen, dass es in jedem axiomatischen System, das stark genug ist, um die Grundrechenarten auszudrücken, immer Aussagen geben wird, die in diesem System weder bewiesen noch widerlegt werden können. Wichtige Werke sind Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (1931),
Beweis der Widerspruchsfreiheit des allgemeinen relativistischen Gravitationsfeldes (1939), Was ist Cantors Kontinuumproblem? (1947), Russells mathematische Logik (1951), Über unentscheidbare Sätze in formalen Systemen der Mathematik (1956). Siehe auch Unvollständigkeit, Vollständigkeit, Beweise, Beweisbarkeit._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Marvin Minsky über Gödel – Lexikon der Argumente
Münch III 129 Gödel/Minsky: Gödels Ergebnisse sind auf das menschliche Leben überhaupt nicht anwendbar. >Unvollständigkeit, >Vollständigkeit. Vgl. >Regis Debray, >A. Sokal. Marvin Minsky, “A framework for representing knowledge” in: John Haugeland (Ed) Mind, design, Montgomery 1981, pp. 95-128 - dt.: Marvin Minsky Eine Rahmenstruktur für die Wissensrepräsentation 1981 in Dieter Münch (Hrsg.) Kognitionswissenschaft Frankfurt 1992_____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Minsky I Marvin Minsky The Society of Mind New York 1985 Minsky II Marvin Minsky Semantic Information Processing Cambridge, MA 2003 Mü III D. Münch (Hrsg.) Kognitionswissenschaft Frankfurt 1992 |