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".
Online Marketing: 2 Books in 1
Gerry T. Warner, Joe Wilson Schaefer
book
Taming the algorithm : The right not to be subject to an automated decision in the General Data Protection Regulation
Paweł Kuch
book
Impolite Conversations : On Race, Politics, Sex, Money, and Religion
Cora Daniels, John L. Jackson
book
The Russian Expedition of 1812
Carl Von Clausewitz
book
Bilingual Education in Primary School : Aspects of Immersion, CLIL, and Bilingual Modules
book
The 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
book
The Philosophy of Mathematics
Auguste Comte
book
The Campaign of 1812
Carl Von Clausewitz
book
57,3 puzzles from Japan's everyday life : Curiosities between insanity and wisdom
Rita Menge
book
Forallx - An Introduction to Formal Logic
P.D. Magnus
book
The Covenant of Salt
H. Clay Trumbull
book
An Introduction to Machine Drawing and Design
David Allan Low
book