Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 21 (2):337-359 (2011)
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 and computing. I use the analogy between mathematics and computing in reverse—that is to say, I consider operative computing as a form of making mathematics, and so attempt to learn from computing to mathematics in general. I conclude that mathematics engineering is a field to be both developed for practical improvement of doing mathematics and taken into consideration while philosophizing about mathematics as well
|Keywords||Computing engineering Operative computing Philosophy of mathematics Program verification Software engineering|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Joseph Auslander (2008). On the Roles of Proof in Mathematics. In Bonnie Gold & Roger Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. 61--77.
James H. Fetzer (1988). Program Verification: The Very Idea. Communications of the Acm 31 (9):1048--1063.
Reuben Hersh (1997). What is Mathematics, Really? Oxford University Press.
Philip Kitcher (1983). The Nature of Mathematical Knowledge. Oxford University Press.
Citations of this work BETA
Amnon Eden (2011). Some Philosophical Issues in Computer Science. Minds and Machines 21 (2):123-133.
Similar books and articles
Christopher Pincock (2009). Towards a Philosophy of Applied Mathematics. In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave Macmillan.
André Kukla (1994). Medium AI and Experimental Science. Philosophical Psychology 7 (4):493-5012.
Charalampos Toumasis (1993). Ideas and Processes in Mathematics: A Course on History and Philosophy of Mathematics. Studies in Philosophy and Education 12 (2-4):245-256.
Matti Tedre (2011). Computing as a Science: A Survey of Competing Viewpoints. [REVIEW] Minds and Machines 21 (3):361-387.
Edward N. Zalta (2007). Reflections on Mathematics. In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Izabela Bondecka-Krzykowska (2010). O związkach informatyki z matematyką. Filozofia Nauki 1.
B. Jack Copeland (ed.) (2005). Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to Build the Modern Computer. OUP Oxford.
Mark Colyvan (2012). An Introduction to the Philosophy of Mathematics. Cambridge University Press.
Michael D. Resnik (1997). Mathematics as a Science of Patterns. New York ;Oxford University Press.
Added to index2011-02-07
Total downloads14 ( #120,567 of 1,102,043 )
Recent downloads (6 months)9 ( #28,745 of 1,102,043 )
How can I increase my downloads?