Está en la página 1de 6

Universidad Iberoamericana UNIBE

TEORIAS AUTOMATAS

TEOREMA DE INCOMPLETITUD DE GODEL

Dionis Garca 12-0836 Gilbert De La Cruz 12-0846

24 de Febrero de 2014

TABLA DE CONTENIDO 1.0 INTRODUCCION 2.0 PALABRAS CLAVES 3.0 DESARROLLO 4.0 BIBLIOGRAFIA INTRODUCCION Durante el siglo XX fue establecido el denominado teorema de incompletitud de Godel, como parte de los llamados teoremas de imposibilidad los cuales establecen que, cierta idea no es posible o cierta entidad matemtica no puede ser definida sin llegar a una contradiccin. Para Cientficos y Matemticos, el conocimiento la forma de organizar el conocimiento es basado en los modelos propuestos por el padre de la Geometra Euclides (ca.325 - ca.265 a.C.) y perfeccionados por David Hilbert (1862-1943). En este mtodo se establecen unas series de nociones bsicas, se fijan unos axiomas y, usando las reglas de la lgica, se van demostrando todas las verdades de las Matemticas. Ya ms tarde, lo que vino a demostrar Godel a travs del teorema de incompletitud es que tal pretensin es imposible ya que para l, no pueden demostrarse todas las verdades de las Matemticas. "El famoso teorema de incompletitud de Godel muestra que no hay ningn mtodo de prueba formal con el que poder demostrar todas las verdades de la matemtica, y ni siquiera de la teora elemental de los enteros positivos. Su prueba de este teorema, en s misma estrictamente matemtica, produjo un brusco giro en la filosofa de la matemtica, pues habamos supuesto que la verdad matemtica consista en la demostrabilidad".

PALABRAS CLAVES

Teora: Hiptesis cuyas consecuencias se aplican a toda una ciencia o a parte muy importante de la misma. Lgica Matemtica: es una parte de la lgica y las matemticas que consisten en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. Lenguaje Formal: es un lenguaje cuyos smbolos primitivos y reglas para unir esos smbolos estn formalmente especificados Axioma: es una "verdad evidente" sobre la cual descansa el resto del conocimiento o sobre la cual se construyen otros conocimientos. En matemticas un axioma no es necesariamente una verdad evidente, sino una expresin lgica utilizada en una deduccin para llegar a una conclusin.

DESARROLLO

Segn los signos en el alfabeto con el que se construir todo el lenguaje formar. A cada uno de ellos se le puede asignar un nmero Godel:

Ya partir de los signos se escriben los enunciados. Tambin a cada uno de ellos se le asigna su nmero de Godel. Consideremos el enunciado 'existe un nmero x que es el siguiente de 0', o ms brevemente '0 tiene un siguiente', que se simboliza as: (jx) (x = s0)

Se escriben ahora los nmeros correspondientes a cada smbolo en su orden: 8-4-11-9-8-11-5-7-6-9 Tomando los primeros primos como base y los anteriores como exponentes se obtiene el nmero de Godel del enunciado: 2^8 3^4 5^11 7^9 11^8 13^11 17^5 19^7 23^6 2^99

Algunos enunciados son los axiomas. A partir de ellos, haciendo uso de las reglas de inferencia, se obtienen, mediante demostraciones, los enunciados demostrables. A las demostraciones se les

asigna tambin un nmero de manera similar a como se ha hecho con los enunciados. As pues, se ha asignado un nmero a cada signo, a cada enunciado y a cada demostracin, de tal forma que si dos tienen el mismo nmero, entonces son iguales. La idea esencial de la demostracin es construir un enunciado G que signifique 'G no es demostrable', de forma que G sea autorreferente. Representamos por sust(y,13,y) el nmero de Gdel del enunciado A(y) que se obtiene sustituyendo en el enunciado A(z) que tiene nmero y el signo variable z, que tiene nmero 13, por el nmero y. Consideremos el enunciado (x) no-Dem(x,sust(y, 13,y)) que significa: 'cualquiera que sea el nmero x, la demostracin con nmero x no es una demostracin del enunciado que tiene nmero sust(y,13,y)'. Este enunciado tiene un nmero n. Entonces, por fin, tenemos G:
(x) no-Dem(x,sust(n,13,n)).

Resulta que el nmero de Gdel de G es sust(n, 13,n). Adems, G es demostrable si y slo si no-G es demostrable. Esto significa que si los axiomas son consistentes (no contienen contradicciones), entonces G es indecidible: ni G ni su negacin no-G son demostrables. Como o bien G o bien no-G es cierto, se concluye que hay verdades de la Aritmtica que no son demostrables.

REFERENCIAS BIBLIOGRAFICAS http://es.wikipedia.org/wiki/Teoremas_de_incompletitud_de_G%C3%B6del http://cala.unex.es/cala/epistemowikia/index.php?title=Teorema_de_Incompletitud_de_G%C3%B6del http://xdciencia.blogspot.com/2013/03/entendiendo-el-teorema-de-incompletitud.html