Kennedy, Juliette
Goedel's Incompleteness Theorems (Elements in Philosophy and Logic)
- ISBN 13:
- 9781108986991
- author:
- Kennedy, Juliette
- format:
- Paperback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 2022
- Pages:
- 75
- Dimensions:
- 22.9 x 15.1 x 0.5 centimetres (0
- Genre:
- Nonfiction, Philosophy, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
Gödel's Incompleteness Theorems by Juliette Kennedy provides an in-depth exploration of Kurt Gödel's groundbreaking 1931 paper. This Element delves into the key components of Gödel's proof, including arithmetization, strong representability, and the Fixed Point Theorem, examining their significance across various disciplines such as philosophy, mathematics, and logic. The book examines several important proofs of the Incompleteness Theorems, including those by Kuratowski, Smullyan, and Robinson. It also considers newer proofs and independent statements, as well as the philosophical implications of Gödel's work. Additionally, Kennedy explores set-theoretical incompleteness and its consequences. This Element offers a comprehensive analysis of Gödel's Incompleteness Theorems, making it an ideal resource for those seeking to understand this fundamental concept in logic and mathematics.