¿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.

Un barbero afeita a todos los hombres que no se afeitan a sí mismos, y solamente a ellos. Entonces, ¿quién afeita al barbero? Detrás de este acertijo existe una contradicción que sacudió los fundamentos de la matemática. Este capítulo explora la paradoja de Russell, el problema de formar conjuntos sin restricciones y su impacto sobre el proyecto lógico de Frege. La respuesta no fue abandonar la teoría de conjuntos, sino reconstruirla mediante reglas mucho más estrictas. A veces una crisis matemática no comienza con una ecuación imposible, sino con una definición perfectamente clara que resulta demasiado peligrosa para existir.

See omnystudio.com/listener for privacy information.