Alan Turing (1912--1954) unieron la Lógica con