Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
    Ordinary mathematical proofs—to be distinguished from formal derivations—are the locus of mathematical knowledge. Their epistemic content goes way beyond what is summarised in the form of theorems. Objections are raised against the formalist thesis that every mainstream informal proof can be formalised in some first-order formal system. Foundationalism is at the heart of Hilbert's program and calls for methods of formal logic to prove consistency. On the other hand, ‘systemic cohesiveness’, as proposed here, seeks to explicate why mathematical knowledge is (...)
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • (1 other version)Why Do We Prove Theorems?Yehuda Rav - 1998 - Philosophia Mathematica 6 (3):5-41.
    Ordinary mathematical proofs—to be distinguished from formal derivations—are the locus of mathematical knowledge. Their epistemic content goes way beyond what is summarised in the form of theorems. Objections are raised against the formalist thesis that every mainstream informal proof can be formalised in some first-order formal system. Foundationalism is at the heart of Hilbert's program and calls for methods of formal logic to prove consistency. On the other hand, ‘systemic cohesiveness’, as proposed here, seeks to explicate why mathematical knowledge is (...)
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • Toward a socio-semiotics of the theater.Fernando de Toro - 1988 - Semiotica 72 (1-2):37-70.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mathematical proof.G. H. Hardy - 1929 - Mind 38 (149):1-25.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.
    The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Mathematics has a front and a back.Reuben Hersh - 1991 - Synthese 88 (2):127 - 133.
    It is explained that, in the sense of the sociologist Erving Goffman, mathematics has a front and a back. Four pervasive myths about mathematics are stated. Acceptance of these myths is related to whether one is located in the front or the back.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • The four-color problem and its philosophical significance.Thomas Tymoczko - 1979 - Journal of Philosophy 76 (2):57-83.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Ad Infinitum... The Ghost in Turing's Machine: Taking God Out of Mathematics and Putting the Body Back In. An Essay in Corporeal Semiotics.Brian Rotman - 1993 - Stanford University Press.
    This ambitious work puts forward a new account of mathematics-as-language that challenges the coherence of the accepted idea of infinity and suggests a startlingly new conception of counting. The author questions the familiar, classical, interpretation of whole numbers held by mathematicians and scientists, and replaces it with an original and radical alternative--what the author calls non-Euclidean arithmetic. The author's entry point is an attack on the notion of the mathematical infinite in both its potential and actual forms, an attack organized (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations