Switch to: Citations

Add references

You must login to add references.
  1. The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
    Several high-profile mathematical problems have been solved in recent decades by computer-assisted proofs. Some philosophers have argued that such proofs are a posteriori on the grounds that some such proofs are unsurveyable; that our warrant for accepting these proofs involves empirical claims about the reliability of computers; that there might be errors in the computer or program executing the proof; and that appeal to computer introduces into a proof an experimental element. I argue that none of these arguments withstands scrutiny, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Mathematics Without Numbers: Towards a Modal-Structural Interpretation.Geoffrey Hellman - 1989 - Oxford, England: Oxford University Press.
    Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...
    Download  
     
    Export citation  
     
    Bookmark   266 citations  
  • Actualist fallacies, from fax machines to lunar journeys.Amihud Gilead - 2010 - Philosophy and Literature 34 (1):pp. 173-187.
    Already in 1863, Jules Verne knew about Caselli's "pantelegraphy," which was what he described as a "photographic telegraphy, invented during the last century by Professor Giovanni Caselli of Florence."1 Following the mistaken belief that facsimile machines could not been invented until well after the nineteenth century, and wrongly assuming that Caselli was a fictional inventor, merely a figment of Verne's most productive fertile imagination (as such imaginative elements characterize his latter writings), some of Verne's readers mistakenly ascribed to him the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • In Our Own Image: Personal Symmetry in Discovery.Istvan Hargittai & Magdolna Hargittai - 2000 - Springer Verlag.
    The title of our volume refers to what is well described by the following two quota tions:"Godcreated man in his own image"l and "Man creates God in his own image."2 Our approach to symmetry is subjective, and the term "personal" symmetry reflects this approach in our discussion of selected scientific events. We have chosen six icons to symbolize six areas: Kepler for modeling, Fuller for new molecules, Pauling for helical structures, Kitaigorodskii for packing, Bernal for quasicrystals, and Curie for dissymmetry. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations