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

Note moyenne 0
( 0 avis fournis par Goodreads )
 
9780792359043: 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.

Meilleurs résultats de recherche sur AbeBooks

1.

Roman Murawski
Edité par Springer (1999)
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
Neuf(s) Couverture rigide Quantité : 1
Vendeur
Irish Booksellers
(Rumford, ME, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 1999. Hardcover. État : New. book. N° de réf. du libraire M0792359046

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

Acheter neuf
EUR 103,09
Autre devise

Ajouter au panier

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

2.

Roman Murawski
Edité par Springer (1999)
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
Neuf(s) Couverture rigide Quantité : 1
impression à la demande
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 1999. Hardcover. État : New. 1999. This item is printed on demand. N° de réf. du libraire DADAX0792359046

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

Acheter neuf
EUR 144,05
Autre devise

Ajouter au panier

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

3.

Roman Murawski
Edité par Kluwer Academic Publishers, United States (1999)
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
Neuf(s) Couverture rigide Quantité : 10
Vendeur
Book Depository hard to find
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Kluwer Academic Publishers, United States, 1999. Hardback. État : New. 1999 ed.. 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 LIE9780792359043

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

Acheter neuf
EUR 180,90
Autre devise

Ajouter au panier

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

4.

Roman Murawski
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
BWB
(Valley Stream, NY, Etats-Unis)
Evaluation vendeur
[?]

Description du livre État : New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. N° de réf. du libraire POD_9780792359043

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

Acheter neuf
EUR 203,89
Autre devise

Ajouter au panier

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

5.

Murawski, Roman
Edité par Springer (2016)
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
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 ria9780792359043_lsuk

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

Acheter neuf
EUR 204,74
Autre devise

Ajouter au panier

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

6.

Roman Murawski
Edité par Kluwer Academic Publishers (1999)
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Pbshop
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Kluwer Academic Publishers, 1999. HRD. É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 IP-9780792359043

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

Acheter neuf
EUR 209,27
Autre devise

Ajouter au panier

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

7.

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

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

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 2,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

8.

Murawski, Roman
Edité par Kluwer Academic Publishers (1999)
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Kluwer Academic Publishers, 1999. HRD. État : New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. N° de réf. du libraire IP-9780792359043

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

Acheter neuf
EUR 208,73
Autre devise

Ajouter au panier

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

9.

ROMAN MURAWSKI
Edité par Springer (1999)
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
Neuf(s) Couverture rigide Quantité : 1
Vendeur
Herb Tandree Philosophy Books
(Stroud, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 1999. Hardback. État : NEW. 9780792359043 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 HTANDREE0281957

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

Acheter neuf
EUR 217,91
Autre devise

Ajouter au panier

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

10.

Roman Murawski
Edité par Kluwer Academic Publishers, United States (1999)
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
Neuf(s) Couverture rigide Quantité : 10
impression à la demande
Vendeur
The Book Depository
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Kluwer Academic Publishers, United States, 1999. Hardback. État : New. 1999 ed.. 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 APC9780792359043

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

Acheter neuf
EUR 255,65
Autre devise

Ajouter au panier

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

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre