Inexhaustibility: A Non-Exhaustive Treatment - Couverture rigide

Franzén, Torkel

 
9781568811741: Inexhaustibility: A Non-Exhaustive Treatment
Couverture rigide
ISBN 10 : 1568811748 ISBN 13 : 9781568811741
Editeur : A K Peters, 2004

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
A K Peters
Date d'édition
2004
Langue
anglais
ISBN 10 
1568811748
ISBN 13 
9781568811741
Reliure
Relié
Nombre de pages
268
Coordonnées du fabricant
non disponible
Personne responsable
HACHETTE LIVRE SA
https://www.hachette.fr/

1 AVENUE GUTENBERG
MAUREPAS CEDEX
78319
France

Autres éditions populaires du même titre

9781568811758: Inexhaustibility: A Non-Exhaustive Treatment

Edition présentée

ISBN 10 :  1568811756 ISBN 13 :  9781568811758
Editeur : A K Peters/CRC Press, 2004
Couverture souple