Teoremas de incompletitud de Gdel

(Redirigido desde Teorema de la incompletitud de Gdel)

Kurt Gdel a los 19 aos de edad, cinco aos antes de la demostracin de los teoremas.
os teoremas de incompletitud de Gdel son dos c!le"res teoremas de lgica matem#tica demostrados por Kurt Gdel en 19$1. %m"os est#n relacionados con la e&istencia de proposiciones indecidi"les en ciertas teor'as aritm!ticas. (l primer teorema de incompletitud a)irma *ue, "a+o ciertas condiciones, ninguna teor'a matem#tica )ormal capa, de descri"ir los n-meros naturales . la aritm!tica con su)iciente e&presi/idad, es a la /e, consistente . completa. (s decir, si los a&iomas de dic0a teor'a no se contradicen entre s', entonces e&isten enunciados *ue no pueden pro"arse ni re)utarse a partir de ellos. (n particular, la conclusin del teorema se aplica siempre *ue la teor'a aritm!tica en cuestin sea recursi/a, esto es, una teor'a en la *ue el proceso de deduccin pueda lle/arse a ca"o mediante un algoritmo. a prue"a del teorema es totalmente e&pl'cita . en ella se constru.e una )rmula, denotada 0a"itualmente G en 0onor a Gdel, para la *ue dada una demostracin de la misma, puede construirse una re)utacin, . /ice/ersa. 1in em"argo, la interpretacin natural de dic0a sentencia en t!rminos de n-meros naturales es /erdadera. 1 (l segundo teorema de incompletitud es un caso particular del primero2 a)irma *ue una de las sentencias indecidi"les de dic0a teor'a es a*uella *ue a)irma la consistencia de la misma. (s decir, *ue si el sistema de a&iomas en cuestin es consistente, no es posi"le demostrarlo mediante dic0os a&iomas.

os teoremas de incompletitud de Gdel son uno de los grandes a/ances de la lgica matem#tica, . supusieron 3seg-n la ma.or'a de la comunidad matem#tica3 una respuesta negati/a al segundo pro"lema de 4il"ert.1

ndice
5ocultar6 o o o o o o o

1 7onte&to 8 9rimer teorema 8.1 7onsecuencias $ 1egundo teorema $.1 7onsecuencias : (nunciados indecidi"les ; <iscusin e implicaciones = <emostracin de los teoremas =.1 >umeracin de Gdel =.8 (&presa"ilidad. Recursi/idad =.$ <iagonali,acin =.: <emostracin del primer teorema =.; <emostracin del segundo teorema ? @!ase tam"i!n A Re)erencias 9 Bi"liogra)'a 1C (nlaces e&ternos

Contexto[editar]
os teoremas de incompletitud de Gdel esta"lecen ciertas limitaciones so"re lo *ue es posi"le demostrar mediante un ra,onamiento matem#tico. 9ara 0a"lar con precisin so"re *u! puede demostrarse o no, se estudia un modelo matem#tico denominado teor'a )ormal. Dna teor'a )ormal consta de una serie de signos . un con+unto de reglas para manipularlos . com"inarlos. Eediante estas reglas se pueden distinguir ciertas colecciones de signos como )rmulas, . ciertas sucesiones de )rmulas como demostraciones. os teoremas de una cierta teor'a son entonces todas las )rmulas *ue puedan demostrarse a partir de una cierta coleccin inicial de )rmulas *ue se asuman como a&iomas. % una teor'a )ormal se le pueden ad+udicar ciertas propiedades en )uncin de lo *ue sea capa, de demostrar.

Dna teor'a consistente no contiene contradicciones, es decir, no es posi"le demostrar a la /e, una )rmula . su contraria. Dna teor'a *ue no sea consistente no tiene utilidad2 de"ido alprincipio de e&plosin, a partir de una contradiccin pueden demostrarse todas sus )rmulas, . no sir/e para modeli,ar ra,onamientos matem#ticos.

