Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Inexhaustibility: A Non-Exhaustive Treatment : Lecture Notes in Logic 16, Hardback Book

Inexhaustibility: A Non-Exhaustive Treatment : Lecture Notes in Logic 16 Hardback

Hardback

Out of stock

Description

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.

Information

Other Formats

£96.99

Out of stock
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information