Share
Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16
Torkel Franzén
(Author)
·
A K PETERS
· Hardcover
Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16 - Franzén, Torkel
£ 87.29
£ 96.99
You save: £ 9.70
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Thursday, June 27 and
Tuesday, July 02.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16"
Gödel's Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted. Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman. All concepts and results necessary to understand the arguments are introduced as needed, making the presentation self-contained and thorough.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.