array(6) { ["spalte"]=> string(7) "Dennett" ["id"]=> string(6) "227459" ["zeile"]=> string(6) "Goedel" ["vorname"]=> string(6) "Daniel" ["fachgebiet"]=> string(4) "phil" ["intros"]=> string(730) "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. " }