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

ISBN: 9781568811758

Published: April 22nd 2005

Paperback

251 pages


Description

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16  by  Torkel Franzen

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16 by Torkel Franzen
April 22nd 2005 | Paperback | PDF, EPUB, FB2, DjVu, AUDIO, mp3, ZIP | 251 pages | ISBN: 9781568811758 | 4.30 Mb

Godels 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 asMoreGodels 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. 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.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16":


pup-golub-dobrzyn.onlinedlmbooks.website

©2014-2015 | DMCA | Contact us