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

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.

Autres éditions populaires du même titre

9780534103569: Computability: Computable Functions, Logic, and the Foundations of Mathematics

Edition présentée

ISBN 10 :  0534103561 ISBN 13 :  9780534103569
Editeur : CRC Press Inc, 1990
Couverture rigide