Dna teor'a completa responde cual*uier pregunta, en el sentido de *ue para cada una de sus )rmulas o "ien es demostra"le, o "ien e&iste una demostracin de su contraria (es re)uta"le). Dna teor'a completa es ptima, . se corresponde con la intuicin so"re la /erdad lgica2 al igual *ue toda sentencia de"e ser /erdadera o )alsa, en una teor'a completa toda )rmula es demostra"le o re)uta"le.

1in em"argo, el primer teorema de incompletitud esta"lece *ue, "a+o ciertas 0iptesis, una teor'a )ormal no puede tener am"as propiedades a la /e,. a primera de ellas es *ue sea una teor'a aritm!tica, es decir, *ue sus s'm"olos sir/an para descri"ir los n-meros naturales . sus operaciones . relacionesF . *ue sea capa, de demostrar algunas propiedades "#sicas so"re ellos. a segunda 0iptesis es *ue sea una teor'a recursi/a, lo cual signi)ica *ue las reglas para manipular sus signos . )rmulas en las demostraciones 0an de poder e+ecutarse mediante un algoritmo2 una serie precisa de pasos sin am"igGedad *ue pueda lle/arse a ca"o en un tiempo )inito, e incluso implementarse mediante un programa in)orm#tico.

Primer teorema[editar]
(l enunciado del primer teorema re,a2

Primer teorema de incompletitud de Gdel Cualquier teora aritmtica recursiva que sea consistente es incompleta.
a demostracin de este teorema pasa por construir una cierta )rmula, la sentencia de Gdel G, *ue no puede ser pro"ada ni re)utada en T2 ni G ni G (la negacin de G) son teoremas de T. 1e dice entonces *ue G . G son indecidi"les o independientes en T. 9ara llegar a esta, Gdel desarroll un m!todo para codi)icar signos . )rmulas mediante n-meros, llamado numeracin de Gdel. Dsando esta numeracin, es posi"le traducir las propiedades de una teor'a )ormal T, tales como estos signos constitu.en una )rmula o estas )rmulas no son una demostracin en T, a propiedades aritm!ticas de dic0os n-meros. (n particular, la sentencia de Gdel G es una )rmula aritm!tica cu.o signi)icado es no e&iste una demostracin de G en la teor'a T, o en otras pala"ras, no so. demostra"le en la teor'a T.

Consecuencias[editar]
a sentencia de Gdel G no es demostra"le pero es cierta, pues a)irma precisamente su propia indemostra"ilidad.8 (sto signi)ica *ue ninguna teor'a aritm!tica en las condiciones del teorema es capa, de demostrar todos los enunciados /erdaderos de la aritm!tica. 1

%dem#s, aun*ue G sea )alsa (por a)irmar lo contrario *ue G) no es re)uta"le (puesto G es indemostra"le). (sta sentencia puede tomarse como a&ioma si se desea . esto no produce una contradiccin. a teor'a resultante contiene muc0os de los enunciados /erdaderos so"re los n-meros naturales . algunos )alsos, empe,ando por G. os o"+etos descritos por una teor'a as' )orman un modelo no est#ndar de la aritm!tica.$ Tomando G (o su contraria) como a&ioma se o"tiene una nue/a teor'a T' en la *ue G (o su contraria) es demostra"le autom#ticamente. 1in em"argo esto no in/alida el teorema, puesto *ue Ga)irma su indemostra"ilidad relati/a a la teor'a T. a nue/a teor'a T' es tam"i!n incompleta2 puede encontrarse una nue/a sentencia independiente G', *ue a)irma no so. demostra"le en T'. (n de)initi/a, en una teor'a )ormal *ue sea consistente . completa de"e )allar alguna de las 0iptesis2 o "ien no es recursi/a . no 0a. un algoritmo para distinguir los a&iomas del resto de )rmulasF o "ien no son aritm!ticas, . no inclu.en las propiedades "#sicas necesarias de los n-meros naturales. 9or e+emplo, en la demostracin del teorema de completitud sem#ntica se utili,an teor'as consistentes . completas *ue no son recursi/as. : 9or otro lado, la aritm!tica de 9res"urger es una coleccin de a&iomas so"re los n-meros naturales *ue omite /arias de sus propiedades, 0asta el punto de *ue una teor'a "asada en ellos puede ser consistente . completa. ;

Segundo teorema[editar]
(l segundo teorema de incompletitud muestra otro e+emplo e&pl'cito de una )rmula *ue ninguna teor'a aritm!tica puede demostrar, adem#s de G. <e nue/o, usando la numeracin de Gdel, puede encontrarse una )rmula, denotada Consis T, cu.o signi)icado es no puede encontrarse una contradiccin en T, o en otras pala"ras, T es consistente.

Segundo teorema de incompletitud de Gdel En toda teora aritmtica recursiva consistente T, la frmula Consis T no es un teorema.
a demostracin del segundo teorema re*uiere traducir el primero a una )rmula. (l primer teorema a)irma, entre otras cosas, *ue si T es consistente, entonces G no es demostra"le. a )rmula *ue a)irma la consistencia de T es Consis T, mientras *ue la )rmula *ue a)irma la indemostra"ilidad de G es la propia G. a )rmula *ue traduce el primer teorema (una parte de !l) es Consis T G, donde signi)ica implicacin. Gdel demostr *ue esta )rmula es un teorema, = . *ue por lo tanto Consis T no es un teorema2 si lo )uera, de las reglas "#sicas de T como teor'a )ormal se deducir'a *ue G es demostra"le, en contradiccin con el enunciado del primer teorema de incompletitud.

Consecuencias[editar]
(l segundo teorema de incompletitud limita las posi"ilidades de demostrar la consistencia de una teor'a )ormal T, puesto *ue no puede 0acerse utili,ando -nicamente la propia T. %dem#s, si se

encuentra una teor'a m#s )uerte T' en la *ue ConsisT pueda demostrarse, la propia consistencia de T' no podr# demostrarse en T' ni tampoco en T. 9or ello, el segundo teorema se considera una respuesta negati/a al llamado programa de 4il"ert, *ue propon'a demostrar la correccin de los ra,onamientos matem#ticos "asados en o"+etos in)initos usando tan solo ra,onamientos "asados en o"+etos )initos, menos potentes *ue los primeros.

Enunciados indecidibles[editar]
Artculo principal: Hndependencia lgica
(l primer teorema de indeci"ilidad de Gdel demuestra la e&istencia de enunciados indecidi"les o independientes en la aritm!tica de 9eano, . tanto el primero como el segundo muestran e+emplos concretos de enunciados indecidi"les. <esde entonces se 0an encontrado otros e+emplos de enunciados independientes de los a&iomas de 9eano, como por e+emplo el teorema de Ramse. )uerte. (&isten adem#s numerosos e+emplos de enunciados independientes en otras teor'as )ormales m#s )uertes *ue la aritm!tica, como la 0iptesis del continuo o el a&ioma de eleccin en teor'a de con+untosF o incluso en teor'as no directamente relacionadas con la aritm!tica, como en el caso de la geometr'a eucl'dea . el postulado de las paralelas.

Discusin e implicaciones[editar]
os resultados de incompletitud a)ectan a la )iloso)'a de las matem#ticas, particularmente a los puntos de /ista tales como el )ormalismo, *ue usa la lgica )ormal para de)inir sus principios. 1e puede para)rasear el primer teorema diciendo Inunca se podr# encontrar un sistema a&iom#tico *ue sea capa, de demostrar todas las /erdades matem#ticas . ninguna )alsedad.I 9or otra parte, desde una perspecti/a estrictamente )ormalista esta par#)rasis se considerar'a sin signi)icado por*ue presupone *ue la /erdad . )alsedad matem#ticas est#n "ien de)inidas en un sentido a"soluto, en lugar de ser relati/as a cada sistema )ormal a siguiente re)ormulacin del segundo teorema es toda/'a m#s in*uietante para los )undamentos de las matem#ticas2 Si se puede demostrar que un sistema axiomtico es consistente a partir de s mismo, entonces es inconsistente. 9or tanto, para esta"lecer la consistencia de un sistema pero una prue"a en se necesita utili,ar otro sistema ,

no es totalmente con/incente a menos *ue la consistencia de

.a se

0a.a pro"ado sin emplear

. a consistencia de los a&iomas de 9eano para los n-meros

naturales por e+emplo se puede demostrar en la teor'a de con+untos, pero no en la teor'a de los n-meros naturales por s' sola. (sto proporciona una respuesta negati/a al pro"lema n-mero dos de la )amosa lista de cuestiones a"iertas importantes en matem#ticas de <a/id 4il"ert (llamada problemas de Hilbert).

(n principio, los teoremas de Gdel toda/'a de+an alguna esperan,a2 podr'a ser posi"le producir un algoritmo general *ue para una a)irmacin dada determine si es indecidi"le o no, permitiendo a los matem#ticos e/itar completamente los pro"lemas indecidi"les. 1in em"argo, la respuesta negati/a al (ntsc0eidungspro"lem demuestra *ue no e&iste tal algoritmo. (s de notar *ue los teoremas de Gdel slo son aplica"les a sistemas a&iom#ticos suficientemente fuertes. (ste t!rmino signi)ica *ue la teor'a contiene la su)iciente aritm!tica para lle/ar a ca"o las instrucciones de codi)icacin re*ueridas por la prue"a del primer teorema de incompletud. (sencialmente, todo lo *ue se e&ige son algunos 0ec0os "#sicos so"re la adicin . la multiplicacin tal . como por e+emplo se )ormali,an en la aritm!tica J de Ro"inson. 4a. sistemas a&iom#ticos incluso m#s d!"iles *ue son consistentes . completos, por e+emplo la aritm!tica de 9res"urger*ue demuestra todas las a)irmaciones de primer orden ciertas aplicando slo la suma. (l sistema a&iom#tico puede consistir en un n-mero in)inito de a&iomas (tal . como 0ace la aritm!tica de primer orden de 9eano), pero para poder aplicarse el teorema de Gdel de"e 0a"er un algoritmo e)ecti/o *ue sea capa, a /eri)icar la correccin de las prue"as. 9or e+emplo, el con+unto de todas las declaraciones de primer orden *ue son ciertas en el modelo est#ndar de losn-meros naturales es completo. (l teorema de Gdel no se puede aplicar por*ue no 0a. ning-n procedimiento e)ecti/o *ue decide si una cierta declaracin es un a&ioma. <e 0ec0o, *ue esto sea as' es una consecuencia del primer teorema de incompletud de Gdel. Ktro e+emplo de una especi)icacin de una teor'a en la *ue el primer teorema de Gdel no es aplica"le se puede construir de la siguiente manera2 ordenemos todas las posi"les declaraciones so"re los n-meros naturales primero por su longitud . luego en orden le&icogr#)icoF comencemos con un sistema a&iom#tico inicialmente igual a los a&iomas de 9eano, repasemos la lista de declaraciones una a una, ., si la declaracin actual no se puede demostrar ni re)utar a partir del actual sistema de a&iomas, entonces aad#mosla a la lista. (sto crea un sistema *ue es completo, consistente . su)icientemente potente, pero no recursi/amente enumera"le. (l propio Gdel slo demostr una /ersin de los teoremas arri"a e&puestos *ue es t!cnicamente un poco m#s d!"ilF la primera demostracin de las /ersiones descritas arri"a )ue dada por L. BarMle. Rosser en 19$=. (n esencia, la prue"a del primer teorema consiste en construir una declaracin dentro de un

sistema )ormal a&iom#tico al *ue se le puede dar la siguiente interpretacin meta matem#tica2 (sta declaracin no se puede pro"ar. 7omo tal, puede /erse como una /ersin moderna de la parado+a del mentiroso. %l contrario de la declaracin del mentiroso, no se re)iere directamente a s' mismoF la

interpretacin de arri"a slo se puede I/erI desde )uera del sistema )ormal.

(n un tra"a+o pu"licado en 19;? en Journal of Symbolic Logic, Ra.mond 1mull.an mostr *ue los resultados de incompletitud de Gdel pueden o"tenerse para sistemas muc0o m#s elementales *ue los considerados por Gdel. 1mull.an tam"i!n 0a rei/indicado las prue"as m#s simples con el mismo alcance, "asadas en los tra"a+os de %l)red TarsMi so"re el concepto de /erdad en los sistemas )ormales. E#s simples, pero no menos pertur"adoras )ilos)icamente. 1mull.an no 0a plasmado sus re)le&iones so"re incompletitud slo en o"ras t!cnicasF tam"i!n 0an inspirado c!le"res li"ros de di/ulgacin como !"mo se llama este libro#. 1i el sistema a&iom#tico es consistente, la prue"a de Gdel muestra *ue no se pueden demostrar en el sistema. 9or tanto es cierto ( (. su negacin)

a)irma no ser demostra"le

. no lo es) ., sin em"argo, no se puede pro"ar )ormalmente en el sistema. N'+ese *ue aadir a los a&iomas del sistema no resol/er'a el pro"lema2 0a"r'a otra sentencia de

Gdel para la teor'a ampliada. Roger 9enrose a)irma *ue esta (presunta) di)erencia entre lo que se puede probar mecnicamente . lo que los $umanos pueden %er como cierto muestra *ue la inteligencia 0umana no es mec#nica en su naturale,a. Tam"i!n Lo0n R. ucas se 0a ocupado de est# cuestin en &entes, &quinas y '(del.? (sta perspecti/a no est# ampliamente aceptada, por*ue tal . como lo plantea Ear/in EinsM., la inteligencia 0umana es capa, de errar . de comprender declaraciones *ue son en realidad inconsistentes o )alsas. 1in em"argo, EinsM. 0a in)ormado de *ue Kurt Gdel le di+o a !l en persona *ue !l cre'a *ue los seres 0umanos tienen una )orma intuiti/a, no solamente computacional, de llegar a la /erdad . por tanto su teorema no limita lo *ue puede llegar a ser sa"ido como cierto por los 0umanos. @!anse Refutaciones a la interpretacin de Penrose en los )nlaces en *ngl+s de la seccin )nlaces externos y referencias a posicin de *ue el teorema muestra *ue los 0umanos tienen una 0a"ilidad *ue transciende la lgica )ormal tam"i!n se puede criticar de la siguiente manera2 >o sa"emos si la sentencia es cierta o no, por*ue no sa"emos (ni podemos sa"er) si el sistema es

consistente. <e modo *ue en realidad no sa"emos ninguna /erdad *ue est! )uera del sistema. Todo lo *ue sa"emos es lo siguiente2 K es indemostra"le dentro del sistema, o el sistema es inconsistente. (sta declaracin es )#cilmente demostra"le dentro del sistema. tra implicacin es *ue el tra"a+o de Gdel moti/ a %lan Turing (1918O19;:) a estudiar *u! )unciones eran suscepti"les de poder ser calculadas . cu#les no. 9ara ello se sir/i de su E#*uina de Turing, una m#*uina de propsito general mediante la *ue )ormali, las )unciones . procedimientos de c#lculo. <emostrando *ue e&ist'an

)unciones *ue no son posi"les de calcular mediante la E#*uina de Turing. (l paradigma de este con+unto de )unciones lo representa la )uncin *ue esta"lece Isi dada una E#*uina de Turing, !sta produce un resultado o, por el contrario, se *ueda calculando inde)inidamenteI. (sta )uncin, conocida con el nom"re de 9ro"lema de parada (4alting 9ro"lem), ser# pie,a )undamental para demostrar la incomputa"ilidad de ciertas )unciones.

Demostracin de los teoremas[editar]

a demostracin de los teoremas de incompletitud se "asa en tres conceptos2

1.
8.

a numeracin de Gdel, *ue permite traducir las teor'as )ormales a operaciones de aritm!tica pura. a potencia e&presi/a de las teor'as )ormales aritm!ticas, cu.as e&presiones recogen dic0as operaciones.

3.

(l lema diagonal, *ue permite *ue las )rmulas sean autorre)erentes.

