Introduccin al Teorema de Gdel

Eduardo Alejandro Barrio UBA - CONICET www.accionfilosofica.com 2do Cuatrimestre de 2009

23 problemas fundamentales de la matemtica

En 1900, en el Segundo Congreso internacional de Matemtica (Pars): Segundo Problema: Es la matemtica consistente?

David Hilbert (1862 - 1943)

Teora de la Computabilidad
Alan Turing desarroll un modelo formal de cmputo: la mquina de Turing Algoritmo: Procedimiento efectivo

Resultado: hay problemas que una Computadora ideal no puede resolver Si se le formulan a una mquina ideal, se cuelga!

Turing en 1936

Teora de la Computabilidad
Funciones efectivamente calculables: Funciones recursivas.

Alonso Church

Teora de la Computabilidad
Todos los lenguajes de programacin y todas las computadoras resuelven slo problemas que puede resulver una mquina de Turing. No es posible construir un sistema de cmputo que sea ms potente que una mquina de Turing Decidiendo lo indecidible: Lo efectivo es lo que una computadora puede resolver. Hay un mtodo efectivo para decidir si una frmula cualquiera de la aritmtica es un teorema? Hay problemas aritmticos que estn ms all de toda capacidad de cmputo?

Aritmetizando la aritmtica

Podr expresarse toda propiedad aritmtica dentro de la aritmtica? Teorema de la aritmtica Verdad aritmtica

Taller de Lgica: El teorema de Gdel

Kurt Gdel (1931) Sobre las proposiciones formalmente indecidibles de los Principia Mathematica y sistemas conexos Problema: Fundamentos de las Matemticas Aplicar el mtodo axiomtico para las matemticas

PM (Principia Mathematica) Define las entidades matemticas (nmeros) usando lgica. - Conjunto infinito de todos los teoremas de PM - Conjunto infinito de todas las verdades de PM. Axiomatizacin perfecta de las matemticas: Deriva como teoremas todas las verdaderas matemticas y ninguna falsedad desde un conjunto finito de Ax, aplicando mecanicamente las reglas de inferencia.

Introduccin al Teorema de Gdel

Podra una computadora demostrar todas las verdades? Yo soy una verdad indemostrable Si la computadora la puede demostrar, el sistema es inconsistente (admite contradicciones) Si no la puede demostrar, lo que dice es lo que sucede. Por lo tanto, hay una verdad indemostrable.

El teorema de Gdel

Sistema axiomtico incompleto: Es posible probar algunas, pero no todas, las frmulas verdaderas, y ninguna frmula falsa a partir de un nmero finito de axiomas aplicando reglas de inferencia. Sistema axiomtico inconsistente: Es posible probar A y A. La numeracin de Gdel: NMERO DE GDEL: Gdel demostr que es posible asignar un nico nmero a cada signo elemental, a cada frmula y a cada prueba. Gdel demostr que todas las proposiciones metamtemticas acerca de las propiedades estructurales contenidas en el clculo pueden ser reflejadas dentro del clculo mismo. A cada expresin del clculo le est asociado un nmero de Gdel. Por eso, puede construirse una proposicin metamatemtica acerca de las expresiones y de

Taller de Lgica: El teorema de Gdel

La numeracin de Gdel: NMERO DE GDEL: Gdel demostr que es posible asignar un nico nmero a cada signo elemental, a cada frmula y a cada prueba. ( 8  4 x ) ( x 8 11 = 5 s y )

11 9

7 13 9

ARITMETIZACIN DE LA METAMATEMTICA: Gdel demostr que todas las proposiciones metamtemticas acerca de las propiedades estructurales contenidas en el clculo pueden ser reflejadas dentro del clculo mismo.

Taller de Lgica: El teorema de Gdel

A cada expresin del clculo le est asociado un nmero de Gdel. Por eso, puede construirse una proposicin metamatemtica acerca de las expresiones y de sus recprocas relaciones como una proposicin acerca de los correspondinetes nmeros de Gdel y de sus recprocas relaciones aristmticas. Ejemplo de proposicin metamatemtica: La sucecin de frmulas con nmero de Gdel x es una prueba de la frmula con nmero de Gdel z Relacin aritmtica entre x y z: Dem (x,z) La proposicin metamatemtica una cierta sucesin de frmulas constituye una prueba de una frmula dada es verdadera ssi el nmero de Gdel de la pretendida prueba est con el nmero de Gdel de la conclusin en la relacin aritmtica designada como Dem. Por eso, para establecer la verdad de una proposicin metamatemtica slo nos interesa si la relacin Dem se mantiene entre dos nmeros.

Introduccin al Teorema de Gdel

Teorema de incompletitud de Gdel En todo sistema de axiomtico que tenga por lo menos la complejidad de la aritmtica, hay frmulas que no pueden probarse o refutarse mediante deducciones formales basadas en los axiomas del sistema.

- o la aritmtica es consistente o la aritmtica es incompleta

Taller de Lgica: El teorema de Gdel

Estrategia de la Prueba: Tesis: En PM hay frmulas verdaderas que no pueden probarse. Encontrar un caso G: Yo no soy demostrable.

La frmula G de Gdel : Esta frmula de la teora de nmeros no tiene ninguna prueba en PM G no tiene una prueba, pero es verdadera! Si G fuera probable, entonces PM sera inconsistente. Si G fuera no probable, entonces PM sera incompleto. Por eso, PM no puede ser completo y consistente!

Introduccin al Teorema de Gdel

Segundo teorema de Gdel: Si PA es consistente, entonces PA no puede probar como teorema una frmula que afirme su propia consistencia. No hay ninguna teora ms dbil que PA que pueda demostrar la consistencia de PA. Qu pasa con el programa de Hilbert?

Taller de Lgica: El teorema de Gdel

Gdel demostr que es imposible establecer la consistencia lgica interna de una amplia clase de sistemas deductivos (dentro de los que se incluye la aritmtica), a menos que se adopten principios tan complejos de razonamiento que su consistencia interna quede tan sujeta a la duda como la de los propios sistemas. Toda formulacin axiomtica consistente de la teora de nmeros incluye frmulas indecidibles. Frmula indecidible: no puede probarse o su verdad o su falsedad dentro de la teora de nmeros.