Switch to: References

Citations of:

On the alleged simplicity of impure proof

In Roman Kossak & Philip Ording (eds.), Simplicity: Ideals of Practice in Mathematics and the Arts. Springer. pp. 207-226 (2017)

Add citations

You must login to add citations.
  1. Szemerédi’s theorem: An exploration of impurity, explanation, and content.Patrick J. Ryan - 2023 - Review of Symbolic Logic 16 (3):700-739.
    In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mathematics and Set Theory:数学と集合論.Sakaé Fuchino - 2018 - Journal of the Japan Association for Philosophy of Science 46 (1):33-47.
    Download  
     
    Export citation  
     
    Bookmark  
  • Mathematics, ethics and purism: an application of MacIntyre’s virtue theory.Paul Ernest - 2020 - Synthese 199 (1-2):3137-3167.
    A traditional problem of ethics in mathematics is the denial of social responsibility. Pure mathematics is viewed as neutral and value free, and therefore free of ethical responsibility. Applications of mathematics are seen as employing a neutral set of tools which, of themselves, are free from social responsibility. However, mathematicians are convinced they know what constitutes good mathematics. Furthermore many pure mathematicians are committed to purism, the ideology that values purity above applications in mathematics, and some historical reasons for this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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