The Architecture of Mathematics

Related Items

2000 Annual Meeting of the Association for Symbolic Logic ⋮ Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis ⋮ From problems to structures: the Cousin problems and the emergence of the sheaf concept ⋮ Mathematics as a science of non-abstract reality: Aristotelian realist philosophies of mathematics ⋮ On mathematical towers of Babel and ``translation as an epistemic category ⋮ Universal logic: evolution of a project ⋮ Is the principle of contradiction a consequence of \(x^2=x\)? ⋮ COMPLETENESS AND CATEGORICITY (IN POWER): FORMALIZATION WITHOUT FOUNDATIONALISM ⋮ Lindenbaum-type logical structures ⋮ SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT ⋮ What is the axiomatic method? ⋮ Book review of: C. J. Phillips, The new math. A political history ⋮ Polycephalic Euclid? Collective Practices in Bourbaki’s History of Mathematics ⋮ The set of paths in a space and its algebraic structure. A historical account ⋮ Preface: Super-recursive algorithms and hypercomputation. ⋮ History of mathematics: a global cultural approach. Abstracts from the workshop held December 13--19, 2020 (online meeting) ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ Structuralism as a philosophy of mathematical practice ⋮ Nicolas Bourbaki and the concept of mathematical structure ⋮ The ignorance of Bourbaki ⋮ Aspekte der frege–hilbert-korrespondenz ⋮ How mathematical concepts get their bodies ⋮ The `miracle' of applicability? The curious case of the simple harmonic oscillator ⋮ Diagrams in mathematics ⋮ François Le Lionnais and the Oulipo ⋮ MODULARITY IN MATHEMATICS ⋮ Mathematics and Reality ⋮ On the ideal role of an industrial mathematician and its educational implications ⋮ Die transfiniten Operationen der Ordnungstheorie ⋮ The structuralist mathematical style: Bourbaki as a case study ⋮ 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 ⋮ Metaphorical reactions in 1932: from the mathematical ‘crisis of intuition’ to ‘reconstruction in the exact sciences’ ⋮ On the idea of `democratisation', `modern mathematics' and mathematics teaching in France