[escepticos] Teorema de incompletitud de Godel

[Xan Cainzos]

Pastronomía dixit:
>No es mala idea Xan.

No se si lo es, si nos olvidamos de los whiskies, 
claro. Pero despues de haberlo escrito me entro 
la duda sobre si lo habrias tomado totalmente en 
broma y tenia pensado soltar algunas tonterias 
mas. Por ejemplo, es muy probable qeu confundan 
capacidad de computacion con inteligencia o que 
piensen qeu un sistema experto es una muestar de 
IA. Si empiezas por preguntar seguro que aparecen 
cuestiones que conoces de sobra y que aclararan 
conceptos erroneos. Ademas siempre puedes tirar 
de cuestiones historicas que desconocen, como 
Babbage, Ada Lovelace y su relacion con 
Franskenstein. O ya puestos en plan mas moderno 
Von Neumann, Enigma y la primera computadora de 
la historia. Siempre les causara interes y les 
puede llevar a preguntar o despues a intentar a 
buscar ellos mismos mas informacion.

>De hecho estoy insertando en la presentación unos videos de Hal9000.
>Pero estaba contento por el diagonal de cantor... (Que de hecho había puesto
>en diagonal en la diapositiva) y cortando a godel antes de emplear unas 5
>diapos en demostrar y explicar lo brillante y simple de su idea.

Yo me reprimiria un poco, salvo que pretendas 
dormirlos. Segun comentaste es para adolescentes 
y dudo que el metodo diagonal de Cantor consiga 
mantener su interes. Olvidate de tus compañeros 
que esten presentes, escucha a los chavales y 
confia en tus conocimientos.
    Saludso

PD: Si cuando despierte mañana se me ocurren 
ideas que te puedan servir ya te enviare un 
mensaje.
PPD. ¡Que te sea leve! E informanos del resultado.
-- 
------------------------
Mail Adress: Xan Cainzos
              Dpto. Analise Matematica - Facultade de Matematicas
              Universidade de Santiago de Compostela
              15782 Santiago de Compostela
              SPAIN