(l enunciado original de"ido a Gdel, cu.a demostracin se es"o,a en esta seccin, es m#s d!"il *ue el presentado arri"a, .a *ue en lugar de la consistencia de la teor'a , se e&ige una propiedad m#s )uerte, la POconsistencia.

Una teora aritmtica es -inconsistente si, para alguno de sus teoremas formales de la forma x, (x), puede refutarse cualquier caso particular, esto es, puede probarse ([n]), para cada numeral [n]. Una teora que no es -inconsistente se dice consistente.
( os numerales [n] son los s'm"olos *ue utilice el lengua+e de la teor'a para especi)icar los n-meros naturales concretos. (n el e+emplo de la aritm!tica de 9eano en la seccin siguiente, los numerales son los s'm"olos dados por2 [0] 0, [1] S0, [2] SS0, etc.) a POconsistencia implica la consistencia (pero no al re/!s). (l enunciado )uerte, en el *ue slo se re*uiere la consistencia de la teor'a )ue pro"ado por L. B. Rosser mediante un m!todo mu. similar.

!umeracin de Gdel[editar]
Artculo principal: >umeracin de Gdel
a numeracin de Gdel es una 0erramienta *ue permite relacionar las teor'as )ormales con la aritm!tica. (l lengua+e de una teor'a )ormal de primer orden est# compuesto por una cantidad 3a lo sumo3 numera"le de signos, como por e+emplo2 , , , |, =, x , y , z , ... , 0 , + , , S

en el caso del lengua+e de la aritm!tica de 9eano, donde adem#s de los s'm"olos lgicos . las /aria"les, aparecen algunos s'm"olos adicionales para la arim!tica (donde S es el s'm"olo para denotar el n-mero siguiente a). Tam"i!n el con+unto de todas las cadenas (sucesiones )initas de signos) es numera"le, as' como el con+unto de las sucesiones )initas de cadenas. Dna numeracin de Gdel es una asignacin de un -nico n-mero natural para cada elemento de cada uno de estos tres con+untos2 signos, cadenas de signos . sucesiones de cadenas.

[Contraer] Ejemplo Una posible o!i"i a i#n para los si$nos, a!enas % s& esiones !e a!enas es la si$&iente. 'ara los si$nos se a!opta( )* + 10 , )* + 11 , )* + 12 , )|* + 13 , )=* + 1, , )0* + 1- , )S* + 1. , )+* + 1/ , )* + 10 , )x* + 20 , )y* + 2000 , )z* + 200000 , ... 1a!a &na a!ena !e si$nos, se a!opta el riterio !e )apilar* los n23eros !e 45!el !e s&s si$nos, on &n // ini ial para in!i ar 6&e se trata !e &na a!ena( )x + [-] = 0* se torna en( //72071/71.71.71.71.71.71-71,71-, es !e ir, en //201/1.1.1.1.1.1-1,1'ara &na s& esi#n !e a!enas !e si$nos, p&e!e a!optarse &n on8enio si3ilar, on &n 00 ini ial, para in!i ar 6&e se trata !e &na s& esi#n( 9a s& esi#n )0 = 1, y + 1 = 0* se on8ierte en( 007//71-71,7 1.71-7//7200071/71.71-71,71-, es !e ir en( 00//1-1,1.1-//20001/1.1-1,19uesto *ue la manipulacin de estos signos, cadenas . sucesiones puede traducirse en manipulacin de unos ciertos n-meros, tanto la sinta&is *ue distingue las cadenas de signos con sentido 3las )rmulasQ como el c#lculo deducti/o *ue distingue las sucesiones de cadenas *ue demuestran algo 3las demostraciones3 se /en traducidas a operaciones aritm+ticas. (s decir, e&isten una serie de relaciones . )unciones aritm!ticas *ue se corresponden con las reglas sint#cticas . del c#lculo deducti/o, como por e+emplo2 Si$ x 2 x es (el n-mero de Gdel de) un signo

Ca! x 2 x es (el n-mero de Gdel de) una cadena (de signos) (1e omite el n-mero de Gdel de en adelante) S& x 2 x es una sucesin (de cadenas) :or3 x 2 la cadena x es una )rmula ;< x 2 la )rmula x es un a&ioma Cons(x, y, z)2 x es una )rmula consecuencia inmediata de las )rmulas y . z