Principio de Paris-Harrington
Paris–Harrington theorem
- Fecha
- 1977 · fiabilidad media
- Lugar
- Manchester, Reino Unido
- Autoría
- Leo Harrington y Jeff Paris
- Ámbito
- Saber y símbolos
Qué se descubrió
Teorema de Jeff Paris y Leo Harrington que muestra que una versión reforzada del teorema finito de Ramsey, verdadera y expresable en aritmética de Peano, no puede demostrarse dentro de ese sistema, ofreciendo el primer ejemplo natural del fenómeno señalado por Gödel.
A qué dio paso
- Primer ejemplo natural de incompletitud en aritmética de Peano
- Impulso a la teoría de la demostración y la combinatoria de Ramsey
- Estímulo a la búsqueda de otros enunciados independientes naturales