Now in a new edition!--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".
The Pocket Guide to Critical Thinking : Fifth Edition
Richard L Epstein
bookTime and Space in Formal Logic
Richard L. Epstein
bookAmerican Gestures : Say it with your hands!
Alex Raffi, Richard L Epstein
bookAmerican Gestures : Say it with your hands!
Alex Raffi, Richard L Epstein
bookHow to Reason + Reasoning in the Sciences : A Practical Guide
Richard L Epstein
bookHow to Reason : A Practical Guide
Richard L. Epstein
bookConventional Gestures : Meaning and Methodology
Richard L Epstein, Alex Raffi
bookCause and Effect, Conditionals, Explanations
Richard L Epstein
bookPropositional Logics 3rd edition
Richard L Epstein
bookReasoning and Formal Logic
Richard L Epstein
bookThe Fundamentals of Argument Analysis
Richard L Epstein
bookPrescriptive Reasoning
Richard L Epstein
book
Taming the algorithm : The right not to be subject to an automated decision in the General Data Protection Regulation
Paweł Kuch
bookThe Jacquard Machine Analyzed and Explained : With an appendix on the preparation of jacquard cards, and practical hints to learners of jacquard designing
E. A. Posselt
bookImpolite Conversations : On Race, Politics, Sex, Money, and Religion
Cora Daniels, John L. Jackson
bookThe Russian Expedition of 1812
Carl Von Clausewitz
bookOnline Marketing: 2 Books in 1
Gerry T. Warner, Joe Wilson Schaefer
bookAlgorithmic and Aesthetic Literacy : Emerging Transdisciplinary Explorations for the Digital Age
bookBilingual Education in Primary School : Aspects of Immersion, CLIL, and Bilingual Modules
bookThe Campaign of 1812
Carl Von Clausewitz
bookThe Covenant of Salt
H. Clay Trumbull
bookLeading Product Development: The Senior Manager's Guide to Creating and Shaping
Steven C. Wheelwright
bookAn Introduction to Machine Drawing and Design
David Allan Low
bookThe Philosophy of Mathematics
Auguste Comte
book