Template:Are You Sure/June 23

... that computer scientist, mathematician, logician, cryptanalyst, and theoretical biologist Alan Turing pioneered the development of theoretical computer science, providing a formalization of the concepts of algorithm and computation with the Turing machine?