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?
A
Alan Turing.
B
Kurt Gödel.
C
Alan Gödel.
D
Charles Babbage.
E
Albert Einstein.
Comentários
Ainda não há comentários para esta questão.
Seja o primeiro a comentar!