Kurt GödelUn acercamiento a su trabajo

y posibles implicancias

<<Yo estoy mintiendo>>

Origeno Gödel matemático Austriaco, nacido en Brünn (imperio

Austrohúngaro),el 28 de Abril el año 1906, es considerado como uno de los más grandes lógicos del siglo XX.Criado como protestante, tuvo una infancia sin carencias debido al buen nivel socioeconómico de su familia, la cual le proveía tanto de recursos como educación.

Durante su vida pasó por varias nacionalidades debido a los cambios de dirección política y nacional:

-Tras la desaparición del imperio Austrohúngaro al final de la primera guerra, pasando a considerarse Checo.

-Tras la anexarse a Alemania durante la segunda guerra, a la edad de 32 años, automáticamente se le consideró Alemán.

-Finalmente, 10 años después, posteriormente a la segunda guerra se nacionalizó voluntariamente en E.E.U.U.

Su trabajo doctoral en 1929, desarrollado a la edad de 23 años, determinó dos principios absolutos resueltos en su trabajo dos años después:

I. Si el sistema es consistente, no puede estar completo

II. La consistencia de los axiomas no puede ser probada dentro del mismo sistema

Principios Resueltos:

Axioma

• 2 + 3 = 5

Antinomiaso Russell

<<N es normal si, solamente si, N es no normal>>o Richardniana

<<Un sistema de lenguaje cualquiera, meta-matemático, que sirva para sostener y explicar la consistencia de cualquier sistema basado en aritmética>>

o Si concebimos una maquina que es capaz de definir lo verdadero de lo falso y responder bajo esos términos a cualquier pregunta de manera lógica, Gödel propone entregarle la siguiente premisa:

<<Esta máquina nunca podrá decir que esta frase es verdadera>>

Se le pide a la maquina que responda a la pregunta, si dice que es verdadera contradice el enunciado propuesto y si dice que es falsa también, re solucionándose en que simplemente no responda como el único curso posible a seguir si se quiere mantener una opción lógica, lo que se traduce a la maquina como un error en la respuesta.

La máquina de Gödel

o Entrega las bases lógicas y teóricas que permiten desarrollar al criptógrafo y matemático Alan Mathison Turing su máquina decodificadora.

Posterior influencia

o Muere por inanición, el 14 de Enero de 1978.

Texto

Cogito ergo sum

o ¿dónde, como diseñadores, somos capaces de marcar un límite para que la maquina/tecnología no acapare el protagonismo en la actualidad?

o Cuándo es que marcamos los puntos sobre las i’es.

o ¿Cómo logramos reconciliarnos con la maquina/tecnología para volver a construir esa perspectiva positiva perdida?

Entendiendo lo anterior