Das Kontinuum

Ambos libros exploran los fundamentos y límites de sistemas formales y su relación con la realidad. Weyl examina los fundamentos de las matemáticas, mientras que Chomsky investiga los fundamentos del lenguaje, aplicando un rigor conceptual similar para desentrañar las estructuras básicas que subyacen a fenómenos complejos. La "continuidad" del lenguaje y las reglas que lo rigen son análogas a la continuidad matemática y sus principios de construcción.

Mientras que Principia Mathematica busca construir la matemática a partir de la lógica pura, Das Kontinuum de Weyl examina críticamente las bases de uno de los conceptos centrales de esa matemática: el continuo. Ambos autores comparten la preocupación por la fiabilidad y la construcción rigurosa de las matemáticas, aunque Weyl, influenciado por los problemas de la impredicatividad, se distancia del logicismo ingenuo de Russell en su intento de proveer una base constructiva para el análisis.

La obra de Brouwer es fundamental para comprender una de las críticas más influyentes a los fundamentos de las matemáticas que también preocupaba a Weyl. Weyl fue inicialmente crítico con el intuicionismo pero, como se menciona en los recursos de búsqueda, se convirtió en un "converso" al intuicionismo brouweriano en la década de 1920. Ambos exploran las implicaciones constructivas del razonamiento matemático y los límites del continuo clásico.

Aunque no directamente relacionado con el continuo de Weyl, este libro representa una aplicación fundamental del rigor matemático, en particular el análisis funcional y los espacios de Hilbert (un campo en el que Weyl también tuvo contribuciones significativas), a una nueva disciplina científica. Muestra la ambición de establecer bases axiomáticas sólidas, un eco del programa de Hilbert al que Weyl, su discípulo, se adhirió de alguna manera y también criticó.

Frege es considerado uno de los padres de la lógica matemática moderna y sus 'Fundamentos de la Aritmética' intentan justificar los números naturales a partir de conceptos lógicos. La obra de Weyl, aunque crítica con ciertos aspectos del logicismo (especialmente en su preocupación por la impredicatividad), se inscribe en la misma tradición de fundamentación rigurosa de las matemáticas que Frege inició, aunque con un enfoque diferente en la naturaleza de los objetos matemáticos y el continuo.

Ambos libros se caracterizan por una estructura muy formal y un razonamiento axiomático. El 'Tractatus' de Wittgenstein busca establecer los fundamentos lógicos del lenguaje y el mundo de una manera concisa y numerada, similar a la forma en que Weyl intenta construir el continuo a partir de principios fundamentales. Ambos se enfrentan a la ardua tarea de delimitar qué se puede decir y qué se puede construir de manera coherente y formal.