Articles liés à Computability With Computability and Undecidability-A...

Computability With Computability and Undecidability-A Timeline: Computable Functions, Logic, and the Foundations of Mathematics : The Story of the ... Functions and the Undecidabilty of arithm - Couverture souple

Epstein, R.L.; Carnielli, Walter A.

 
9780534546441: Computability With Computability and Undecidability-A Timeline: Computable Functions, Logic, and the Foundations of Mathematics : The Story of the ... Functions and the Undecidabilty of arithm
Couverture souple
ISBN 10 : 0534546447 ISBN 13 : 9780534546441
Editeur : Wadsworth Publishing Co Inc, 1999

Synopsis

Epstein and Carnielli, both logicians who have been collaborating on computability theory for two decades, introduce the philosophical aspects of recursion theory and logic. Opening with a discussion of the philosophical foundations of mathematics, and a presentation of the ideas of whole number, f

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

Éditeur
Wadsworth Publishing Co Inc
Date d'édition
1999
Langue
anglais
ISBN 10 
0534546447
ISBN 13 
9780534546441
Reliure
Broché
Numéro d'édition
2
Nombre de pages
337
Coordonnées du fabricant
non disponible
Personne responsable
non disponible