Mientras que el libro de referencia se centra en formalismos matemáticos, este libro expande la discusión a las implicaciones filosóficas y cognitivas de la autorreferencia y los sistemas formales. Conecta los "principios de las matemáticas" con la conciencia y la inteligencia artificial de una manera que un matemático purista no abordaría directamente.























