Aunque no es un texto matemático formal, esta obra aborda la recursividad, los sistemas formales y los fundamentos de las matemáticas, temas periféricos pero conectados a la búsqueda de Hilbert de axiomatizar la matemática y entender sus límites. La búsqueda de patrones y la estructura subyacente es común a ambos.





















