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

U

Ainda não há comentários para esta questão.

Seja o primeiro a comentar!