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

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780534103569: Computability: Computable Functions Logic and the Foundations of Math (Wadsworth&Brooks/Cole Mathematics Series)

Vorgestellte Ausgabe

ISBN 10:  0534103561 ISBN 13:  9780534103569
Verlag: Chapman and Hall/CRC, 1990
Hardcover