Alan Turing, Logical and Physical

Alan M. Turing (1912-1954), the founder of computability theory, is generally considered a pure logician. But his ideas involved the practical and physical implementation of logical structure, particularly concerned with the relationship between discrete and continuous, and his scientific work both began and ended in theoretical physics.