¿Puede existir un sistema formal capaz de demostrar todas las verdades aritméticas y certificar al mismo tiempo su propia consistencia? Gödel mostró que, bajo condiciones precisas, la respuesta es no. Este capítulo explora los teoremas de incompletitud, la codificación de fórmulas y demostraciones mediante números y la construcción de una proposición que, en esencia, afirma su propia indemostrabilidad. El resultado no dice que la matemática sea incierta ni que todo sea relativo. Dice algo mucho más exacto: cualquier sistema efectivo, consistente y suficientemente potente para expresar aritmética tendrá límites internos que no puede eliminar usando solamente sus propias reglas.

See omnystudio.com/listener for privacy information.

¿Puede existir un programa capaz de analizar cualquier otro programa y decidir siempre si terminará o seguirá ejecutándose para siempre? Alan Turing demostró que no. Este capítulo explora la máquina de Turing, la idea de computación universal y el problema de la parada, una de las fronteras fundamentales de la informática teórica. Mediante una construcción autorreferencial, Turing mostró que ciertos problemas no son simplemente demasiado difíciles para nuestras computadoras: ningún algoritmo general capaz de resolverlos puede existir. La misma teoría que ayudó a definir qué significa computar también reveló que la computación tiene límites imposibles de superar con más velocidad o memoria.

See omnystudio.com/listener for privacy information.

Uno más dos más tres más cuatro y así para siempre crece sin límite. Entonces, ¿por qué aparece tantas veces escrito que esa suma vale −1/12? Este capítulo explora la diferencia entre una serie divergente y un valor regularizado, desde la sumación de Cesàro hasta la prolongación analítica de la función zeta de Riemann. El famoso −1/12 no es la suma ordinaria de los enteros positivos, sino el resultado de extender cuidadosamente otra estructura matemática. La paradoja desaparece cuando se formula la pregunta correcta. El problema nunca fue la aritmética: fue usar la palabra “suma” sin decir exactamente qué operación estábamos realizando.

See omnystudio.com/listener for privacy information.

Cuatro colores bastan para colorear cualquier mapa sin que dos regiones vecinas compartan color. La afirmación puede explicarse en segundos; demostrarla llevó más de un siglo. En 1976, Kenneth Appel y Wolfgang Haken consiguieron una prueba que dependía de extensos cálculos realizados por computadora. Este capítulo recorre el error de Kempe, las configuraciones reducibles y la estrategia que finalmente resolvió el problema, para llegar a una pregunta incómoda: ¿qué significa verificar una demostración que ningún matemático puede revisar completamente a mano? El teorema de los cuatro colores no solo resolvió un problema. También cambió la discusión sobre qué puede considerarse una prueba.

See omnystudio.com/listener for privacy information.

Hay tantos números pares como números naturales, aunque los pares parezcan ser solo la mitad. Y esa es apenas la primera rareza. Este capítulo explora cómo Georg Cantor convirtió el infinito en un objeto matemático capaz de compararse, ordenarse y dividirse en distintos tamaños. Naturales, enteros y racionales comparten una cardinalidad, pero los números reales forman un infinito estrictamente mayor. A través de correspondencias uno a uno y del argumento diagonal, aparece una conclusión todavía más extraña: no existe un único infinito ni tampoco uno máximo. Siempre puede construirse otro más grande.

See omnystudio.com/listener for privacy information.