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
Ezio Di Nucci
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
Willard V. O. Quine (1951). Two Dogmas of Empiricism. Philosophical Review 60 (1):20–43.
Philip Kitcher (1983). The Nature of Mathematical Knowledge. Oxford University Press.
Stewart Shapiro (2000). Thinking About Mathematics: The Philosophy of Mathematics. Oxford University Press.
Hilary Putnam (1962). It Ain't Necessarily So. Journal of Philosophy 59 (22):658-671.
Reuben Hersh (1997). What is Mathematics, Really? 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 downloads17 ( #209,309 of 1,793,065 )
Recent downloads (6 months)2 ( #344,508 of 1,793,065 )
How can I increase my downloads?