Teorema de Löb

Teorema de Löb

En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula P, se puede demostrar que "si P es demostrable entonces P", entonces P es demostrable. O sea:

si T \vdash Dem(\#P) \rightarrow P, entonces T \vdash P

donde Dem(#P) significa que la fórmula con número de Gödel #P es demostrable en T.

El teorema de Löb debe su nombre a Martin Hugo Löb.

El teorema de Löb en la lógica demostrativa

La lógica demostrativa se abstrae de los detalles de las fórmulas utilizadas en los teoremas de incompletitud de Gödel expresando la demostrabilidad de P en el sistema dado en el lenguaje de la lógica modal, por medio de la modalidad \Box P.

Se puede formalizar el teorema de Löb mediante el axioma:

\Box(\Box P\rightarrow P)\rightarrow \Box P,

Este axioma se conoce como el axioma GL, por Gödel-Löb. El mismo a veces es formalizado por medio de la siguiente regla de inferencia:

\frac{\Box P\rightarrow P}{\Box P}

La lógica demostrativa GL que resulta de tomar la lógica modal K4 y agregarle el axioma GL es el sistema investigado con mayor intensidad en la lógica demostrativa.

Enlaces externos

El teorema de Löb en PlanetMath

Referencias

Hinman, P. (2005). Fundamentals of Mathematical Logic. A K Peters. ISBN 1-56881-262-0. 


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Lógica doxástica — La lógica doxástica (del griego antiguo δόξα, doxa, creencia ) es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar el razonador c cree que p es… …   Wikipedia Español

  • Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …   Wikipedia Español

  • Lógica demostrativa — La lógica demostrativa es una lógica modal, en la que el operador caja (o necesidad ) es interpretado significando debe ser demostrado que . El aspecto que se desea capturar es la noción de un predicado de demostración de una teoría formal… …   Wikipedia Español

  • Loeb — puede referirse a: Apellido Caroline Loeb, actriz, cantante y directora de teatro francesa. Chuck Loeb, compositor y guitarrista de jazz estadounidense. Jacques Loeb, fisiólogo y biólogo estadounidense nacido en Alemania. Jeph Loeb, guionista de… …   Wikipedia Español

  • Paolo Pasolini — Pier Paolo Pasolini Pier Paolo Pasolini (* 5. März 1922 in Bologna; † 2. November 1975 in Ostia) war ein italienischer Filmregisseur, Dichter und Publizist …   Deutsch Wikipedia

  • Pier-Paolo Pasolini — (* 5. März 1922 in Bologna; † 2. November 1975 in Ostia) war ein italienischer Filmregisseur, Dichter und Publizist …   Deutsch Wikipedia

  • Pier Pasolini — Pier Paolo Pasolini Pier Paolo Pasolini (* 5. März 1922 in Bologna; † 2. November 1975 in Ostia) war ein italienischer Filmregisseur, Dichter und Publizist …   Deutsch Wikipedia

  • Pier Paolo Pasolini — (* 5. März 1922 in Bologna; † 2. November 1975 in Ostia) war ein italienischer Filmregisseur, Dichter und Publizist. Inhaltsverzeichnis 1 Leben 1.1 Kindheit und Jugend …   Deutsch Wikipedia

  • Das Mädchen, das die Seiten umblättert — Filmdaten Deutscher Titel Das Mädchen, das die Seiten umblättert Originaltitel La tourneuse de pages …   Deutsch Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”