Muito oportunos os pontos levantados pelo Jean Yves e os comentários
do João Marcos.
Acho que Godel e Turing são os lógicos mais celebrados do século XX, e
certamente são grandes pensadores. Compará-los com outros lógicos que
fizeram trabalhos similares não diminui em nada a grandeza desses
O teorema de incompletude de Gödel depende de muitas coisas que o Gödel
nao inventou:
- programa de Hilbert
- logica de primeira ordem (na formulacao de Hilbert-Ackerman)
- nocao de recursividade
(que ele pegou do Herbrand - o Heijenoort passou muito tempo procurando a
carta do Herbrand para
O teorema de incompletude de Gödel depende de muitas coisas que o Gödel
nao inventou:
[...]
- paradoxo do mentiroso (Gödel falou explictamente que ele se inspirou
deste paradoxo)
A despeito do que o próprio Gödel terá dito informalmente acerca de
sua fonte de inspiração, o que importa neste