Computability theory, algorithmic randomness and Turing's anticipation

Abstract

This article looks at the applications of Turing's Legacy in computation, particularly to the theory of algorithmic randomness, where classical mathematical concepts such as measure could be made computational. It also traces Turing's anticipation of this theory in an early manuscript. Beginning with the work of Church, Kleene, Post and particularly Turing, es- pecially in the magic year of 1936, we know what computation means. Turing's theory has substantially developed under the names of recursion theory and computability theory. Turing's work can be seen as perhaps the high point in the conuence of ideas in 1936. This paper, and Turing's 1939 paper (141) (based on his PhD Thesis of the same name), laid solid foundations to the pure theory of computation, now called computability or recursion theory. This article gives a brief history of some of the main lines of investigation in computability theory, a major part of Turing's Legacy. Computability theory and its tools for classifying computational tasks have seen applications in many areas such as analysis, algebra, logic, computer science and the like. Such applications will be discussed in articles in this volume. The theory even has applications into what is thought of as proof theory in what is called reverse mathematics. Reverse mathematics attempts to claibrate the logi- cal strength of theorems of mathematics according to calibrations of comprehen- sion axioms in second order mathematics. Generally speaking most separations, that is, proofs that a theorem is true in one system but not another, are per- formed in normal \! models rather than nonstandard ones. Hence, egnerally ? Research supported by the Marsden Fund of New Zealand. Some of the work in this paper was done whilst the author was a visiting fellow at the Isaac Newton Institute, Cambridge, UK, as part of the Alan Turing \Semantics and Syntax programme, in 2012. Some of this work was presented at CiE 2012 in Becher (7) and Downey (42). Many thanks to Veronica Becher, Carl Jockusch, Paul Schupp, Ted Slaman and Richard Shore for numerous corrections.