15 found
Order:
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  2. On the alleged simplicity of impure proof.Andrew Arana - 2017 - In Roman Kossak & Philip Ording (eds.), Simplicity: Ideals of Practice in Mathematics and the Arts. Springer. pp. 207-226.
    Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical statements and (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  3. On the Depth of Szemeredi'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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  4. Imagination in mathematics.Andrew Arana - 2016 - In Amy Kind (ed.), The Routledge Handbook of the Philosophy of Imagination. New York: Routledge. pp. 463-477.
    This article will consider imagination in mathematics from a historical point of view, noting the key moments in its conception during the ancient, modern and contemporary eras.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Purity in Arithmetic: some Formal and Informal Issues.Andrew Arana - 2014 - In Godehard Link (ed.), Formalism and Beyond: On the Nature of Mathematical Discourse. Boston: De Gruyter. pp. 315-336.
    Over the years many mathematicians have voiced a preference for proofs that stay “close” to the statements being proved, avoiding “foreign”, “extraneous”, or “remote” considerations. Such proofs have come to be known as “pure”. Purity issues have arisen repeatedly in the practice of arithmetic; a famous instance is the question of complex-analytic considerations in the proof of the prime number theorem. This article surveys several such issues, and discusses ways in which logical considerations shed light on these issues.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Takeuti's proof theory in the context of the Kyoto School.Andrew Arana - 2019 - Jahrbuch Für Philosophie Das Tetsugaku-Ronso 46:1-17.
    Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he used (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Idéaux de preuve : explication et pureté.Andrew Arana - 2022 - In Andrew Arana & Marco Panza (eds.), Précis de philosophie de la logique et des mathématiques, Volume 2, philosophie des mathématiques. Paris: Editions de la Sorbonne. pp. 387-425.
    Why do mathematics often give several proofs of the same theorem? This is the question raised in this article, introducing the notion of an epistemic ideal and discussing two such ideals, the explanatoriness and purity of proof.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Takeuti's well-ordering proofs revisited.Andrew Arana & Ryota Akiyoshi - 2021 - Mita Philosophy Society 3 (146):83-110.
    Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Possible m-diagrams of models of arithmetic.Andrew Arana - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. The changing practices of proof in mathematics: Gilles Dowek: Computation, proof, machine. Cambridge: Cambridge University Press, 2015. Translation of Les Métamorphoses du calcul, Paris: Le Pommier, 2007. Translation from the French by Pierre Guillot and Marion Roman, $124.00HB, $40.99PB. [REVIEW]Andrew Arana - 2017 - Metascience 26 (1):131-135.
    Review of Dowek, Gilles, Computation, Proof, Machine, Cambridge University Press, Cambridge, 2015. Translation of Les Métamorphoses du calcul, Le Pommier, Paris, 2007. Translation from the French by Pierre Guillot and Marion Roman.
    Download  
     
    Export citation  
     
    Bookmark  
  12. 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. (1 other version)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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. 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).
    Download  
     
    Export citation  
     
    Bookmark