This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
15 found
Search inside:
(import / add options)   Order:
  1. Andrew Arana (2015). On the Depth of Szemerédi's Theorem. 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 (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2. Michael E. Cuffaro (2012). Kant's Views on Non-Euclidean Geometry. Proceedings of the Canadian Society for History and Philosophy of Mathematics 25:42-54.
    Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in order to show that both (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  3. Helen De Cruz & Johan De Smedt (2013). Mathematical Symbols as Epistemic Actions. Synthese 190 (1):3-19.
    Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used to (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  4. Michael Detlefsen & Mark Luker (1980). The Four-Color Theorem and Mathematical Proof. Journal of Philosophy 77 (12):803-820.
    I criticize a recent paper by Thomas Tymoczko in which he attributes fundamental philosophical significance and novelty to the lately-published computer-assisted proof of the four color theorem (4CT). Using reasoning precisely analogous to that employed by Tymoczko, I argue that much of traditional mathematical proof must be seen as resting on what Tymoczko must take as being "empirical" evidence. The new proof of the 4CT, with its use of what Tymoczko calls "empirical" evidence is therefore not so novel as (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  5. Steven Ericsson-Zenith (forthcoming). Explaining Experience In Nature: The Foundations Of Logic And Apprehension. Institute for Advanced Science & Engineering.
    At its core this book is concerned with logic and computation with respect to the mathematical characterization of sentient biophysical structure and its behavior. -/- Three related theories are presented: The first of these provides an explanation of how sentient individuals come to be in the world. The second describes how these individuals operate. And the third proposes a method for reasoning about the behavior of individuals in groups. -/- These theories are based upon a new explanation of experience in (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  6. M. Giaquinto (2011). Crossing Curves: A Limit to the Use of Diagrams in Proofs. Philosophia Mathematica 19 (3):281-307.
    This paper investigates the following question: when can one reliably infer the existence of an intersection point from a diagram presenting crossing curves or lines? Two cases are considered, one from Euclid's geometry and the other from basic real analysis. I argue for the acceptability of such an inference in the geometric case but against in the analytic case. Though this question is somewhat specific, the investigation is intended to contribute to the more general question of the extent and limits (...)
    Remove from this list   Direct download (11 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7. Michael Hallett (1979). Towards a Theory of Mathematical Research Programmes (I). British Journal for the Philosophy of Science 30 (1):1-25.
  8. Jaakko Hintikka (2012). Which Mathematical Logic is the Logic of Mathematics? Logica Universalis 6 (3-4):459-475.
    The main tool of the arithmetization and logization of analysis in the history of nineteenth century mathematics was an informal logic of quantifiers in the guise of the “epsilon–delta” technique. Mathematicians slowly worked out the problems encountered in using it, but logicians from Frege on did not understand it let alone formalize it, and instead used an unnecessarily poor logic of quantifiers, viz. the traditional, first-order logic. This logic does not e.g. allow the definition and study of mathematicians’ uniformity concepts (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9. Giuseppe Iurato, On the Role Played by the Work of Ulisse Dini on Implicit Function Theory in the Modern Differential Geometry Foundations: The Case of the Structure of a Differentiable Manifold, 1.
    In this first paper we outline what possible historic-epistemological role might have played the work of Ulisse Dini on implicit function theory in formulating the structure of differentiable manifold, via the basic work of Hassler Whitney. A detailed historiographical recognition about this Dini's work has been done. Further methodological considerations are then made as regards history of mathematics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Giuseppe Iurato (2012). Bachelard, Enriques and Weyl: Comparing Some of Their Ideas. Quaderni di Ricerca in Didattica (Science) 4:40-50.
    Some aspects of Federigo Enriques mathematical philosophy thought are taken as central reference points for a critical historic-epistemological comparison between it and some of the main aspects of the philosophical thought of other his contemporary thinkers like, Gaston Bachelard and Hermann Weyl. From what will be exposed, it will be also possible to make out possible educational implications of the historic-epistemological approach.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  11. Kenneth Manders (2008). The Euclidean Diagram. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford University Press 80--133.
    This chapter gives a detailed study of diagram-based reasoning in Euclidean plane geometry (Books I, III), as well as an exploration how to characterise a geometric practice. First, an account is given of diagram attribution: basic geometrical claims are classified as exact (equalities, proportionalities) or co-exact (containments, contiguities); exact claims may only be inferred from prior entries in the demonstration text, but co-exact claims may be asserted based on what is seen in the diagram. Diagram control by constructions is necessary (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography   4 citations  
  12. Mark McEvoy (2013). Experimental Mathematics, Computers and the a Priori. Synthese 190 (3):397-412.
    In recent decades, experimental mathematics has emerged as a new branch of mathematics. This new branch is defined less by its subject matter, and more by its use of computer assisted reasoning. Experimental mathematics uses a variety of computer assisted approaches to verify or prove mathematical hypotheses. For example, there is “number crunching” such as searching for very large Mersenne primes, and showing that the Goldbach conjecture holds for all even numbers less than 2 × 1018. There are “verifications” of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  13. Yaroslav Sergeyev (2013). Solving Ordinary Differential Equations by Working with Infinitesimals Numerically on the Infinity Computer. Applied Mathematics and Computation 219 (22):10668–10681.
    There exists a huge number of numerical methods that iteratively construct approximations to the solution y(x) of an ordinary differential equation (ODE) y′(x) = f(x,y) starting from an initial value y_0=y(x_0) and using a finite approximation step h that influences the accuracy of the obtained approximation. In this paper, a new framework for solving ODEs is presented for a new kind of a computer – the Infinity Computer (it has been patented and its working prototype exists). The new computer is (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  14. Jörgen Sjögren (2011). Indispensability, the Testing of Mathematical Theories, and Provisional Realism. Polish Journal of Philosophy 5 (2):99-116.
    Mathematical concepts are explications, in Carnap's sense, of vague or otherwise non-clear concepts; mathematical theories have an empirical and a deductive component. From this perspective, I argue that the empirical component of a mathematical theory may be tested together with the fruitfulness of its explications. Using these ideas, I furthermore give an argument for mathematical realism, based on the indispensability argument combined with a weakened version of confirmational holism.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15. Henrik Kragh Sørensen (2010). Exploratory Experimentation in Experimental Mathematics: A Glimpse at the PSLQ Algorithm. In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. College Publications 341--360.
    In the present paper, I go beyond these examples by bringing into play an example that I nd more experimental in nature, namely that of the use of the so-called PSLQ algorithm in researching integer relations between numerical constants. It is the purpose of this paper to combine a historical presentation with a preliminary exploration of some philosophical aspects of the notion of experiment in experimental mathematics. This dual goal will be sought by analysing these aspects as they are presented (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation