Wow! eBook
Computability With Computability and Undecidability-A Timeline: Computable Functions, Logic, and the Foundations of Mathematics : The Story of the … Functions and the Undecidabilty of arithm Subsequent Edition
Author(s): Richard L. Epstein (Author), Walter A. Carnielli (Author)
- Publisher: Wadsworth Pub Co
- Publication Date: January 1, 1999
- Edition: Subsequent
- Language: English
- Print length: 299 pages
- ISBN-10: 0534546447
- ISBN-13: 9780534546441
Book Description
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, function, proof, and real number, the book continues with an exploration of computability and recursive functions. Part III presents a full development of G÷del’s theorems, and the book concludes with a look at the technical side of these ideas by reviewing Church’s Thesis. Annotation c. Book News, Inc., Portland, OR (booknews.com)
Editorial Reviews
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.
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.
