Teorema de Löb
De Wikipedia, la enciclopedia encyclopedia
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
, entonces
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.