This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

45 found
Order:
  1. 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.Giuseppe Iurato - manuscript
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Bishop's Mathematics: A Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
    Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Predicativity and Constructive Mathematics.Laura Crosilla - forthcoming - In Objects, Structures and Logics.
    In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. Explaining Experience In Nature: The Foundations Of Logic And Apprehension.Steven Ericsson-Zenith - forthcoming - 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
     
     
    Export citation  
     
    Bookmark  
  5. Permanence as a Principle of Practice.Iulian D. Toader - 2021 - Historia Mathematica 54:77-94.
    The paper discusses Peano's defense and application of permanence as a principle of practice, and Hahn's further point that, even if it were a principle of logic, permanence would not eliminate all logical ambiguity. Dedicated to the memory of Mic Detlefsen.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6. Why Did Weyl Think That Emmy Noether Made Algebra the Eldorado of Axiomatics?Iulian D. Toader - 2021 - Hopos: The Journal of the International Society for the History of Philosophy of Science 11 (1):122-142.
    This paper argues that Noether's axiomatic method in algebra cannot be assimilated to Weyl's late view on axiomatics, for his acquiescence to a phenomenological epistemology of correctness led Weyl to resist Noether's principle of detachment.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Skolem’s “Paradox” as Logic of Ground: The Mutual Foundation of Both Proper and Improper Interpretations.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (19):1-16.
    A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8. Can the Pyrrhonian Sceptic Suspend Belief Regarding Scientific Definitions?Benjamin Wilck - 2020 - History of Philosophy & Logical Analysis 23 (1):253-288.
    In this article, I tackle a heretofore unnoticed difficulty with the application of Pyrrhonian scepticism to science. Sceptics can suspend belief regarding a dogmatic proposition only by setting up opposing arguments for and against that proposition. Since Sextus provides arguments exclusively against particular geometrical definitions in Adversus Mathematicos III, commentators have argued that Sextus’ method is not scepticism, but negative dogmatism. However, commentators have overlooked the fact that arguments in favour of particular geometrical definitions were absent in ancient geometry, and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Explanation in Mathematics: Proofs and Practice.William D'Alessandro - 2019 - Philosophy Compass 14 (11).
    Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Hermeneutics of Ceteris Paribus in the African Context.Emerson Abraham Jackson - 2019 - Economic Insights -Trends and Challenges 9 (71):9-16.
    This article has provided a philosophical discourse approach in deconstructing Ceteris Paribus (CP) as applied in contemporary Africa. The concept of CP, which affirm the notion of ‘all things are equal’ does not always hold true in the real world. The author has gone beyond the normal interpretation of the word shock, which is making it impossible for the CP concept to hold true in reality. The paper has unraveled critical discourses spanning corruption element as a key factor in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. In Defense of Mathematical Inferentialism.Seungbae Park - 2017 - Analysis and Metaphysics 16:70-83.
    I defend a new position in philosophy of mathematics that I call mathematical inferentialism. It holds that a mathematical sentence can perform the function of facilitating deductive inferences from some concrete sentences to other concrete sentences, that a mathematical sentence is true if and only if all of its concrete consequences are true, that the abstract world does not exist, and that we acquire mathematical knowledge by confirming concrete sentences. Mathematical inferentialism has several advantages over mathematical realism and fictionalism.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Numerical Infinities and Infinitesimals: Methodology, Applications, and Repercussions on Two Hilbert Problems.Yaroslav Sergeyev - 2017 - EMS Surveys in Mathematical Sciences 4 (2):219–320.
    In this survey, a recent computational methodology paying a special attention to the separation of mathematical objects from numeral systems involved in their representation is described. It has been introduced with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework in all the situations requiring these notions. The methodology does not contradict Cantor’s and non-standard analysis views and is based on the Euclid’s Common Notion no. 5 “The whole is greater than the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Knowledge of Abstract Objects in Physics and Mathematics.Michael Shaffer - 2017 - Acta Analytica 32 (4):397-409.
    In this paper a parallel is drawn between the problem of epistemic access to abstract objects in mathematics and the problem of epistemic access to idealized systems in the physical sciences. On this basis it is argued that some recent and more traditional approaches to solving these problems are problematic.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. 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   Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  16. Introduction to Abstractionism.Philip A. Ebert & Marcus Rossberg - 2016 - In Philip A. Ebert & Marcus Rossberg (eds.), Abstractionism. Oxford: Oxford University Press. pp. 3-33.
  17. 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 (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Anotações acerca de Symbolic Knowledge from Leibniz to Husserl. [REVIEW]Gisele Dalva Secco - 2015 - Revista Latinoamericana de Filosofia (2):239-251.
    This note presents an analysis of Symbolic Knowledge from Leibniz to Husserl, a collection of works from some members of The Southern Cone Group for the Philosophy of Formal Sciences. The volume delineates an outlook of the philosophical treatments presented by Leibniz, Kant, Frege, and the Booleans, as well as by Husserl, of some questions related to the conceptual singularities of symbolic knowledge –whose standard we find in the arts of algebra and arithmetic. The book’s unity of themes and (at (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Lakatos’ Quasi-Empiricism in the Philosophy of Mathematics.Michael J. Shaffer - 2015 - Polish Journal of Philosophy 9 (2):71-80.
    Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and which culminate in the 1976a paper (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Mathematical Symbols as Epistemic Actions.Johan De Smedt & Helen De Cruz - 2013 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  21. Experimental Mathematics, Computers and the a Priori.Mark McEvoy - 2013 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Solving Ordinary Differential Equations by Working with Infinitesimals Numerically on the Infinity Computer.Yaroslav Sergeyev - 2013 - 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  
     
    Bookmark   4 citations  
  23. Kant's Views on Non-Euclidean Geometry.Michael Cuffaro - 2012 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Which Mathematical Logic is the Logic of Mathematics?Jaakko Hintikka - 2012 - 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  
     
    Bookmark   2 citations  
  25. Bachelard, Enriques and Weyl: Comparing Some of Their Ideas.Giuseppe Iurato - 2012 - 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 (6 more)  
     
    Export citation  
     
    Bookmark  
  26. Methodological Reflections on Typologies for Numerical Notations.Theodore Reed Widom & Dirk Schlimm - 2012 - Science in Context 25 (2):155-195.
    Past and present societies world-wide have employed well over 100 distinct notational systems for representing natural numbers, some of which continue to play a crucial role in intellectual and cultural development today. The diversity of these notations has prompted the need for classificatory schemes, or typologies, to provide a systematic starting point for their discussion and appraisal. The present paper provides a general framework for assessing the efficacy of these typologies relative to certain desiderata, and it uses this framework to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27. Niccolò Guicciardini. Isaac Newton on Mathematical Certainty and Method. Cambridge, MA: MIT Press, 2009. Pp. 422. $55.00. [REVIEW]Katherine Dunlop - 2011 - Hopos: The Journal of the International Society for the History of Philosophy of Science 1 (2):359-364.
  28. Crossing Curves: A Limit to the Use of Diagrams in Proofs†: Articles.Marcus Giaquinto - 2011 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  29. On the Creative Role of Axiomatics. The Discovery of Lattices by Schröder, Dedekind, Birkhoff, and Others.Dirk Schlimm - 2011 - Synthese 183 (1):47-68.
    Three different ways in which systems of axioms can contribute to the discovery of new notions are presented and they are illustrated by the various ways in which lattices have been introduced in mathematics by Schröder et al. These historical episodes reveal that the axiomatic method is not only a way of systematizing our knowledge, but that it can also be used as a fruitful tool for discovering and introducing new mathematical notions. Looked at it from this perspective, the creative (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  30. Indispensability, the Testing of Mathematical Theories, and Provisional Realism.Jörgen Sjögren - 2011 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Exploratory Experimentation in Experimental Mathematics: A Glimpse at the PSLQ Algorithm.Henrik Kragh Sørensen - 2010 - In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. College Publications. pp. 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   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  32. Wiskunde en filosofie.Nico Krijn & Manuel Nepveu - 2009 - Utrecht: TNO.
    Drie gesprekken over de filosofie van de wiskunde.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Abstraction and Intuition in Peano's Axiomatizations of Geometry.Davide Rizza - 2009 - History and Philosophy of Logic 30 (4):349-368.
    Peano's axiomatizations of geometry are abstract and non-intuitive in character, whereas Peano stresses his appeal to concrete spatial intuition in the choice of the axioms. This poses the problem of understanding the interrelationship between abstraction and intuition in his geometrical works. In this article I argue that axiomatization is, for Peano, a methodology to restructure geometry and isolate its organizing principles. The restructuring produces a more abstract presentation of geometry, which does not contradict its intuitive content but only puts it (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. The Euclidean Diagram.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford University Press. pp. 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  
     
    Bookmark   87 citations  
  35. On Abstraction and the Importance of Asking the Right Research Questions: Could Jordan Have Proved the Jordan-Hölder Theorem?Dirk Schlimm - 2008 - Erkenntnis 68 (3):409-420.
    In 1870 Jordan proved that the composition factors of two composition series of a group are the same. Almost 20 years later Hölder (1889) was able to extend this result by showing that the factor groups, which are quotient groups corresponding to the composition factors, are isomorphic. This result, nowadays called the Jordan-Hölder Theorem, is one of the fundamental theorems in the theory of groups. The fact that Jordan, who was working in the framework of substitution groups, was able to (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Mathematical Method and Proof.Jeremy Avigad - 2006 - Synthese 153 (1):105-159.
    On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  37. Axiomatics and Progress in the Light of 20th Century Philosophy of Science and Mathematics.Dirk Schlimm - 2006 - In Benedikt Löwe, Volker Peckhaus & T. Rasch (eds.), Foundations of the Formal Sciences IV. College Publications. pp. 233–253.
    This paper is a contribution to the question of how aspects of science have been perceived through history. In particular, I will discuss how the contribution of axiomatics to the development of science and mathematics was viewed in 20th century philosophy of science and philosophy of mathematics. It will turn out that in connection with scientific methodology, in particular regarding its use in the context of discovery, axiomatics has received only very little attention. This is a rather surprising result, since (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  38. Mark Steiner: The Applicability of Mathematics as a Philosophical Problem. [REVIEW]Rinat Nugayev - 2003 - Philosophy of Science 70 (3):628-631.
  39. Proof, Reliability, and Mathematical Knowledge.Anthony Peressini - 2003 - Theoria 69 (3):211-232.
    With respect to the confirmation of mathematical propositions, proof possesses an epistemological authority unmatched by other means of confirmation. This paper is an investigation into why this is the case. I make use of an analysis drawn from an early reliability perspective on knowledge to help make sense of mathematical proofs singular epistemological status.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Maximizing Principles and Mathematical Methodology.Alan Baker - 2002 - Logique Et Analyse 45.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  41. The Geometers of God: Mathematics and Reaction in the Kingdom of Naples.Massimo Mazzotti - 1998 - Isis 89:674-701.
  42. Cold Turkey - Kicking the Habit of Justification (Review of Critical Rationalism: A Restatement and Defence). [REVIEW]Ray Scott Percival - 1994 - New Scientist (1939).
  43. The Four-Color Theorem and Mathematical Proof.Michael Detlefsen & Mark Luker - 1980 - 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 he (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  44. Towards a Theory of Mathematical Research Programmes (I).Michael Hallett - 1979 - British Journal for the Philosophy of Science 30 (1):1-25.
  45. The Encyclopedia of Abraham Savasorda: A Departure in Mathematical Methodology.Martin Levey - 1952 - Isis 43:257-264.