While Saunders Mac Lane studied for his D.Phil in Göttingen, he heard David Hilbert’s weekly lectures on philosophy, talked philosophy with Hermann Weyl, and studied it with Moritz Geiger. Their philosophies and Emmy Noether’s algebra all influenced his conception of category theory, which has become the working structure theory of mathematics. His practice has constantly affirmed that a proper large-scale organization for mathematics is the most efficient path to valuable specific results—while he sees that the question of which results are valuable has an ineliminable philosophic aspect. His philosophy relies on the ideas of truth and existence he studied in Göttingen. His career is a case study relating naturalism in philosophy of math...
International audienceThis paper consists of three main sections. In the first section, we consider ...
By extending Husserl’s own historico-critical study to include the conceptual mathematics of more co...
Preface.- Hilbert\u2019s Problems. A Research Program for Future Generations: U.Bottazzini.-The Way ...
This note describes Saunders Mac Lane as a philosopher, and indeed as a paragon naturalist philosoph...
The existence of analogies between central features of various the-ories implies the existence of a ...
It has been widely believed that David Hilbert, a precursor of formalism, consid-ered mathematics an...
Within contemporary philosophy of mathematics there is a trend focussing on how mathematics is done ...
Most mathematicians cannot define the spaces of algebraic geometry, called schemes, off the top of t...
Work partially supported by the Portuguese Science Foundation, FCT, through the projects The Notion ...
International audiencePhilosophical systems have developed for centuries, but only in the nineteenth...
Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mat...
The possibility that narrative might play a crucial role in the practice of mathematics has been pai...
Grassmann in his philosophical introduction describes the two-fold division of formal sciences, that...
Hilbert’s views on the ontology of mathematics changed significantly between 1891 and 1904. Although...
International audienceThe aim of this paper is to explore some aspects of the connection between mat...
International audienceThis paper consists of three main sections. In the first section, we consider ...
By extending Husserl’s own historico-critical study to include the conceptual mathematics of more co...
Preface.- Hilbert\u2019s Problems. A Research Program for Future Generations: U.Bottazzini.-The Way ...
This note describes Saunders Mac Lane as a philosopher, and indeed as a paragon naturalist philosoph...
The existence of analogies between central features of various the-ories implies the existence of a ...
It has been widely believed that David Hilbert, a precursor of formalism, consid-ered mathematics an...
Within contemporary philosophy of mathematics there is a trend focussing on how mathematics is done ...
Most mathematicians cannot define the spaces of algebraic geometry, called schemes, off the top of t...
Work partially supported by the Portuguese Science Foundation, FCT, through the projects The Notion ...
International audiencePhilosophical systems have developed for centuries, but only in the nineteenth...
Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mat...
The possibility that narrative might play a crucial role in the practice of mathematics has been pai...
Grassmann in his philosophical introduction describes the two-fold division of formal sciences, that...
Hilbert’s views on the ontology of mathematics changed significantly between 1891 and 1904. Although...
International audienceThe aim of this paper is to explore some aspects of the connection between mat...
International audienceThis paper consists of three main sections. In the first section, we consider ...
By extending Husserl’s own historico-critical study to include the conceptual mathematics of more co...
Preface.- Hilbert\u2019s Problems. A Research Program for Future Generations: U.Bottazzini.-The Way ...