Computability: Computable Functions, Logic and the Foundations of Mathematics - Softcover

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

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

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

"synopsis" may belong to another edition of this title.

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

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title