Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [Book Review]
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)|
References found in this work BETA
Thinking About Mathematics: The Philosophy of Mathematics.Stewart Shapiro - 2000 - Oxford University Press.
Citations of this work BETA
Some Philosophical Issues in Computer Science.Amnon Eden - 2011 - Minds and Machines 21 (2):123-133.
Similar books and articles
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.
Ideas and Processes in Mathematics: A Course on History and Philosophy of Mathematics.Charalampos Toumasis - 1993 - Studies in Philosophy and Education 12 (2-4):245-256.
Computing as a Science: A Survey of Competing Viewpoints. [REVIEW]Matti Tedre - 2011 - Minds and Machines 21 (3):361-387.
Reflections on Mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to Build the Modern Computer.B. Jack Copeland (ed.) - 2005 - Oxford University Press.
Added to index2011-02-07
Total downloads20 ( #250,102 of 2,177,988 )
Recent downloads (6 months)1 ( #317,698 of 2,177,988 )
How can I increase my downloads?