Switch to: Citations

References in:

Intentional gaps in mathematical proofs

Synthese 134 (1-2):45 - 69 (2003)

Add references

You must login to add references.
  1. The nature of mathematical knowledge.Philip Kitcher - 1983 - Oxford: Oxford University Press.
    This book argues against the view that mathematical knowledge is a priori,contending that mathematics is an empirical science and develops historically,just as ...
    Download  
     
    Export citation  
     
    Bookmark   275 citations  
  • Mathematics And Value.W. Anglin - 1991 - Philosophia Mathematica (1):145-173.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Science and method.Henri Poincaré - 1914 - New York]: Dover Publications. Edited by Francis Maitland.
    " Vivid . . . immense clarity . . . the product of a brilliant and extremely forceful intellect." — Journal of the Royal Naval Scientific Service "Still a sheer joy to read." — Mathematical Gazette "Should be read by any student, teacher or researcher in mathematics." — Mathematics Teacher The originator of algebraic topology and of the theory of analytic functions of several complex variables, Henri Poincare (1854–1912) excelled at explaining the complexities of scientific and mathematical ideas to lay (...)
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.
    Download  
     
    Export citation  
     
    Bookmark   569 citations  
  • On Formally Undecidable Propositions of Principia Mathematica and Related Systems.Kurt Gödel - 1931 - New York, NY, USA: Basic Books.
    First English translation of revolutionary paper that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Mathematics and value.W. S. Anglin - 1991 - Philosophia Mathematica (2):145-173.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Formally Undectdable Propositions of Principia Mathematica and Related Systems.B. Meltzer - 1965 - Journal of Symbolic Logic 30 (3):357-359.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Proofs and refutations (I).Imre Lakatos - 1963 - British Journal for the Philosophy of Science 14 (53):1-25.
    Download  
     
    Export citation  
     
    Bookmark   114 citations  
  • Proofs and refutations (II).Imre Lakatos - 1963 - British Journal for the Philosophy of Science 14 (54):120-139.
    Download  
     
    Export citation  
     
    Bookmark   86 citations  
  • Selections.René Descartes & Ralph Monroe Eaton - 1927 - Scribner.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Metaphysical Myths, Mathematical Practice: The Ontology and Epistemology of the Exact Sciences.Jody Azzouni - 1994 - New York: Cambridge University Press.
    Most philosophers of mathematics try to show either that the sort of knowledge mathematicians have is similar to the sort of knowledge specialists in the empirical sciences have or that the kind of knowledge mathematicians have, although apparently about objects such as numbers, sets, and so on, isn't really about those sorts of things as well. Jody Azzouni argues that mathematical knowledge really is a special kind of knowledge with its own special means of gathering evidence. He analyses the linguistic (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Epistemic dependence.John Hardwig - 1985 - Journal of Philosophy 82 (7):335-349.
    find myself believing all sorts 0f things for which I d0 not possess evidence: that smoking cigarettes causes lung cancer, that my car keeps stalling because the carburetor needs LO be rebuilt, that mass media threaten democracy, that slums cause emotional disorders, that my irregular heart beat is premature ventricular contraction, that students} grades are not correlated with success in the ncmacadcmic world, that nuclear power plants are not safe (enough) . . . The list 0f things I believe, though (...)
    Download  
     
    Export citation  
     
    Bookmark   325 citations  
  • The Epistemic Status of Probabilistic Proof.Don Fallis - 1997 - Journal of Philosophy 94 (4):165-186.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.
    Download  
     
    Export citation  
     
    Bookmark   184 citations  
  • Mathematical Knowledge.Mark Steiner - 1977 - Mind 86 (343):467-469.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Proofs and Refutations. The Logic of Mathematical Discovery.I. Lakatos - 1977 - Tijdschrift Voor Filosofie 39 (4):715-715.
    Download  
     
    Export citation  
     
    Bookmark   114 citations  
  • The Psychology of Invention in the Mathematical Field.Jacques Hadamard - 1956 - British Journal for the Philosophy of Science 7 (26):177-179.
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  • Gaps between logical theory and mathematical practice.John Corcoran - 1973 - In Mario Augusto Bunge (ed.), The Methodological Unity of Science. Boston: Reidel. pp. 23--50.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • The Reception of Godel's Incompleteness Theorems.John W. Dawson - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:253 - 271.
    According to several commentators, Kurt Godel's incompleteness discoveries were assimilated promptly and almost without objection by his contemporaries - - a circumstance remarkable enough to call for explanation. Careful examination reveals, however, that there were doubters and critics, as well as defenders and rival claimants to priority. In particular, the reactions of Carnap, Bernays, Zermelo, Post, Finsler, and Russell, among others, are considered in detail. Documentary sources include unpublished correspondence from Godel's Nachlass.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • An Examination of Imre Lakatos' Philosophy of Mathematics.Hugh Lehman - 1980 - Philosophical Forum 12 (1):33.
    Download  
     
    Export citation  
     
    Bookmark   1 citation