Nicolas Bourbaki and the concept of mathematical structure

@article{Corry2004NicolasBA,
  title={Nicolas Bourbaki and the concept of mathematical structure},
  author={L. Corry},
  journal={Synthese},
  year={2004},
  volume={92},
  pages={315-348}
}
  • L. Corry
  • Published 2004
  • Computer Science
  • Synthese
In the present article two possible meanings of the term “mathematical structure” are discussed: a formal and a nonformal one. It is claimed that contemporary mathematics is structural only in the nonformal sense of the term. Bourbaki's definition of structure is presented as one among several attempts to elucidate the meaning of that nonformal idea by developing a formal theory which allegedly accounts for it. It is shown that Bourbaki's concept of structure was, from a mathematical point of… Expand
Structures And Structuralism In Contemporary Philosophy Of Mathematics
TLDR
This paper identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized, are identified, and the relations between thesevariants, and between the respective problems they face, become manifest. Expand
Category theory and the foundations of mathematics: Philosophical excavations
  • J. Marquis
  • Philosophy, Computer Science
  • Synthese
  • 2005
TLDR
The aim of this paper is to clarify the role of category theory in the foundations of mathematics by showing that already in the set theoretical framework, there are different dimensions to the expression ‘foundations of’. Expand
Concept Formation in Mathematics
This thesis consists of three overlapping parts, where the first one centers around the possibility of defining a measure of the power of arithmetical theories. In this part a partial measure of theExpand
On Bourbaki’s axiomatic system for set theory
TLDR
It is shown that the system of axioms for set theory is equivalent to Zermelo–Fraenkel system with the axiom of choice but without theAxiom of foundation, and some historical and epistemological remarks are made that could explain the conservative attitude of the Group. Expand
Reflections on Bourbaki’s Notion of “Structure” and Categories
The article is a discussion of the nature of structure in Bourbaki's “Elements de Mathematique”, contrasting it with the account of structure arising in category theory. It is also explained howExpand
From a structural point of view
In this thesis I argue for in re structuralism in the philosophy of mathematics. In the first chapters of the thesis I argue that there is a genuine epistemic access problem for Platonism, that theExpand
Preface of an Anthology of Universal Logic
This book is a retrospective on universal logic in the 20th century. It gathers papers and book extracts in the spirit of universal logic from 1922 to 1996. Each of the 15 items is presented by aExpand
Listening to the Music of Reason: Nicolas Bourbaki and the Phenomenology of the Mathematical Experience
Jean Dieudonne, the spokesman of the group of French mathematicians named Bourbaki, called mathematics the music of reason. This metaphor invites a phenomenological account of the affective , inExpand
The struggle against idealism: Soviet idealogy and mathematics
F or several years now I have been studying the development of semigroup theory (see, for example, [21]). This is a relatively new area within mathematics, most of the major developments having takenExpand
Anti-Foundational Categorical Structuralism
The aim of this dissertation is to outline and defend the view here dubbed “anti-foundational categorical structuralism” (henceforth AFCS). The program put forth is intended to provide an answer theExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 108 REFERENCES
Mathematics and Reality
The subject of this paper is the philosophical problem of accounting for the relationship between mathematics and non-mathematical reality. The first section, devoted to the importance of theExpand
The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory
In this book, Hans Wussing sets out to trace the process of abstraction that led finally to the axiomatic formulation of the abstract notion of group. His main thesis is that the roots of theExpand
The Structuralist View of Theories: A Possible Analogue of the Bourbaki Programme in Physical Science
1. The Origin of the Structuralist Approach: The Attempted Integration of Physical Science into the Bourbaki Programme by P. Suppes. Non-Statement View1.- 2. Empiricism Liberalized, InformalExpand
The Architecture of Mathematics
1. Mathematic or mathematics? To present a view of the entire field of mathematical science as it exists,-this is an enterprise which presents, at first sight, almost insurmountable difficulties, onExpand
Perception and mathematical intuition
S ET theoretic realism is a view whose main tenets are that sets exist independently of human thought, and that set theory is the science of these entities.1 The foremost advocate of this position,Expand
The Work of Nicholas Bourbaki
Thank you for your kind words on my behalf. I must admit that it is a great pleasure for me to escape from my duties as dean and spend a week in such a warm and friendly atmosphere. The tradition ofExpand
Foundations of Mathematics for the Working Mathematician
  • N. Bourbaki
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1949
TLDR
It is doubtful whether extant documents will ever enable us to draw valid conclusions about those decisive centuries in early Greek science when the need for proofs first reached the level of consciousness and a technique was slowly and laboriously worked out to satisfy that need. Expand
On universal mappings and free topological groups
It has been observed that constructions so apparently different as Kronecker products, extension of the ring of operators of a module, field of quotients of an integral domain, free groups, freeExpand
On the theorem of Jordan-Hölder
In a group we have the well known theorem on principal series, that any two principal maximal series have the same length and the quotient groups in the two series are isomorphic in some order. In aExpand
Theory of sets
The theory of sets is a theory which contains the relational signs =, ∈ and the substantific sign ⊃ (all these signs being of weight 2); in addition to the schemes S1 to S7 given in Chapter I, itExpand
...
1
2
3
4
5
...