Inexhaustibility

A Non-Exhaustive Treatment (Lecture Notes in Logic #16)

Torkel Franzén

$204

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

A K Peters
02 September 2004

Mathematical logic

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.

By: Torkel Franzén
Imprint: A K Peters
Country of Publication: United States
Volume: No. 16
Dimensions: Height: 234mm, Width: 156mm,
Weight: 498g
ISBN: 9781568811741
ISBN 10: 1568811748
Pages: 268
Publication Date: 02 September 2004
Audience: College/higher education , Professional and scholarly , Professional & Vocational , A / AS level , Further / Higher Education
Format: Hardback
Publisher's Status: Active

Torkel Franzén Department of Computer Science and Electrical Engineering Lule, University of Technology

Reviews for Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic #16)

In this book the author discusses Godel's famous incompleteness theorems. Special emphasis is put on the consequences of the inexhaustibility of our mathematical knowledge in any one formal axiomatic theory ... The book can be considered as a more technical companion to the author's more philosophical book [Godel's Theorem, A K Peters, Wellesley, MA, 2005]. -Mathematiacl Reviews, November 2007