Fundamentos de la Teoría de Funciones y de la Topología

Mientras Kuratowski se enfoca en la topología y la teoría de conjuntos como fundamentos de las funciones matemáticas, los 'Principia Mathematica' representan un esfuerzo aún más ambicioso y 'no obvio' en la fundamentación de **toda** la matemática a través de la lógica. Comparte el rigor axiomático y la búsqueda de una base formal, pero desde una disciplina diferente.

Aunque no es un tratado formal de matemáticas, aborda los fundamentos de la lógica matemática y la autorreferencia de una manera profundamente creativa y 'no obvia'. Conecta las ideas abstractas de Kuratowski sobre la construcción de estructuras matemáticas con la naturaleza de la cognición y los sistemas formales, pero de una manera que escapa a la clasificación tradicional.

Al igual que Kuratowski, Bourbaki busca una fundamentación profunda y axiomática de las matemáticas. Este libro en particular explora la topología con un rigor extremo y un enfoque estructuralista similar, ahondando en las mismas preguntas sobre las propiedades intrínsecas de los espacios y sus transformaciones.

Mientras Kuratowski se centra en la topología y la teoría de funciones, este libro ofrece una panorámica más amplia pero igualmente profunda sobre los fundamentos filosóficos y conceptuales de muchas ramas de las matemáticas. Se conecta por su interés en desentrañar las ideas subyacentes y la estructura fundamental del pensamiento matemático, más allá de la mera aplicación.

Engelking fue un matemático polaco contemporáneo y colega de la escuela de Kuratowski, siendo un autor de habla no anglosajona que continuó y profundizó las líneas de investigación en topología. Su obra, inicialmente más conocida en Polonia, ofrece una perspectiva exhaustiva y un rigor similar al de Kuratowski en el campo, pero de un autor menos 'mainstream' en el canon anglosajón.

Berge, un matemático francés, es menos conocido en el ámbito anglosajón que algunos de sus contemporáneos, y su libro, aunque ha tenido varias ediciones, no siempre figura en las listas canónicas comparables a los de Kuratowski o Bourbaki. Su enfoque en la topología ofrece una perspectiva rigurosa pero ligeramente distinta, mostrando la diversidad de la escuela francesa en el desarrollo de esta disciplina.

Mientras Kuratowski es más conciso y axiomático, Taylor mantiene una estructura rigurosa que construye la rama de la topología desde los conjuntos hasta los espacios abstractos, de manera similar en su progresión lógica. Ambos libros comparten la estructura de un tratado fundamental que introduce los conceptos desde cero, justificando cada paso y desarrollando una teoría coherente sobre las funciones y sus propiedades topológicas.

Kuratowski basa sus 'Fundamentos' en la teoría de conjuntos para luego construir la topología y las funciones. De manera similar, Cohen estructura su argumento partiendo de la teoría de conjuntos desde una perspectiva profundamente formal y axiomática, lo que le permite abordar problemas fundamentales como la hipótesis del continuo. La similitud estructural reside en el uso de la teoría de conjuntos como pilar para el desarrollo de un campo matemático complejo y abstracto, con un rigor demostrativo constante.