....Por ejemplo, el propio Gödel contribuyó a establecer que la hipótesis del continuo, relativa a los tamaños del infinito, era indecidible. Lo mismo ocurre con el problema de la parada, o la pregunta de si un programa informático que recibe una entrada aleatoria continuará calculando para siempre o acabará deteniéndose antes o después.
En el año 1931, el matemático austriaco Kurt Gödel demostró dos teoremas que cambiarían nuestra visión sobre las matemáticas para siempre: los teoremas de Incompletitud. Estos recaen en el área de la lógica matemática y son un golpe directo a los pilares de las matemáticas, los axiomas. En este vídeo vamos a tratar de entender por qué estos resultados son tan importantes.
El objetivo de esta entrada es realizar un pequeño paseo por algunas canciones, de grupos de diferentes estilos musicales, dedicadas a objetos matemáticos, como los números primos, la sucesión de Fibonacci, el número Pi o el conjunto de Mandelbrot.
A continuación, os propongo el problema de esta semana. Ahí va:
No pongo todavía de dónde lo he sacado para que todo el que quiera pueda intentarlo. Si sabéis de dónde proviene, os agradecería que no dijerais nada. Muchas gracias.
Una felicitación para el nuevo año nos sumerge en la historia de los sistemas de numeración binarios, los métodos estenográficos de encriptación, la numerología presente en las obras renacentistas y los orígenes del signo de la substracción.
Dante, Bacon, Botticelli y Leibniz se dan cita en esta nueva entrega de suspense matemático conducida por el matemático Pepe Vitruvio.