Switch to: Citations

Add references

You must login to add references.
  1. Proofs and refutations: the logic of mathematical discovery.Imre Lakatos (ed.) - 1976 - New York: Cambridge University Press.
    Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre (...)
  • Number, the language of science.Tobias Dantzig - 1930 - New York,: Free Press.
    A new edition of the classic introduction to mathematics, first published in 1930 and revised in the 1950s, explains the history and tenets of mathematics, ...
    Direct download  
     
    Export citation  
     
    Bookmark   46 citations  
  • The limits of correctness.Brian Cantwell Smith - 1985 - Acm Sigcas Computers and Society 14 (1):18-26.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Proofs and Refutations: The Logic of Mathematical Discovery.Daniel Isaacson - 1978 - Philosophical Quarterly 28 (111):169-171.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Proofs and refutations (IV).I. Lakatos - 1963 - British Journal for the Philosophy of Science 14 (56):296-342.
  • Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
    The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.
    Direct download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Geometry and empirical science.Carl Hempel - unknown