Estrukturalismoaren balantze bat matematikan

  1. Ezenarro Arriola, Enetz
Revista:
Gogoa: Euskal Herriko Unibersitateko hizkuntza, ezagutza, komunikazio eta ekintzari buruzko aldizkaria

ISSN: 1577-9424

Año de publicación: 2014

Número: 12-13

Páginas: 121-170

Tipo: Artículo

DIALNET GOOGLE SCHOLAR lock_openAcceso abierto editor

Otras publicaciones en: Gogoa: Euskal Herriko Unibersitateko hizkuntza, ezagutza, komunikazio eta ekintzari buruzko aldizkaria

Resumen

The structuralist view of mathematics was quite extended among mathematicians in the second half of twentieth century. This paper attempts to assess the extent of this perspective of mathematics, in its various forms, in providing a unifying framework for mathematics. The paper is divided into two parts. The first part is devoted to the study of the genesis and development of structuralism in algebra. The second one presents, on the one hand, Bourbaki's work in particular, and, on the other hand, the contributions of some category theorists to the extension of structuralism to mathematics in general. After pointing out the widely accepted weaknesses of Bourbaki's enterprise, I discuss the different positions we can find under the general term of 'categorical structuralist perspective'. We see that, even though some positions are more acceptable than others, they all have a fundamental problem. Category theory has clearly shown the central role played by the general notion of function, but the broad categorical framework hides in some degree this aspect in favor of the notion of structure (category). This notion is important, but it is not the most relevant one to understand the internal organization of mathematics.

