La lógica se extiende al corazón de la informática a medida que surge como una disciplina: El trabajo de Alan Turing sobre el "Entscheidungsproblem" seguido del trabajo de Kurt Gödel sobre teoremas incompletos.