Las matemáticas tienen verdades indemostrables
Los teoremas de Kurt Gödel de 1931 probaron que los sistemas matemáticos robustos contienen verdades que no pueden probar. Esto reveló límites fundamentales en la lógica y la computación.
En 1931, el matemático Kurt Gödel reveló algo sorprendente. Incluso los sistemas matemáticos más potentes no pueden probar todas sus verdades. Sus teoremas de incompletitud lo demostraron. Cualquier sistema consistente de aritmética básica tendrá proposiciones verdaderas. Pero no podrá probarlas ni refutarlas. Esto acabó con el sueño de un sistema matemático completo y consistente.
Hay más sobre esta historia — abre la app para seguir leyendo.
Seguir Leyendo en la App
1 párrafos más · más un cuestionario de 3 preguntas