Switch to: References

Add citations

You must login to add citations.
  1. Hume's Attack on Human Rationality.Idan Shimony - 2005 - Dissertation, Tel Aviv University
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Program Verification and Functioning of Operative Computing Revisited: How About Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.
    The issue of proper functioning of operative computing and the utility of program verification, both in general and of specific methods, has been discussed a lot. In many of those discussions, attempts have been made to take mathematics as a model of knowledge and certitude achieving, and accordingly infer about the suitable ways to handle computing. I shortly review three approaches to the subject, and then take a stance by considering social factors which affect the epistemic status of both mathematics (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation