Alan Turing's work was fundamental in the theoretical foundations of computer science.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Turing/