Una interesante entrevista (en inglés) de Rudy Rucker a Stephen Wolfram, sobre el próximo lanzamiento de Wolfram|Alpha, y la computabilidad de la verdad y el conocimiento.
Interesante también la referencia al ensayo de Jorge Luis Borges, “El idioma analítico de John Wilkins“.