The Architecture of Mathematics

Cited in

(39)

Nicolas Bourbaki and the concept of mathematical structure
The ignorance of Bourbaki
Preface: Super-recursive algorithms and hypercomputation.
Universal logic: evolution of a project
Is the principle of contradiction a consequence of \(x^2=x\)?
Book review of: C. J. Phillips, The new math. A political history
The structuralist mathematical style: Bourbaki as a case study
Mathematics as a science of non-abstract reality: Aristotelian realist philosophies of mathematics
On mathematical towers of Babel and ``translation as an epistemic category
History of mathematics: a global cultural approach. Abstracts from the workshop held December 13--19, 2020 (online meeting)
Diagrams in mathematics
The set of paths in a space and its algebraic structure. A historical account
On the ideal role of an industrial mathematician and its educational implications
On the idea of `democratisation', `modern mathematics' and mathematics teaching in France
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
Completeness and categoricity (in power): formalization without foundationalism
Mathematics and reality
François Le Lionnais and the Oulipo
What is the axiomatic method?
Aspekte der frege–hilbert-korrespondenz
2000 Annual Meeting of the Association for Symbolic Logic
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis
Modularity in mathematics
Universal logic as a science of patterns
The difficulty of being simple: on some interactions between mathematics and philosophy in Leibniz's analysis of notions
Polycephalic Euclid? Collective Practices in Bourbaki’s History of Mathematics
Metaphorical reactions in 1932: from the mathematical ‘crisis of intuition’ to ‘reconstruction in the exact sciences’
Lindenbaum-type logical structures
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
Dual axiomatics
Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky
Algorithm and abstraction in formal mathematics
Mathematical structures in dependent type theory (invited talk)
`A remarkable artifice': Laplace, Poisson and mathematical purity
The `miracle' of applicability? The curious case of the simple harmonic oscillator
Die transfiniten Operationen der Ordnungstheorie
From problems to structures: the Cousin problems and the emergence of the sheaf concept
Structuralism as a philosophy of mathematical practice
How mathematical concepts get their bodies

This page was built for publication: The Architecture of Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5795114)