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

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

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

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This highly readable and intuitive introduction to computability theory contains a great many background discussions which introduce the reader to the researched history and philosophical aspects of recursion theory and logic. This book is perfectly suited for class work and individual study, successfully achieving the goal of painlessly introducing technical matter in a readable and stimulating way.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título