Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [Book Review]

Minds and Machines 21 (2):337-359 (2011)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,400

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Medium AI and experimental science.Andre Kukla - 1994 - Philosophical Psychology 7 (4):493-5012.
Reflections on mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Mathematics as a Science of Patterns.Michael David Resnik - 1997 - Oxford, England: New York ;Oxford University Press.

Analytics

Added to PP
2011-02-07

Downloads
62 (#194,083)

6 months
1 (#452,962)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.

Add more citations

References found in this work

Two Dogmas of Empiricism.W. Quine - 1951 - [Longmans, Green].
Two Dogmas of Empiricism.Willard V. O. Quine - 1951 - Philosophical Review 60 (1):20–43.
The Nature of Mathematical Knowledge.Philip Kitcher - 1983 - Oxford, England: Oxford University Press.
Two Dogmas of Empiricism Symposium.W. V. Quine - 1951 - Philosophical Review 60:20.
Thinking About Mathematics: The Philosophy of Mathematics.Stewart Shapiro - 2000 - Oxford, England: Oxford University Press.

View all 21 references / Add more references