Teorema de Löb
Löb's theorem
- Fecha
- 1955 · fiabilidad alta
- Lugar
- Ámsterdam, Holanda Septentrional, Países Bajos
- Autoría
- Martin Löb
- Ámbito
- Saber y símbolos
Qué se descubrió
Teorema de lógica matemática que establece que, en la aritmética de Peano o cualquier sistema formal que la incluya, si es demostrable que «si P es demostrable entonces P es verdadera», entonces P es demostrable; resuelve un problema planteado por Leon Henkin sobre la autorreferencia en sistemas formales; demostrado por Martin Löb.
A qué dio paso
- Resultado fundamental de la lógica de la demostrabilidad (sistema GL)
- Influencia en el estudio de la autorreferencia y los teoremas de Gödel
- Aplicaciones en teoría de tipos y verificación de programas