Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Godel's Incompleteness Theorems
Engelsk
Foto på vej
Specifikationer
Sprog:
Engelsk
Sider:
75
ISBN-13:
9781108986991
Indbinding:
Paperback
ISBN-10:
1108986994
Kategori:
Udg. Dato:
14 apr 2022
Størrelse i cm:
15,1 x 22,8 x 0,9
Serie:
Elements in Philosophy and Logic
Oplagsdato:
14 apr 2022
Forfatter(e):

Godel's Incompleteness Theorems

Engelsk
Paperback 2022
Format:

Bog beskrivelse
This Element takes a deep dive into Gödel''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 Gödel''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.
... Vis mere

Hos Booktok
226 kr
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
75
ISBN-13:
9781108986991
Indbinding:
Paperback
ISBN-10:
1108986994
Kategori:
Udg. Dato:
14 apr 2022
Størrelse i cm:
15,1 x 22,8 x 0,9
Serie:
Elements in Philosophy and Logic
Oplagsdato:
14 apr 2022
Forfatter(e):
Finder produkter...
Kategori sammenhænge