Some chapters focus on the pioneering work by Turing, Gödel, and Church, including the Church–Turing thesis and Gödel’s response to Church’s and Turing’s proposals. Other chapters cover more recent technical developments, including computability over the reals, Godel’s influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics.
Oron Shagrir here provides an extended argument for the semantic view of computation, which states that semantic properties are involved in the nature of computing systems. The first part of the book provides general background. Although different in scope, these chapters have a common theme—that the linkage between the mathematical theory of computability and the notion of physical computation is weak. The second part of the book reviews existing non-semantic accounts of physical computation. Shagrir offers an in-depth analysis of three influential accounts, and argues that none of these accounts is satisfactory, but each of them highlights certain key features of physical computation that he eventually entwines into his own account of computation. The last part of the book presents and defends an original semantic account of physical computation, with a phenomenon known as “simultaneous implementation” (or “indeterminacy of computation”) at its core.