Kennedy, Juliette

Goedel's Incompleteness Theorems (Elements in Philosophy and Logic)

(No reviews yet) Write a Review
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
£22.00

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.

View AllClose