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 - Softcover

Epstein, Richard L.; Carnielli, Walter A.

Softcover

ISBN 10: 0534546447 ISBN 13: 9780534546441

Publisher: Wadsworth Pub Co, 1999

Synopsis

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)

About this title

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.

Edition details

• Publisher: Wadsworth Pub Co
• Publication date: 1999
• Language: English
• ISBN 10: 0534546447
• ISBN 13: 9780534546441
• Binding: Paperback
• Number of pages: 299