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

Richard L. Epstein | Walter A. Carnielli

ISBN 10: 0534546447 / ISBN 13: 9780534546441

Published by Wadsworth Publishing, 1999

About this Item

Octavo. Pictorial wraps. Previous owner name stamp on bottom edge of text block; very mild edge wear. Timeline poster included. Binding tight, text clean and unmarked.

Seller Inventory # 006792

Bibliographic Details

• Title: Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline
• Publisher: Wadsworth Publishing
• Publication Date: 1999
• Language: English
• ISBN 10: 0534546447
• ISBN 13: 9780534546441
• Binding: Trade Paperback
• Edition: 2nd Edition.
• Condition: Near Fine

About this title

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.