## Psychology Dictionary of ArgumentsHome | |||

| |||

Goedel - Psychology Dictionary of Arguments | |||

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. | |||

Author | Item | More concepts for author | |
---|---|---|---|

Dennett, Daniel | Goedel | Dennett, Daniel | |

Deutsch, David | Goedel | Deutsch, David | |

Field, Hartry | Goedel | Field, Hartry | |

Genz, Hennig | Goedel | Genz, Hennig | |

Mates, Benson | Goedel | Mates, Benson | |

Minsky, Marvin | Goedel | Minsky, Marvin | |

Quine, W.V.O. | Goedel | Quine, Willard Van Orman | |

Vollmer, Gerhard | Goedel | Vollmer, Gerhard | |

Ed. Martin Schulz, access date 2023-12-05 |