|Kurt Gödel: Kurt Gödel (1906 – 1978) was a logician, mathematician, and philosopher. He is best known for his incompleteness theorems, which show that within any axiomatic system powerful enough to express basic arithmetic, there will always be statements that can neither be proven nor disproven within that system. Major works are "On Formally Undecidable Propositions of Principia Mathematica and Related Systems" (1931), "Consistency-Proof for the Generally Covariant Gravitational Field Equations" (1939), "What is Cantor's Continuum Problem?" (1947), "Russell's Mathematical Logic" (1951), "On Undecidable Propositions of Formal Mathematical Systems" (1956). See also Incompleteness, Completeness, Proofs, Provability.
_____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
Marvin Minsky on Goedel - Dictionary of Arguments
Münch III 129
Gödel/Minsky: his results are not applicable to human life at all.
Cf. >Regis Debray, >A. Sokal, >K. Gödel.
Marvin Minsky, “A framework for representing knowledge” in: John Haugeland (Ed) Mind, design, Montgomery 1981, pp. 95-128_____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
The Society of Mind New York 1985
Semantic Information Processing Cambridge, MA 2003
D. Münch (Hrsg.)
Kognitionswissenschaft Frankfurt 1992