Question

Os teoremas da incompletude de Gödel tem como base teoremas da lógica matemática, que contribuem para o entendimento dos sistemas axiomáticos. Desse modo, tem como base a lógica matemática, sendo reformulado por qual matemático?

Answer 1

Resposta:

Alan  Turing

Explicação:

Alan Mathison Turing foi um matemático, lógico, criptoanalista e cientista da computação britânico. Foi influente no desenvolvimento da ciência da computação e na formalização do conceito de algoritmo e computação com a máquina de Turing, desempenhando um papel importante na criação do computador moderno.

Answer 2

Resposta:

Alan Turing.

Explicação:

Alan Turing.