From: Enrique Reyes <conen en idecnet.com>
(...)
>
> A ver si no meto mucho la pata: El problema estriba en la construcción
de un
> sistema lógico completo, es decir, donde para cada proposición se pueda
> afirmar sobre su falsedad o certeza. Su gran repercusión se debe a que
> demuestra que la lógica de primer orden no es completa. Algunos autores
> utilizan este argumento para afirmar que ninguna máquina lógica puede
tener
> conocimiento de ella misma.
Exacto, lo afirman, pero no lo demuestran. Es como decir que como Godel
demostró que ningun sistema formal es completo, pues las matemáticas no
pueden funcionar. Pero funcionan en sentido amplio, aunque no estricto.
Tambien podrían afirmar igualmente que el cerebro humano consciente
tampoco es posible partiendo de la misma base. Es evidente que es
posible, y que no haca falta una perfecta "completitud" de esas para que
exista consciencia.
(...)