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