Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline

Description:

Seller Inventory # SONG0534546447

About this title:

• 3.67
  9 ratings by Goodreads

Synopsis: 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.

About the Author: Richard L. Epstein received his B.A. summa cum laude at the University of Pennsylvania and his Ph.D. at the University of California, Berkeley. He held a postdoctoral fellowship in mathematics and philosophy at Victoria University of Wellington, New Zealand, before an extensive career teaching mathematics and philosophy. He has been a Fulbright Scholar to Brazil and a National Academy of Sciences Scholar to Poland. He also owned and managed the Dog & Duck Coffee House. He is the author of the series of research texts THE SEMANTIC FOUNDATIONS OF LOGIC as well as CRITICAL THINKING and FIVE WAYS OF SAYING "THEREFORE". Currently he is head of the Advanced Reasoning Forum in Socorro, New Mexico.
Walter A. Carnielli received his Ph.D. at the State University of Campinas, Brazil. He held a postdoctoral fellowship in mathematics and logic at the University of California, Berkeley, and is currently Professor of Logic and Foundations of Mathematics at the Department of Philosophy of the State University of Campinas, with almost a hundred publications in many-valued logics, paraconsistent logics, combination of logics and combinatorics. He has also been an Alexander von Humboldt Scholar to Germany (Munster and Bonn). Currently he is the Director of the Centre for Logic, Epistemology  and the  History of Science of the State University of Campinas. Carnielli is the Laureate for Mathematics of  the Telesio Galilei Academy of Science for 2013.

Bibliographic Details

Title: Computability: Computable Functions, Logic, ...
Publisher: Wadsworth Publishing
Publication Date: 1999
Binding: Paperback
Condition: Good
Edition: 2nd Edition