Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel - Couverture rigide

Mostowski, Andrzej

 
9780313231513: Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
Couverture rigide
ISBN 10 : 0313231516 ISBN 13 : 9780313231513
Editeur : Praeger Publishers Inc, 1982

Synopsis

The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.

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

Éditeur
Praeger Publishers Inc
Date d'édition
1982
Langue
anglais
ISBN 10 
0313231516
ISBN 13 
9780313231513
Reliure
Relié
Nombre de pages
117
Coordonnées du fabricant
non disponible
Personne responsable
non disponible