Hay libros que no son simplemente libros, sino sistemas estelares intelectuales. «From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931», editado por Jean van Heijenoort y publicado por Harvard University Press en 1967, pertenece a esa categoría de obras cuya sola presencia física parece irradiar autoridad compacta y definitiva.
El volumen —grueso, de más de seiscientas páginas— posee esa dignidad joyante de las antiguas ediciones universitarias anglosajonas: tipografía sobria, papel resistente, encuadernación concebida para décadas de estudio y no para el consumo festivo de novedades efímeras. El ejemplar clásico de Harvard, con su tela oscura y su lomo discretamente estampado en oro mate, recuerda aquellos libros nacidos para sobrevivir en bibliotecas de seminario, entre anaqueles de roble encerado y lámparas verdes de lectura.
Abrirlo produce una impresión singular: la de entrar como en un salón de reminiscencias casi dieciochescas donde el pensamiento occidental aprendió a formalizarse a sí mismo. Allí están Frege, Peano, Cantor, Hilbert, Russell, Zermelo, Löwenheim, Skolem, Brouwer, Gödel. No comentados desde lejos, sino presentes en su propia voz, en traducciones inglesas cuidadosamente preparadas y acompañadas de notas introductorias de humanista precisión filológica.
Hay una voluptuosidad sexual en recorrer sus páginas. Los símbolos lógicos —∃, ∀, ⊃— aparecen impresos con una nitidez lapidaria sobre el papel ligeramente amarfilado. Las fórmulas de Frege semejan arborescentes dendritas; los textos de Hilbert poseen la frialdad de un álgebra en un cielo gélido norteño; Gödel entra al final del volumen como una especie de ángel exterminador que anuncia los límites inconmensurables de la razón formal.
La lógica simbólica —ese intento de convertir el pensamiento en un mecanismo transparente— termina dependiendo del tacto del lino editorial, de la calidad del papel y de la persistencia de las bibliotecas humanas.
Multitudo non sequitur 