En 1936 escribe un artículo titulado Sobre los números computables, con una aplicación al Entscheidungsproblem (en alemán en el original). La palabra Entscheidungsproblem es un término acuñado por el matemático alemán David Hilbert que puede traducirse como "problema de la decisión (o decidibilidad)". Hace referencia a un problema central de las Matemáticas que puede expresarse como sigue: dada una proposición matemática, ¿es posible encontrar siempre un procedimiento que decida si la proposición es verdadera o falsa? ...

01 octubre 2011