* Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.
Godel's Incompleteness Theorems
Juliette Kennedy
* Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.
Sachbuch / Philosophie: Allgemeines, Nachschlagewerke
Beschreibung
This Element takes a deep dive into Godel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Godel's proof: arithmetization, strong representability, and the Fixed Point Theorem in a layered fashion, returning to their various aspects: semantic, syntactic, computational, philosophical and mathematical, as the topic arises. It samples some of the most important proofs of the Incompleteness Theorems, e.g. due to Kuratowski, Smullyan and Robinson, as well as newer proofs, also of other independent statements, due to H. Friedman, Weiermann and Paris-Harrington. It examines the question whether the incompleteness of e.g. Peano Arithmetic gives immediately the undecidability of the Entscheidungsproblem, as Kripke has recently argued. It considers set-theoretical incompleteness, and finally considers some of the philosophical consequences considered in the literature.
![Cover "e;The Unthinkable"e; in Ethics, History and Philosophical Anthropology](https://cdn.libreka.de/cover/c3eef4c7-0e90-42be-99e2-feb9bdca12ce/m ""e;The Unthinkable"e; in Ethics, History and Philosophical Anthropology")
![Cover "e;The Unthinkable"e; in Ethics, History and Philosophical Anthropology](https://cdn.libreka.de/cover/1add594b-4e6f-4b1e-810c-fa0d25de9393/m ""e;The Unthinkable"e; in Ethics, History and Philosophical Anthropology")
