Categorías para el trabajo del matemático

Aunque no es un tratado de matemáticas puras, "Gödel, Escher, Bach" comparte con "Categorías para el trabajo del matemático" una exploración profunda de las estructuras fundamentales del pensamiento y la creación. Rompe con la formalidad exclusiva para revelar cómo principios abstractos como la recursión o la autorreferencia no son exclusivos de una disciplina, sino que subyacen en la creatividad humana en múltiples dominios.

Mientras Mac Lane categoriza el pensamiento matemático para su funcionamiento interno, Kuhn categoriza el proceso del progreso científico en sí. Ambos buscan estructuras que dan forma a cómo se genera y organiza el conocimiento en sus respectivos campos, uno desde lo ontológico-matemático y el otro desde lo epistemológico-histórico, siendo una conexión no obvia al trascender el contenido específico.

Ayer explora los fundamentos del conocimiento y la "validez" de las afirmaciones, lo cual dialoga profundamente con el intento de Mac Lane de categorizar la estructura de las matemáticas. Ambos libros, aunque de campos diferentes (filosofía analítica vs. teoría de categorías), comparten el interés por elucidar qué es lo que hace que ciertas "declaraciones" o "estructuras" sean inteligibles y operacionales dentro de un sistema de pensamiento coherente.

Si Mac Lane busca las categorías que estructuran el pensamiento matemático, Cassirer busca las formas simbólicas que estructuran todo el pensamiento humano, incluyendo la "ciencia" como una de ellas. Comparten una ambición similar de entender los marcos fundamentales a través de los cuales la mente humana organiza y opera sobre el mundo, viendo las matemáticas como una de las más elevadas expresiones de esta capacidad simbólica y categórica.

Vernant, un historiador del pensamiento griego, se enfoca en cómo incluso las "categorías" más básicas para organizar el mundo (tiempo, espacio, causalidad) fueron inventadas y desarrolladas culturalmente. Esto complementa a Mac Lane al ofrecer una perspectiva histórico-cultural sobre el origen de las estructuras categóricas que usamos para dar sentido, incluso en disciplinas tan abstractas como las matemáticas, lejos de una visión ahistórica.

Ulam, contemporáneo y colega de muchos de los pensadores de categorías, ofrece una perspectiva personal e íntima sobre las preocupaciones fundamentales que condujeron a la necesidad de estructuras organizativas en las matemáticas avanzadas. Su enfoque sobre cómo los problemas impulsan nuevas formas de categorización y abstracción resuena con los objetivos de Mac Lane, pero a través de una lente biográfica y más vivencial, proporcionando un contrapunto menos formalista.

Al igual que "Categorías para el trabajo del matemático" busca establecer una estructura axiomática y fundamental para las matemáticas a través de la teoría de categorías, "Fundamentos de la Aritmética" de Frege hace algo similar para los números, construyendo su estructura a partir de la lógica. Ambos libros emplean un enfoque altamente formalizado y deductivo para definir y relacionar conceptos desde sus principios más básicos, estableciendo una jerarquía y un orden fundamental.

El "Tractatus" es estructuralmente muy similar al libro de Mac Lane en su presentación. Ambos presentan una serie de proposiciones o definiciones rigurosamente numeradas y organizadas de manera jerárquica para construir un sistema conceptual complejo. Wittgenstein intenta delimitar la estructura del lenguaje y la realidad mediante este formato axiomático, de forma análoga a como Mac Lane estructura las matemáticas a través de la teoría de categorías.