1) Alan Turing buscó resolver el problema de la decisión (Entscheidungsproblem) sobre si existe un procedimiento para determinar si una proposición matemática dada es cierta o falsa. 2) Definió el concepto de algoritmo y máquina de Turing, que consiste en una cinta magnética, cabezal de lectura/escritura, tabla de instrucciones y estados, anticipando la arquitectura de los ordenadores modernos. 3) Demostró que existen funciones no computables y por lo tanto proposiciones cuya veracidad no puede ser determinada, resol