Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems (Synthese Library)

Note moyenne 0
( 0 avis fournis par Goodreads )
 
9789048152988: Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems (Synthese Library)

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.

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

About the Author :

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.

Acheter neuf Afficher le livre
EUR 198,32

Autre devise

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

1.

Roman Murawski
Edité par Springer, Netherlands (2010)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Paperback Quantité : 10
Vendeur
Book Depository hard to find
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, Netherlands, 2010. Paperback. État : New. 1st ed. Softcover of orig. ed. 1999. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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 Godel 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 libraire LIE9789048152988

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 198,32
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

2.

Roman Murawski
Edité par Springer, Netherlands (2010)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Paperback Quantité : 10
impression à la demande
Vendeur
The Book Depository
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, Netherlands, 2010. Paperback. État : New. 1st ed. Softcover of orig. ed. 1999. Language: English . Brand New Book ***** Print on Demand *****.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 Godel 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 libraire AAV9789048152988

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 198,32
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

3.

Roman Murawski
Edité par Springer (2010)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2010. PAP. État : New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire LQ-9789048152988

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 195,11
Autre devise

Ajouter au panier

Frais de port : EUR 10,08
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

4.

Roman Murawski
Edité par Springer, Netherlands (2010)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Paperback Quantité : 10
impression à la demande
Vendeur
The Book Depository US
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, Netherlands, 2010. Paperback. État : New. 1st ed. Softcover of orig. ed. 1999. Language: English . Brand New Book ***** Print on Demand *****. 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 Godel 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 libraire AAV9789048152988

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 210,55
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

5.

Murawski, Roman
Edité par Springer (2016)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2016. Paperback. État : New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. N° de réf. du libraire ria9789048152988_lsuk

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 209,02
Autre devise

Ajouter au panier

Frais de port : EUR 4,33
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

6.

Roman Murawski
Edité par Springer (2010)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Couverture souple Quantité : 15
impression à la demande
Vendeur
European-Media-Service Mannheim
(Mannheim, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer, 2010. État : New. This item is printed on demand for shipment within 3 working days. N° de réf. du libraire LP9789048152988

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 214,20
Autre devise

Ajouter au panier

Frais de port : EUR 3,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

7.

Roman Murawski
Edité par Springer (2010)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Pbshop
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 2010. PAP. État : New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire IQ-9789048152988

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 217,19
Autre devise

Ajouter au panier

Frais de port : EUR 3,41
Vers Etats-Unis
Destinations, frais et délais

8.

ROMAN MURAWSKI
Edité par Springer (2010)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Paperback Quantité : 1
Vendeur
Herb Tandree Philosophy Books
(Stroud, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2010. Paperback. État : NEW. 9789048152988 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. N° de réf. du libraire HTANDREE0386536

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 222,47
Autre devise

Ajouter au panier

Frais de port : EUR 8,95
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

9.

Roman Murawski
Edité par Springer (2010)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 2010. Paperback. État : New. Softcover reprint of hardcover 1. This item is printed on demand. N° de réf. du libraire DADAX9048152984

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 282,60
Autre devise

Ajouter au panier

Frais de port : EUR 3,41
Vers Etats-Unis
Destinations, frais et délais

10.

Roman Murawski
Edité par Springer (2010)
ISBN 10 : 9048152984 ISBN 13 : 9789048152988
Neuf(s) Paperback Quantité : 1
Vendeur
Irish Booksellers
(Rumford, ME, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 2010. Paperback. État : New. book. N° de réf. du libraire 9048152984

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 305,25
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre