Order:
Disambiguations
Andrew Arana [24]A. Ibáñez Arana [1]Alberto Arana [1]Andrew Peter Arana [1]
Agustin Arana [1]A. Arana [1]
See also
Profile: Andrew Arana (Université paris 1)
  1. Imagination in Mathematics.Andrew Arana - 2016 - In Amy Kind (ed.), The Routledge Handbook of Philosophy of Imagination. Routledge. pp. 463-477.
  2.  41
    On the Relationship Between Plane and Solid Geometry.Andrew Arana & Paolo Mancosu - 2012 - Review of Symbolic Logic 5 (2):294-353.
    Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  3. Purity of Methods.Michael Detlefsen & Andrew Arana - 2011 - Philosophers' Imprint 11.
    Throughout history, mathematicians have expressed preference for solutions to problems that avoid introducing concepts that are in one sense or another “foreign” or “alien” to the problem under investigation. This preference for “purity” (which German writers commonly referred to as “methoden Reinheit”) has taken various forms. It has also been persistent. This notwithstanding, it has not been analyzed at even a basic philosophical level. In this paper we give a basic analysis of one conception of purity—what we call topical purity—and (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  19
    The Changing Practices of Proof in Mathematics.Andrew Arana - forthcoming - Metascience:1-5.
  5.  71
    On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2008 - Philosophia Mathematica 17 (2):208–219.
    Many mathematicians and philosophers of mathematics believe some proofs contain elements extraneous to what is being proved. In this paper I discuss extraneousness generally, and then consider a specific proposal for measuring extraneousness syntactically. This specific proposal uses Gentzen’s cut-elimination theorem. I argue that the proposal fails, and that we should be skeptical about the usefulness of syntactic extraneousness measures.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  34
    Logical and Semantic Purity.Andrew Arana - 2008 - ProtoSociology 25:36-48.
    Many mathematicians have sought ‘pure’ proofs of theorems. There are different takes on what a ‘pure’ proof is, though, and it’s important to be clear on their differences, because they can easily be conflated. In this paper I want to distinguish between two of them.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  7.  32
    Review of Computability: Turing, Gödel, Church, and Beyond. [REVIEW]Andrew Arana - 2015 - Notre Dame Philosophical Reviews 3 (20).
  8. Proof Theory in Philosophy of Mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.
    A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  9. Visual Thinking in Mathematics • by Marcus Giaquinto.Andrew Arana - 2009 - Analysis 69 (2):401-403.
    Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late 19th century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis received much attention in the 19th century. They helped to instigate what Hans Hahn called a ‘crisis of intuition’, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this ‘crisis’ as follows : " Mathematicians had for (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  10.  31
    On the Depth of Szemerédi's Theorem.Andrew Arana - 2015 - Philosophia Mathematica 23 (2):163-176.
    Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case on which (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11.  10
    Solovay's Theorem Cannot Be Simplified.Andrew Arana - 2001 - Annals of Pure and Applied Logic 112 (1):27-41.
    In this paper we consider three potential simplifications to a result of Solovay’s concerning the Turing degrees of nonstandard models of arbitrary completions of first-order Peano Arithmetic (PA). Solovay characterized the degrees of nonstandard models of completions T of PA, showing that they are the degrees of sets X such that there is an enumeration R ≤T X of an “appropriate” Scott set and there is a family of functions (tn)n∈ω, ∆0 n(X) uniformly in n, such that lim tn(s) s→∞.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  52
    Descartes and the Cylindrical Helix.Paolo Mancosu & Andrew Arana - 2010 - Historia Mathematica 37 (3):403-427.
  13. Review of D. Corfield's Toward A Philosophy Of Real Mathematics. [REVIEW]Andrew Arana - 2007 - Mathematical Intelligencer 29 (2).
    When mathematicians think of the philosophy of mathematics, they probably think of endless debates about what numbers are and whether they exist. Since plenty of mathematical progress continues to be made without taking a stance on either of these questions, mathematicians feel confident they can work without much regard for philosophical reflections. In his sharp–toned, sprawling book, David Corfield acknowledges the irrelevance of much contemporary philosophy of mathematics to current mathematical practice, and proposes reforming the subject accordingly.
     
    Export citation  
     
    My bibliography  
  14. Review of M. Giaquinto's Visual Thinking in Mathematics. [REVIEW]Andrew Arana - 2009 - Analysis 69 (2):401-403.
    Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late nineteenth century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis (in the sense of the infinitesimal calculus) received much attention in the nineteenth century. They helped instigate what Hans Hahn called a “crisis of intuition”, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this “crisis” as (...)
     
    Export citation  
     
    My bibliography  
  15.  22
    Jeremy Gray. Plato's Ghost: The Modernist Transformation of Mathematics. Princeton: Princeton University Press, 2008. Isbn 978-0-69113610-3. Pp. VIII + 515. [REVIEW]A. Arana - 2012 - Philosophia Mathematica 20 (2):252-255.
  16.  12
    Palmer House Hilton Hotel, Chicago, Illinois April 23–24, 2004.Warren Goldfarb, Erich Reck, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Colin McLarty, Dana Scott & Michael Kremer - 2004 - Bulletin of Symbolic Logic 10 (3).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  11
    L'infinité des nombres premiers : une étude de cas de la pureté des méthodes.Andrew Arana - 2011 - Les Etudes Philosophiques 97 (2):193.
    Une preuve est pure si, en gros, elle ne réfère dans son développement qu’à ce qui est « proche » de, ou « intrinsèque » à l’énoncé à prouver. L’infinité des nombres premiers, un théorème classique de l’arithmétique, est un cas d’étude particulièrement riche pour les recherches philosophiques sur la pureté. Deux preuves différentes de ce résultat sont ici considérées, à savoir la preuve euclidienne classique et une preuve « topologique » plus récente proposée par Furstenberg. D’un point de vue (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  18. Review of Ferreiros and Gray's The Architecture of Modern Mathematics. [REVIEW]Andrew Arana - 2008 - Mathematical Intelligencer 30 (4).
    This collection of essays explores what makes modern mathematics ‘modern’, where ‘modern mathematics’ is understood as the mathematics done in the West from roughly 1800 to 1970. This is not the trivial matter of exploring what makes recent mathematics recent. The term ‘modern’ (or ‘modernism’) is used widely in the humanities to describe the era since about 1900, exemplified by Picasso or Kandinsky in the visual arts, Rilke or Pound in poetry, or Le Corbusier or Loos in architecture (a building (...)
     
    Export citation  
     
    My bibliography  
  19.  22
    Review of D. Corfield, Toward a Philosophy of Real Mathematics[REVIEW]Andrew Arana - 2007 - Mathematical Intelligencer 29 (2).
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  20.  22
    Arithmetical Independence Results Using Higher Recursion Theory.Andrew Arana - 2004 - Journal of Symbolic Logic 69 (1):1-8.
    We extend an independence result proved in our earlier paper "Solovay's Theorem Cannot Be Simplified" (Annals of Pure and Applied Logic 112 (2001)). Our method uses the Barwise.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    Purity in Arithmetic: Some Formal and Informal Issues.Andrew Arana - 2014 - In Godehard Link (ed.), Formalism and Beyond: On the Nature of Mathematical Discourse. De Gruyter. pp. 315-336.
  22. Review of S. Feferman's in the Light of Logic. [REVIEW]Andrew Arana - 2005 - Mathematical Intelligencer 27 (4).
    We review Solomon Feferman's 1998 essay collection In The Light of Logic (Oxford University Press).
     
    Export citation  
     
    My bibliography  
  23.  1
    On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2009 - Philosophia Mathematica 17 (2):189-207.
    Many mathematicians and philosophers of mathematics believe some proofs contain elements extraneous to what is being proved. In this paper I discuss extraneousness generally, and then consider a specific proposal for measuring extraneousness syntactically. This specific proposal uses Gentzen's cut-elimination theorem. I argue that the proposal fails, and that we should be skeptical about the usefulness of syntactic extraneousness measures.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Possible M-Diagrams of Models of Arithmetic.Andrew Arana - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001.
    In this paper I begin by extending two results of Solovay; the first characterizes the possible Turing degrees of models of True Arithmetic (TA), the complete first-order theory of the standard model of PA, while the second characterizes the possible Turing degrees of arbitrary completions of P. I extend these two results to characterize the possible Turing degrees of m-diagrams of models of TA and of arbitrary complete extensions of PA. I next give a construction showing that the conditions Solovay (...)
     
    Export citation  
     
    My bibliography  
  25. Los marcos redaccionales de Jos 13 - 19.A. Ibáñez Arana - 1981 - Salmanticensis 28 (1):71-95.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  26. Of the Association for Symbolic Logic.Warren Goldfarb, Jeremy Avigad, Andrew Arana, Geoffrey Hellman, Dana Scott & Michael Kremer - 2004 - Bulletin of Symbolic Logic 10 (3):438.
     
    Export citation  
     
    My bibliography