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