A pesar de que las matemáticas son la disciplina más pura y estricta, el campo del conocimiento más poderoso y elegante ¡tienen un serio problema! Y el matemático Kurt Gödel demostró que es un problema irreparable
En este video explicaremos de manera sencilla cómo funcionan los teoremas de incompletitud de Gödel y qué implicaciones tienen: ¡como el hecho de que Estados Unidos pueda convertirse en una dictadura! ¿Gödel predijo esto?.
¿Gödel predijo esto?
Lo que Kurt Gödel hizo en 1931 no fue solo un descubrimiento matemático; fue un infarto intelectual al corazón del racionalismo. En una época donde genios como David Hilbert buscaban demostrar que las matemáticas eran un sistema cerrado, completo y perfecto, Gödel llegó con un par de martillos lógicos y demolió el edificio.
Aquí te explico por qué estos teoremas significan que siempre habrá misterios que la lógica no puede resolver.
El Primer Teorema: Verdad vs. Demostración
Gödel demostró que en cualquier sistema lógico lo suficientemente complejo (como la aritmética), existen afirmaciones que son verdaderas, pero que son imposibles de demostrar dentro de ese mismo sistema.
- La paradoja del mentiroso: Gödel usó una versión matemática de la frase «Esta oración es falsa». Creó una fórmula aritmética que, traducida al lenguaje común, dice: «Esta afirmación no puede ser demostrada».
- El dilema: * Si la afirmación se puede demostrar, entonces el sistema está demostrando algo que dice que no se puede demostrar (el sistema es inconsistente y miente).
Si la afirmación no se puede demostrar, entonces la afirmación es verdadera (porque ella misma decía que no se podía demostrar).
- Conclusión: Las matemáticas son incompletas. Siempre habrá verdades flotando fuera del alcance de nuestras reglas.
Contenido:
00:00 Introducción
00:38 Odoo
01:41 Formalistas VS Intuicionistas
03:02 Axiomas y teoremas
05:16 La vecindad de las matemáticas
05:46 ¿Las matemáticas son completas, consistentes y decidibles?
10:42 La proposición G y el barbero
11:22 Los teoremas de incompletitud de Gödel
12:44 ¿Implicaciones políticas?
¿Te gustó el artículo? Como sabes, tenemos mucho más para ti. Únete a Curadas haciendo clic en este enlace