Andrew Arana
34
Documents
Affiliation actuelle
- Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies (AHP-PReST)
Identifiants chercheurs
Présentation
Publications
Publications
Elements of PurityCambridge University Press, 2024, Elements in the Philosophy of Mathematics, 9781009052719. ⟨10.1017/9781009052719⟩
Ouvrages
hal-04862010
v1
|
|
Idéaux de preuvesVrin, 2024, 978-2-7116-3190-2
Ouvrages
hal-04859513
v1
|
|
Précis de Philosophie des Mathématiques et de la Logique. Vol. 2. Philosophie des MathématiquesEditions de la Sorbonne, 2022, Logique, langage, sciences, philosophie, 979-10-351-0802-1
Ouvrages
halshs-03947556
v1
|
|
|
Review of Reactionary Mathematics: A Genealogy of Purity by Massimo MazzottiPhysis; rivista internazionale di storia della scienza, 2024, LIX (2), pp.614-618. ⟨10.1400/298761⟩
Article dans une revue
(compte-rendu de lecture)
hal-05137675
v1
|
|
|
Disagreement About New Axioms in MathematicsAnnals of the Japan Association for Philosophy of Science, 2024, 33, pp.47-56. ⟨10.4288/jafpos.33.0_47⟩
Article dans une revue
hal-05137653
v1
|
|
|
Mathematical HygieneSynthese, 2023, 202 (110), ⟨10.1007/s11229-023-04254-8⟩
Article dans une revue
hal-04152746
v3
|
|
|
On the Difficulty of Discovering Mathematical ProofsSynthese, 2023, 202 (2), pp.38. ⟨10.1007/s11229-023-04184-5⟩
Article dans une revue
hal-04152778
v1
|
|
|
Takeuti's proof theory in the context of the Kyoto SchoolJahrbuch für Philosophie das Tetsugaku-Ronso, 2019
Article dans une revue
halshs-02444186
v1
|
Purity of MethodsPhilosophers' Imprint, 2011, 11 (2), pp.1-20
Article dans une revue
hal-00587851
v1
|
|
|
|
Proof Theory in Philosophy of MathematicsPhilosophy Compass, 2010, 5 (4), pp.336-347. ⟨10.1111/j.1747-9991.2010.00282.x⟩
Article dans une revue
hal-05235737
v1
|
Descartes and the cylindrical helixHistoria Mathematica, 2010, 37 (3), pp.336-347. ⟨10.1016/j.hm.2009.10.006⟩
Article dans une revue
istex
hal-00586791
v1
|
|
|
Purity and Explanation: Essentially Linked?Carl Posy; Yemima Ben-Menahem. Mathematical Objects, Knowledge and Applications: Essays in Memory of Mark Steiner, Springer International Publishing, pp.25-39, 2023, Jerusalem Studies in Philosophy and History of Science, 978-3-031-21654-1. ⟨10.1007/978-3-031-21655-8_3⟩
Chapitre d'ouvrage
hal-04152762
v1
|
|
|
Imagination in MathematicsAmy Kind. The Routledge Handbook of Philosophy of Imagination, Routledge, 2016, The Routledge Handbook of Philosophy of Imagination, 9781138574076. ⟨10.4324/9781315657905_41⟩
Chapitre d'ouvrage
hal-05235781
v1
|
Mathematical hygieneMunich Center for Mathematical Philosophy Seminar, Jul 2021, Munich, Germany
Communication dans un congrès
halshs-03388733
v1
|
|
Purity of methods and the varieties of contentcolloquium, University of California, Jan 2011, Irvine, United States
Communication dans un congrès
hal-00588236
v1
|
|
Contrasting metric and projective proofs of Desargues' theoremWorkshop on Contrasting Proofs, Jun 2010, Paris, France
Communication dans un congrès
hal-00588204
v1
|
|
The complexity of pure and impure proofPhilosophy of Mathematics Colloquium, IHPST, Apr 2010, Paris, France
Communication dans un congrès
hal-00588199
v1
|
|
Geometric model theory and the foundations of mathematicsPhilosophy of Mathematics Workshop, REHSEIS, Nov 2010, Paris, France
Communication dans un congrès
hal-00588227
v1
|
|
On the relationship between plane and solid geometryFirst Meeting of the Association for the Philosophy of Mathematical Practice, Dec 2010, Brussels, Belgium
Communication dans un congrès
hal-00588230
v1
|
|
The algebraic / geometric distinctionPhilosophy of Mathematics Workshop, REHSEIS, Jun 2010, Paris, France
Communication dans un congrès
hal-00588206
v1
|
|
The geometric / algebraic distinctionWorkshop On Mathematical Practices, Mar 2010, Madrid, Spain
Communication dans un congrès
hal-00588187
v1
|
|
Simplicity and elementary methodsWorkshop on Simplicity as an Epistemological Value in Scientific Practice, Institut d'Etudes Avancees Paris and REHSEIS, Jan 2010, Paris, France
Communication dans un congrès
hal-00588183
v1
|
|
Purity and the carving of mathematicsworkshop on ''carving mathematics up'', Université Paris 7 - Diderot, Apr 2010, Paris, France
Communication dans un congrès
hal-00588198
v1
|
|
The preference for 'pure' proofsMidwest Model Theory Day, University of Illinois, Oct 2010, Chicago, United States
Communication dans un congrès
hal-00588223
v1
|
|
Descartes and the cylindrical helixColloquium for Henk Bos, May 2010, Paris, France
Communication dans un congrès
hal-00588202
v1
|
|
The preference for 'pure' proofsColloquium, L'Institut de Mathématiques de Toulouse, Dec 2010, Toulouse, France
Communication dans un congrès
hal-00588231
v1
|
|
The geometric / algebraic distinctionphilosophy colloquium, Université Blaise Pascal, Apr 2010, Clermont-Ferrand, France
Communication dans un congrès
hal-00588201
v1
|
|
The complexity of pure and impure proof7th IP Fellows seminar, Jan 2010, France
Communication dans un congrès
hal-00588185
v1
|
|
On the relationship between plane and solid geometryMidwest Philosophy of Mathematics Workshop, University of Notre Dame, Oct 2010, United States
Communication dans un congrès
hal-00588220
v1
|
|
Purity in arithmetic: formal and informal issuesConference on the Number Concept: Axiomatization, Cognition and Genesis, Université Nancy 2, Nov 2010, Nancy, France
Communication dans un congrès
hal-00588225
v1
|
|
The geometric / algebraic distinction5th IP Fellows Seminar, Sep 2009, Paris, France
Communication dans un congrès
hal-00588176
v1
|
|
The identity of problemsColloquium on problems, Dec 2009, Paris, France
Communication dans un congrès
hal-00588181
v1
|
|
Constructions and equations in early modern geometryworkshop on early modern mathematics, Oct 2009, Paris, France
Communication dans un congrès
hal-00588180
v1
|
|
Purity of Proof & Understandinginternational workshop on Mathematical Understanding, Département Histoire et Philosophie des Sciences, Université Denis Diderot - Paris 7, Jun 2008, Paris, France
Communication dans un congrès
hal-00588572
v1
|
Chargement...
Chargement...