O teorema de Gödel tem como base teoremas da lógica matemática, que contribuem para o entendimento dos sistemas axiomáticos. Esse teorema foi, em 1...

O teorema de Gödel tem como base teoremas da lógica matemática, que contribuem para o entendimento dos sistemas axiomáticos. Esse teorema foi, em 1938, reformulado por um matemático, que criou sua máquina, composta de fita infinita com zeros e números 1 e de um programa que coordenava as operações da máquina. Quem foi o matemático responsável pela reformulação do teorema de Gödel? Escolha uma opção: a. Alan Gödel. b. Charles Babbage. c. Kurt Gödel. d. Alan Turing. e. ‎Albert Einstein.