View topic on PhilPapers for more information
Related categories

18 found
Order:
More results on PhilPapers
  1. added 2019-03-30
    Evidence, Proofs, and Derivations.Andrew Aberdein - forthcoming - ZDM 51 (4).
    The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2019-03-23
    Imagination in Mathematics.Andrew Arana - 2016 - In Amy Kind (ed.), Routledge Handbook on the Philosophy of Imagination. 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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. added 2019-03-04
    Tools for Thought: The Case of Mathematics.Valeria Giardino - 2018 - Endeavour 2 (42):172-179.
    The objective of this article is to take into account the functioning of representational cognitive tools, and in particular of notations and visualizations in mathematics. In order to explain their functioning, formulas in algebra and logic and diagrams in topology will be presented as case studies and the notion of manipulative imagination as proposed in previous work will be discussed. To better characterize the analysis, the notions of material anchor and representational affordance will be introduced.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2018-12-17
    Independence of the Grossone-Based Infinity Methodology From Non-Standard Analysis and Comments Upon Logical Fallacies in Some Texts Asserting the Opposite.Yaroslav D. Sergeyev - 2019 - Foundations of Science 24 (1):153-170.
    This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. added 2018-12-17
    The Difficulty of Prime Factorization is a Consequence of the Positional Numeral System.Yaroslav Sergeyev - 2016 - International Journal of Unconventional Computing 12 (5-6):453–463.
    The importance of the prime factorization problem is very well known (e.g., many security protocols are based on the impossibility of a fast factorization of integers on traditional computers). It is necessary from a number k to establish two primes a and b giving k = a · b. Usually, k is written in a positional numeral system. However, there exists a variety of numeral systems that can be used to represent numbers. Is it true that the prime factorization is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. added 2018-12-17
    The Olympic Medals Ranks, Lexicographic Ordering and Numerical Infinities.Yaroslav Sergeyev - 2015 - The Mathematical Intelligencer 37 (2):4-8.
    Several ways used to rank countries with respect to medals won during Olympic Games are discussed. In particular, it is shown that the unofficial rank used by the Olympic Committee is the only rank that does not allow one to use a numerical counter for ranking – this rank uses the lexicographic ordering to rank countries: one gold medal is more precious than any number of silver medals and one silver medal is more precious than any number of bronze medals. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. added 2018-11-24
    Viewing-as Explanations and Ontic Dependence.William D’Alessandro - forthcoming - Philosophical Studies:1-24.
    According to a widespread view in metaphysics and philosophy of science (the “Dependence Thesis”), all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. added 2018-10-19
    The "Artificial Mathematician" Objection: Exploring the (Im)Possibility of Automating Mathematical Understanding.Sven Delarivière & Bart Van Kerkhove - 2017 - In B. Sriraman (ed.), Humanizing Mathematics and its Philosophy. Cham: Birkhäuser. pp. 173-198.
    Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. added 2018-09-07
    O nouă filosofie a matematicii?Gabriel Târziu - 2012 - Symposion – A Journal of Humanities 10 (2):361-377.
    O tendinţă relativ nouă în filosofia contemporană a matematicii este reprezentată de nemulţumirea manifestată de un număr din ce în ce mai mare de filosofi faţă de viziunea tradiţională asupra matematicii ca având un statut special ce poate fi surprins doar cu ajutorul unei epistemologii speciale. Această nemulţumire i-a determinat pe mulţi să propună o nouă perspectivă asupra matematicii – una care ia în serios aspecte până acum neglijate de filosofia matematicii, precum latura sociologică, istorică şi empirică a cercetării matematice (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. added 2017-12-25
    The Necessity of Mathematics.Juhani Yli‐Vakkuri & John Hawthorne - 2018 - Noûs 52.
    Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2017-08-23
    Envisioning Transformations – The Practice of Topology.Silvia De Toffoli & Valeria Giardino - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012--2014. Zurich, Switzerland: Birkhäuser. pp. 25-50.
    The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2017-08-23
    An Inquiry Into the Practice of Proving in Low-Dimensional Topology.Silvia De Toffoli & Valeria Giardino - 2015 - In Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.), From Logic to Practice. Zurich, Switzerland: Springer International Publishing. pp. 315-116.
    The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. added 2017-06-14
    The Great Gibberish - Mathematics in Western Popular Culture.Markus Pantsar - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012--2014. Springer International Publishing. pp. 409-437.
    In this paper, I study how mathematicians are presented in western popular culture. I identify five stereotypes that I test on the best-known modern movies and television shows containing a significant amount of mathematics or important mathematician characters: (1) Mathematics is highly valued as an intellectual pursuit. (2) Little attention is given to the mathematical content. (3) Mathematical practice is portrayed in an unrealistic way. (4) Mathematicians are asocial and unable to enjoy normal life. (5) Higher mathematics is ...
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. added 2017-05-22
    Proof Phenomenon as a Function of the Phenomenology of Proving.Inês Hipólito - 2015 - Progress in Biophysics and Molecular Biology 119:360-367.
    Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: “the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of the objective existence of the outer world)”. This “exact replica” brings to mind the close analogy Husserl saw between our intuition of essences in Wesensschau and of physical objects in perception. What is it like to experience a mathematical proving (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. added 2017-05-21
    Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.
    Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. added 2017-02-17
    The Interplay Between Mathematical Practices and Results.Mélissa Arneton, Amirouche Moktefi & Catherine Allamel-Raffin - 2014 - In Léna Soler, Sjoerd Zwart, Michael Lynch & Vincent Israel-Jost (eds.), Science after the Practice Turn in the Philosophy, History, and Social Studies of Science. New York - London: Routledge. pp. 269-276.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2016-01-02
    Corcoran Reviews Boute’s 2013 Paper “How to Calculate Proofs”.John Corcoran - 2014 - MATHEMATICAL REVIEWS 14:444-555.
    Corcoran reviews Boute’s 2013 paper “How to calculate proofs”. -/- There are tricky aspects to classifying occurrences of variables: is an occurrence of ‘x’ free as in ‘x + 1’, is it bound as in ‘{x: x = 1}’, or is it orthographic as in ‘extra’? The trickiness is compounded failure to employ conventions to separate use of expressions from their mention. The variable occurrence is free in the term ‘x + 1’ but it is orthographic in that term’s quotes (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. added 2015-09-10
    Mathematics as Language.Adam Morton - 1996 - In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 213--227.
    I discuss ways in which the linguistic form of mathimatics helps us think mathematically.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations