Teoría de conjuntos y los fundamentos de las matemáticas

Thomas S. Kuhn·1962·ensayo

Aunque Mostowski se enfoca en la formalidad matemática, ambos autores tratan el concepto de 'fundamentos'. En lugar de abordar los fundamentos desde una perspectiva interna (las matemáticas), Kuhn lo hace desde una perspectiva sociológica e histórica, mostrando cómo los 'fundamentos' de cualquier disciplina (incluida la matemática) son construcciones humanas sujetas a cambios dramáticos y no son estáticos ni autoevidentes, ofreciendo una perspectiva externa no obvia a la disciplina de Mostowski.

Moses Schönfinkel·1924·no ficcion

Mostowski explora los límites y la coherencia de los fundamentos de las matemáticas a través de la teoría de conjuntos. Schönfinkel, de manera no obvia, busca una forma diferente y más primitiva de fundamentar la lógica y las matemáticas, evitando la variable como concepto. Ambos abordan los fundamentos, pero Schönfinkel lo hace desde una perspectiva completamente diferente a la teoría de conjuntos, proponiendo una base alternativa que también busca la universalidad y la minimización de los supuestos, lo que lo hace una pieza 'no obvia' aunque central en la historia de la lógica. Es un trabajo pionero y esotérico, no una opción obvia para la mayoría de los lectores interesados en los fundamentos.

Douglas Hofstadter·1979·no ficcion

Mostowski se ocupa de los fundamentos de las matemáticas y la teoría de conjuntos, que constituyen un sistema formal. Hofstadter profundiza en las implicaciones filosóficas del Teorema de Incompletitud de Gödel, que emana de estos sistemas formales, y explora cómo los conceptos de auto-referencia y paradoja, centrales en la lógica fundacional, se manifiestan en otros dominios como el arte y la música, extendiendo las ideas de 'fundamento' y 'límite' de manera profunda y multidisciplinar, pero sin perder la conexión con las estructuras lógicas que Mostowski examina. Ambos discurren sobre las posibilidades y límites de los sistemas formales, aunque con alcances muy distintos.

Ludwig Wittgenstein·1953·filosofia

Mostowski aborda la fundamentación de las matemáticas, un sistema formal basado en axiomas y reglas rigurosas. La obra de Wittgenstein, especialmente las 'Investigaciones', aunque aparentemente alejada, comparte con Mostowski una profunda preocupación por la naturaleza de los 'fundamentos'. Wittgenstein cuestiona la idea de fundamentos últimos y unívocos, argumentando que el significado y la verdad son inherentes al uso de las proposiciones dentro de un 'juego de lenguaje'. Esta mirada crítica a la necesidad de un fundamento último o una 'super-teoría' que justifique otras es una profunda conexión filosófica, ya que ambos, a su manera, exploran los límites y supuestos de los sistemas que intentan construir o comprender, aunque uno desde una perspectiva formalista y el otro desde una lingüística crítica.

Azriel Lévy·1979·no ficcion

Mostowski se enfoca en la teoría de conjuntos como fundamento de las matemáticas. Lévy, un matemático israelí, escribe un libro que comparte el mismo enfoque riguroso y la misma temática (lógica, teoría de conjuntos, fundamentos), siendo una obra de referencia en el campo, pero de un autor menos conocido en el ámbito angloparlante general. Su obra profundiza en los mismos problemas esenciales de consistencia y axiomática que aborda Mostowski.

Andrzej Grzegorczyk·1961·no ficcion

Mostowski es un prominente lógico polaco que aborda los fundamentos de las matemáticas. Grzegorczyk, otro destacado lógico polaco, escribió un influyente libro sobre lógica formal que, aunque quizás menos centrado específicamente en la teoría de conjuntos pura que Mostowski, aborda la 'lógica formal' que subyace a toda fundamentación matemática. Es un autor fundamental en la escuela polaca de lógica, pero su trabajo puede ser menos universalmente conocido que los grandes nombres anglosajones, a pesar de su calidad y rigor, compartiendo así la 'oscuridad' relativa en el panorama general con la escuela de la que procede Mostowski.

Alfred North Whitehead, Bertrand Russell·1910·filosofia

Mostowski aborda los fundamentos de las matemáticas desde la teoría de conjuntos. La 'Principia Mathematica' es la manifestación cúlmine de un intento (aunque finalmente incompleto debido a los teoremas de Gödel) de construir un sistema formal completamente axiomático para toda la matemática. La estructura es un modelo de rigor deductivo: definición tras definición, teorema tras teorema, de una manera que busca la total autojustificación y formalización, una búsqueda compartida por la línea de pensamiento inherente al trabajo de Mostowski, aunque desde una perspectiva más temprana y con un alcance más amplio. Su estructura es puramente axiomática-deductiva, como la base misma de la teoría de conjuntos.

Gottlob Frege·1884·filosofia

Mostowski explora la teoría de conjuntos. Frege en 'Fundamentos de la aritmética' adopta una estructura de exposición que busca construir, paso a paso, los conceptos básicos de la aritmética a partir de definiciones puramente lógicas y de teoría de conjuntos. El libro se organiza como una serie de definiciones y argumentos para establecer la naturaleza lógica de los números, anticipando gran parte del rigor y el enfoque reductivo que caracterizaría el estudio de los fundamentos de las matemáticas en el siglo XX, del cual el trabajo de Mostowski es un ejemplo. Ambos libros comparten una estructura argumentativa y expositiva basada en la progresión lógica y la definición precisa de los conceptos fundamentales.