Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Godel's Theorums

Note moyenne 0
( 0 avis fournis par GoodReads )
 
9780792359043: Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Godel's Theorums

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 book considers the historical and philosophical context of these issues and their philosophical and methodological consequences. It is intended for advanced students of logic, mathematics, philosophy of science. Full description

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

Présentation de l'éditeur :

An Early History of Recursive Functions and Computability traces the development of recursive functions from their origins in the late nineteenth century, when recursion was first used as a method of defining simple arithmetic functions, up to the mid-1930's, when the class of general recursive functions was introduced by Godel, formalized by Kleene and used by Church in his thesis. The book explains how the proposal given in Church's 1936 paper, now known as Church's thesis, first arose and concludes with the consideration of another class of functions, the Turing computable functions, that were specially created to be equivalent to the class of effectively calculable functions. The book includes previously unpublished letters between the author and many of the key historical figures.

Biographie de l'auteur :

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
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 223,20
Autre devise

Ajouter au panier

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

2.

Murawski, Roman
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 229,50
Autre devise

Ajouter au panier

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

3.

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 235,86
Autre devise

Ajouter au panier

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

4.

Roman Murawski
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 230,84
Autre devise

Ajouter au panier

Frais de port : EUR 10,75
De Royaume-Uni 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 241,93
Autre devise

Ajouter au panier

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

6.

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 237,60
Autre devise

Ajouter au panier

Frais de port : EUR 9,56
De Royaume-Uni 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é : 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 268,11
Autre devise

Ajouter au panier

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

8.

Murawski, Roman
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 0792359046

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

Acheter neuf
EUR 273,39
Autre devise

Ajouter au panier

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

9.

Roman Murawski
ISBN 10 : 0792359046 ISBN 13 : 9780792359043
Neuf(s) Quantité : 5
Vendeur
Chiron Media
(Wallingford, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre État : New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. N° de réf. du libraire NU-ING-00698818

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

Acheter neuf
EUR 274,95
Autre devise

Ajouter au panier

Frais de port : EUR 3,57
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.. 242 x 166 mm. 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 282,09
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