<p>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.</p>

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

Politics & Social Sciences

Epstein, Richard L.

Carnielli, Walter A.

Philosophy

Wadsworth Publishing

This volume constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29--August 2, 1985, at the University of Campinas in Brazil. Striking a balance between breadth of scope and depth of results, the papers in this collection range over a variety of topics in classical and non-classical logics. The book provides readers with an introduction to the active lines of research in mathematical logic and particularly emphasizes the connections to other fields, especially philosophy, computer science, and probability theory. The potential applicability of the mathematical methods studied in logic has become important because various areas---such as software engineering, mathematical biology, physics, and linguistics---now appear to need mathematical methods of the kind studied in logic.

Methods and Applications of Mathematical Logic: Proceedings (Contemporary Mathematics)

Science & Math

Mathematics

Amer Mathematical Society

<p>The classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".</p>

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Computers & Technology

Computer Science

Advanced Reasoning Forum

See the best price to sell, buy, or rent books by Carnielli, Walter A.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Carnielli, Walter A.