Articles liés à Recursive Functions and Metamathematics: Problems of...
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Godel's Theorems - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Présentation de l'éditeur :
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography.
Readership: Scholars and advanced students of logic, mathematics, philosophy of science.
Biographie de l'auteur :
Readership: Scholars and advanced students of logic, mathematics, philosophy of science.
Rod Adams received his PhD from the School of Information Sciences at The Hatfield Polytechnique under the supervision of Dr. Dale Johnson. Dr. Adams is currently a Professor of Neural Computation at the University of Hertfordshire.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2010
- ISBN 10 9048152984
- ISBN 13 9789048152988
- ReliureBroché
- Nombre de pages395
Acheter neuf
En savoir plus sur cette édition
EUR 161,39
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödels Theorems (Synthese Library) [Soft Cover ]
Edité par
Springer
(2010)
ISBN 10 : 9048152984
ISBN 13 : 9789048152988
Neuf
Soft Cover
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9789048152988
Acheter neuf
EUR 161,39
Autre devise
Image d'archives
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel?s Theorems (Synthese Library, 286)
Edité par
Springer
(2010)
ISBN 10 : 9048152984
ISBN 13 : 9789048152988
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Apr0316110336791
Acheter neuf
EUR 172,08
Autre devise
Image d'archives
Recursive Functions and Metamathematics : Problems of Completeness and Decidability; GÃ del's Theorems
Edité par
Springer
(2010)
ISBN 10 : 9048152984
ISBN 13 : 9789048152988
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9789048152988_lsuk
Acheter neuf
EUR 167,49
Autre devise
Image fournie par le vendeur
Recursive Functions and Metamathematics
Edité par
Springer Netherlands Dez 2010
(2010)
ISBN 10 : 9048152984
ISBN 13 : 9789048152988
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science. 412 pp. Englisch. N° de réf. du vendeur 9789048152988
Acheter neuf
EUR 160,49
Autre devise
Image fournie par le vendeur
Recursive Functions and Metamathematics
Edité par
Springer Netherlands
(2010)
ISBN 10 : 9048152984
ISBN 13 : 9789048152988
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Goedel s incompleteness th. N° de réf. du vendeur 5819155
Acheter neuf
EUR 136,16
Autre devise
Image fournie par le vendeur
Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel¿s Theorems
Edité par
Springer Netherlands
(2010)
ISBN 10 : 9048152984
ISBN 13 : 9789048152988
Neuf
Taschenbuch
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science. N° de réf. du vendeur 9789048152988
Acheter neuf
EUR 164,03
Autre devise
Image d'archives
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Godel's Theorems
Edité par
Springer Netherlands
(1999)
ISBN 10 : 9048152984
ISBN 13 : 9789048152988
Neuf
Paperback
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : Brand New. 404 pages. 9.20x6.14x0.92 inches. In Stock. N° de réf. du vendeur x-9048152984
Acheter neuf
EUR 210,95
Autre devise