Premisas indemostradas y el teorema de la incompletitud: Are you the eggman??

Los teoremas de Gödel son teoremas en lógica de primer orden, y deben entenderse en ese contexto. En lógica formal, tanto las afirmaciones matemáticas como las demostraciones se escriben en un lenguaje simbólico en el que se puede comprobar mecánicamente la validez de las pruebas. De este modo no puede haber ninguna duda de que un teorema se deduce de nuestra lista inicial de axiomas. En teoría, este tipo de pruebas se puede verificar con un ordenador; de hecho, hay programas que lo hacen. Para poder realizar este proceso se necesita saber cuáles son estos axiomas. Se puede partir de un conjunto finito de axiomas, como en la geometría euclídea, o más en general se puede permitir un número infinito de axiomas con el requisito de que dada una afirmación se pueda verificar mecánicamente si ésta es uno de los axiomas. Aunque pueda sonar extraño el uso de un número infinito de axiomas, esto es precisamente lo que se hace habitualmente con los números naturales, los axiomas de Peano.
El primer teorema de la incompletitud de Gödel demuestra que cualquier sistema que permita definir los números naturales es necesariamente incompleto: contiene afirmaciones que ni se pueden demostrar ni refutar.

No todo lo “real” es demostrable…

¿Eres el hombre-huevo…o quízás la morsa de Alicia, en el País de las Maravillas?

Te lo diré…cantando…o ¿prefieres que escriba un poema-rio…ja, ja, ja…PARA LA ECLOSIÓN?…

Mira el vídeo…que no tiene desperdicio…Busca, piensa, busca, piensa… To be, to be…Ser y sobretodo…ESTAR…

http://www.youtube.com/watch?v=icedY1mQwg0

POR CIERTO: Nótese el término “eggman”. Dícese de los “hombres-huevo”. Las mujeres, no sólo los tienen, sino que “afortunadamente” para la humanidad…los ponen.

A estudiar se ha dicho….jeje…

Anuncios

Responder

Por favor, inicia sesión con uno de estos métodos para publicar tu comentario:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s