Referencias bibliográficas

  • Avigad, J. (2006), “Methodology and metaphysics in the development of Dede kind’s theory of ideals”. In J. Ferreiro´ s and J. Gray (eds.), The Architecture of Modern Mathematics. New York: Oxford University Press.
  • Awodey, S. (1996), “Structure in mathematics and logic: a categorical perspective”. Philosophia Mathematica 4(3): 209–237.
  • Awodey, S. (2004), “An answer to Hellman’s question: ‘Does category theory provide a framework for mathematical structuralism?”’. Philosophia Mathematica 12(1): 54–64.
  • Bell, J. L. (1981), “Category theory and the foundations of mathematics”. British Journal for the Philosophy of Science 32: 349–358.
  • Bell, J. L. (1988), Toposes and Local Set Theories. Oxford: Oxford University Press.
  • Bewersdorff, J. (2004), Algebra für Einsteiger. 2. Auflage. Wiesbaden: Friedr. Vieweg & Sohn Verlag.
  • Birkhoff, G. H. (1935), “On the Structure of Abstract Algebras”. Proceedings of the Cambridge Philosophical Society 31: 433-454.
  • Borel, A. (1998), “Twenty-Five Years with Nicolas Bourbaki, 1949-1973”. Notices of the American Mathematical Society 45(3): 373-380.
  • Bourbaki, N. (1939-), Éléments de mathématique. 10 bol.. Paris: Hermann. Bourbaki, N. (1974), Éléments d’histoire des mathématiques. Nouvelle édition augmentée. Paris: Hermann.
  • Bourbaki, N. (1948), “L’architecture des mathématiques”. In F. Le Lionnais et al., Les grands courants de la pensée mathématique. Paris: Cahiers du Sud. Ingelesezko itzulpena: A. Dresden (1950), “The Architecture of Mathematics”. The American Mathematical Monthly 57(4): 221-232.
  • Cajori, F. (1974), A History of Mathematical Notations. Vol 1: Notations in Elementary Mathematics. La Salle, IL: Open Court.
  • Cantor, G. (1895), Beiträge zur Begründung der transfiniten Mengenlehre. Mathematische Annalen 46: 481–512. (1897), Mathematische Annalen 49: 207–246. Ingelesezko itzulpena: P.E.B. Jourdain (1915): Contributions to the Founding of the Theory of Transfinite Numbers. Cantorren bi artikuluak jasotzen dira. Chicago: Open Court.
  • Cartier, P. (1998), Notes sur l’histoire et la philosophie des mathématiques. III. Le structuralisme en mathématiques: mythe ou réalité?. Paris: Preprints of the I.H.E.S.
  • Corry, L. (1996), Modern algebra and the rise of mathematical structures. Basel-BostonBerlin: Birkhausser.
  • Dedekind, R. (1872), Stetigkeit und irrationale zahlen. Braunschweig. Berrargitalpena: Werke 3. bol., 315-334. Ingelesezko itzulpena in: W.W. Beman (1901): Essays on the Theory of Numbers, I. Continuity and Irrational Numbers, II. The nature and meaning of numbers. Chicago: Open Court.
  • Dedekind, R. (1888), Was sind und was sollen die Zahlen?. Braunschwig. Berrargitalpena: Werke 3. bol., 335-391. Ingelesezko itzulpena in: W.W. Beman (1901): Essays on the Theory of Numbers, I. Continuity and Irrational Numbers, II. The nature and meaning of numbers. Chicago: Open Court.
  • Dieudonné, J. (1970), The Work of Nicolas Bourbaki, American Mathematical Monthly 77, 134–145.
  • Dieudonné, J. (1979), “The Difficult Birth of Mathematical Structures.(1840-1940)”. In U. Mathieu & P. Rossi (ed.), Scientific Culture in Contemporary World. Milan: Scientia, 7–23 or.
  • Dieudonné, J. (1982), “The Work of Bourbaki in the Last Thirty Years”. Notices of the American Mathematical Society 29: 618–623.
  • Edwards, H. M. (1984), Galois Theory. Springer-Verlag.
  • Eilenberg, S. & Mac Lane, S. (1945), “General theory of Natural Equivalences”. Transactions of the American Mathematical Society 28: 231–294.
  • Ezenarro, E. (2013), “Estrukturalismotik Funtzionalismora matematikaren barne oinarrietan”. Jesus Mari Larrazabalek zuzendua. Argitaratu gabeko doktore tesia. Logika, Kognizio, Hizkuntza eta Informazio Institutua. Euskal Herriko Unibertsitatea.
  • Feferman, S. (1977), “Categorical foundations and foundations of category theory”. In R. Butts (ed.), Logic, Foundations of Mathematics and Computability Theory. Dordrecht, Holland: Reidel, 149–169.
  • Feferman, S. (2013), “Foundations of Unlimited Category Theory: What Remains to Be Done”. The Review of Symbolic Logic 6(1): 6–15.
  • Ferreirós, J. (1999), Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics. Bassel-Boston-Berlin: Birkhausser.
  • Groethendieck, A. (1957), “Sur quelques points d’algèbre homologique, I”. Tohoku Mathematical Journal 9(2):119-121.
  • Hellman, G. (2003), Does Category Theory Provide a Framework for Mathematical Structuralism?, Philosophia Mathematica 11(3): 129–157.
  • Hilbert, D. (1899), Grundlagen der Geometrie. Leipzig: Teubner. Ingelesezko itzulpena (1902). Chicago: Open Court.
  • Hilbert, D. (1900), Über den Zahlenbegriff, Jahresbericht der Deutschen Mathematiker-Vereiningung 8: 180-184.
  • Kan, D. M. (1958), “Adjoint Functors”, Transactions of the American Mathematical Society 87(2): 294–329
  • Kiernan, B. M. (1971), “The development of Galois theory from Lagrange to Artin”, Archive for the History of Exact Sciences 8: 40–154.
  • Klein, F. (1872), Vergleichende Betrachtungen uber neuere geometrische Forschungen. Erlangen. M.W. Haskell-en ingelesezko itzulpena (1892): Bull. New York Math. Soc. 2: 215–249.
  • Lagrange, J. L. (1795), Lec¸ons élémentaires sur les mathématiques. Paris: Séances des Ecoles Normales.
  • Lambek, J. (1994), “Are the traditional philosophies of mathematics really incompatible?”. The Mathematical Intelligencer 16: 56–62.
  • Lambek, J. & Scott, P. J. (1986), Introduction to Higher Order Categorical Logic. Cambridge: Cambridge University Press.
  • Landry, E. & Marquis, J. P. (2005), “Categories in Context: Historical, Foundational and Philosophical”. Philosophia Mathematica 13(3): 1–43.
  • Lawvere, F. W. (1964), “An elementary theory of the category of sets”. Proceedings of the National Academy of Science of the U.S.A. 52, 1506–1511.
  • Lawvere, F. W. (1966), “The Category of Categories as a foundation of Mathematics”. Proc. Conference Categorical Algebra (La Jolla1965). New York: Springer, 1–20.
  • Liouville, J. (1846), “Oeuvres mathématiques d’Evariste Galois”. Journal de mathématiques pures et appliquées XI(1): 381–444.
  • Mac Lane, S. (1986), Mathematics: Form and Function. New York: Springer- Verlag.
  • Mac Lane, S. (1992), “The Protean Character of Mathematics”. In J. Echeverria et al. (eds.), The Space of Mathematics. Berlin: de Gruyter, 3–13. or.
  • Mac Lane, S. (1996), “Structure in Mathematics”. Philosophia Mathematica 4(2): 174–183.
  • Makkai, M. (1997a), “Generalized sketches as a framework for completeness theorems. I”. Journal of Pure and Applied Algebra 115: 49–79.
  • Makkai, M. (1997b), “Generalized sketches as a framework for completeness theorems. II”. Journal of Pure and Applied Algebra 115: 179–212.
  • Makkai, M. (1997c), “Generalized sketches as a framework for completeness theorems. III”. Journal of Pure and Applied Algebra 115: 241–274.
  • Makkai, M. (1998), “Towards a categorical foundation of mathematics”. In J.A. Makowski & E.V. Ravve (eds.), Logic Colloquium ’95 (Haifa). Lecture Notes in Logic 11. Berlin: Springer, 153–190 or.
  • Mashaal, M. (2002), Bourbaki: Une société ecrète de mathématiciens. Paris: Editions Pour la Science. A. Pierrehumberten ingelesezko itzulpena (2006), Providence, RI: American Mathematical Society.
  • McLarty, C. (2004), “Exploring Categorical Structuralism”. Philosophia Mathematica 12(1): 37–53.
  • McLarty, C.(2005), “Learning from Questions on Categorical Foundations”. Philosophia Mathematica 13(1): 44–60.
  • Minkowski, H. (1905), “Peter Gustav Lejeune Dirichlet und seine Bedeutung für die heutige Mathematik”. Jarehsbericht der Deutschen Mathematiker-Vereinigung 14:149–163.
  • Ore, O. (1935), “On the Foundations of Abstract Algebra, I”. Annals of Mathematics 36: 406-437.
  • Ore, O. (1936), “On the Foundations of Abstract Algebra, II”. Annals of Mathematics 37: 265-292.
  • Reck, E. (2003), “Dedekind’s Structuralism: An Interpretation and Partial Defense”. Synthese 137: 369-419.
  • Reck, E. (2011), “Dedekind’s Contributions to the Foundations of Mathematics”. Stanford Encyclopedia of Phylosophy.
  • Scharlau, W. (1981) (ed.), Dedekind, R. 1831/1981. Eine Würdigung zu seinem 150. Geburtstag. Braunschweig/Wiesbaden: Vieweg.
  • Schwartz, L. (1997), Un mathématicien aux prises avec le siècle. Paris: Odile Jacob. Ingelesezko itzulpena: L. Schneps (2001), A Mathematician Grappling with His Century. Basel-Boston-Berlin: Birkhauser.
  • Soicher, L. & McKay, J. (1985), “Computing Galois groups over the rationals”. Journal of Number Theory 20: 273–281.
  • Stein, H. (1988), “Logos, Logic, and Logistike: Some Philosophical Remarks on Nineteenth-Century Transformation of Mathematics”. In W. Asprey & P. Kitcher (eds.), Minnesota Studies in Philosophy of Science. Vol. 11. Minneapolis, MN: Minnesota University Press, 238–259.
  • Tignol, J. P. (2001), Galois’ Theory of Algebraic Equations. World Scientific.
  • Van der Waerden, B. L. (1930-1931), Moderne Algebra I. Berlin: Springer.
  • Van der Waerden, B. L. (1985), A History of Algebra from Al Kharisme to Emmy Noether. Berlin: Springer.
  • Wussing, H. (1969), Die Genesis des abstrakten Gruppenbegriffes. Berlin: VEB Deutscher Verlag der Wissenschaften. Ingelesezko itzulpena: A. Shenitzer (1984), The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory. Cambridge, Mass.: The MIT Press.
Fuente de los datos: Dialnet