Alan Turing
Alan Turing foi um matemático, lógico, criptoanalista e cientista da computação britânico. Ele foi muito influente no desenvolvimento da ciência da computação teórica, fornecendo uma formalização dos conceitos de algoritmo e computação com a Máquina de Turing, que pode ser considerada um modelo de computador de uso geral. Turing é amplamente considerado o pai da ciência da computação teórica e da inteligência artificial.
Turing definiu matematicamente todos algoritmos/computações/ling. de prog do passado, presente e futuro, ~10 anos antes do primeiro computador físico.
Pouco antes de Turing, Alonzo Church fez a mesma coisa que Turing, só que usando outro formalismo (cálculo λ), mas Gödel, que havia sugerido que o Entscheidungsproblem não tinha solução geral, rejeitou oq o Church fez como insuficiente e que a definição que ele msm desenvolveu (Funções recursivas gerais) eram mais apropriadas pra definir um algoritmo. Church+Kleene mostraram que ambas as definições eram equivalentes. A resposta do Gödel ? Que a definição dele então só podia estar errada. O Gödel só foi aceitar que existia uma definição precisa de algoritmo com o trabalho de Turing. Todas essas 3 definições foram desenvolvidas no espaço de 4 anos. Todas elas são equivalentes! Matemática é descoberta, e não inventada. (@pvini_araujo).
Turing é lembrado porque ele foi a primeira pessoa a criar uma teoria matemática capaz de descrever a ideia de computar. Antes dele simplesmente não existia como você estudar formalmente processos de computação de resultados. Ele e o Alonzo Church são os fundadores do estudo matemático da computação, que é o pilar de sustentação de toda a computação moderna. (@coproduto).