Alan Turing
B. Jack Copeland
