Existen cosas para las que siempre hará falta un humano me gusta.

Kurt Gödel entre otras muchas cosas, dio uno de los golpes mas duros en contra de la inteligencia artificial computacional, su teoria de la

incompletitud.

Mas o menos (mas menos que mas) venia a decir que es imposible que exista un sistema logico(es decir que funcione solo con razonamientos

matematicos) que pueda explicarlo todo.

Si tenemos un sistema cualquiera (El Universo p.ej.) y una conjunto (infinito o no)T de reglas con el que podemos probar que cualquier

enunciado dentro de ese sistema es verdadero(es decir razonar), si intentamos validar un enunciado “g” que diga “Soy imposible de validar

con las reglas de T” ¿que ocurriria?

si T consiguiera probar que g es cierto, estariamos en un absurdo porque el propio enunciado de g dice que es imposible.

entonces T no puede probar que g es cierto, y como ese es precisamente el enunciado de g, entonces g es cierto y T no puede explicarlo, asi

que T no puede explicarlo todo.

La gracia del asunto es q nosotros si podemos darnos cuenta del truco y si podemos “validar” que g es cierto, asi que hay algo en nuestra

inteligencia que esta mas alla de la logica y que una mente matematica (una computadora) no podria alcanzar.

Por otro lado Kurt Gödel era un tio muy rallado, un esquizofrenico obsesionado con q los comunistas lo querian envenenar, abria las ventanas

de su casa por miedo a los gases incluso en el mas frio invierno, y solo aceptaba comida preparada por su mujer. Murio de hambre semanas

despues de quedar viudo.