Gödel, Escher, Bach: Un Eterno y Grandioso Bucle
Douglas Hofstadter·1979·no ficcion
Aunque no es un tratado de filosofía matemática ortodoxo, Hofstadter retoma la esencia del programa logicista de Russell, pero lo expande y reinterpreta a través de la cibernética, la inteligencia artificial y la teoría de los sistemas recursivos, examinando las limitaciones fundamentales de los sistemas formales de una manera poco convencional. Conecta con la búsqueda de fundamentos de las matemáticas, pero desde una perspectiva mucho más amplia y creativa.























