The following pages link to The Architecture of Mathematics (Q5795114):
Displayed 34 items.
- On the idea of `democratisation', `modern mathematics' and mathematics teaching in France (Q262596) (← links)
- What is the axiomatic method? (Q408327) (← links)
- The `miracle' of applicability? The curious case of the simple harmonic oscillator (Q725491) (← links)
- Die transfiniten Operationen der Ordnungstheorie (Q771306) (← links)
- From problems to structures: the Cousin problems and the emergence of the sheaf concept (Q849442) (← links)
- Structuralism as a philosophy of mathematical practice (Q948982) (← links)
- How mathematical concepts get their bodies (Q989747) (← links)
- Nicolas Bourbaki and the concept of mathematical structure (Q1198412) (← links)
- The ignorance of Bourbaki (Q1200112) (← links)
- Preface: Super-recursive algorithms and hypercomputation. (Q1434364) (← links)
- Universal logic: evolution of a project (Q1653546) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- Book review of: C. J. Phillips, The new math. A political history (Q1702538) (← links)
- The structuralist mathematical style: Bourbaki as a case study (Q2080585) (← links)
- Mathematics as a science of non-abstract reality: Aristotelian realist philosophies of mathematics (Q2153999) (← links)
- On mathematical towers of Babel and ``translation'' as an epistemic category (Q2154147) (← links)
- History of mathematics: a global cultural approach. Abstracts from the workshop held December 13--19, 2020 (online meeting) (Q2232324) (← links)
- Diagrams in mathematics (Q2289698) (← links)
- The set of paths in a space and its algebraic structure. A historical account (Q2448533) (← links)
- On the ideal role of an industrial mathematician and its educational implications (Q2552103) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM (Q2925323) (← links)
- Mathematics and Reality (Q3094972) (← links)
- François Le Lionnais and the Oulipo (Q3386720) (← links)
- Aspekte der frege–hilbert-korrespondenz (Q4391353) (← links)
- 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
- Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis (Q5048989) (← links)
- MODULARITY IN MATHEMATICS (Q5221289) (← links)
- Universal Logic as a Science of Patterns (Q5258967) (← links)
- The Difficulty of Being Simple: On Some Interactions Between Mathematics and Philosophy in Leibniz’s Analysis of Notions (Q5261589) (← links)
- Polycephalic Euclid? Collective Practices in Bourbaki’s History of Mathematics (Q5378068) (← links)
- Metaphorical reactions in 1932: from the mathematical ‘crisis of intuition’ to ‘reconstruction in the exact sciences’ (Q5867740) (← links)
- Lindenbaum-type logical structures (Q6043098) (← links)
- SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT (Q6051422) (← links)