caa a22 4500 445838280 CHVBK 20180317145336.0 cr unu---uuuuu 170323e20110501xx s 000 0 eng 10.1007/s11023-011-9237-z doi (NATIONALLICENCE)springer-10.1007/s11023-011-9237-z Pincas Uri The Open University of Israel, Raanana, Israel aut Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [Elektronische Daten] [Uri Pincas] 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. Springer Science+Business Media B.V., 2011 Computing engineering nationallicence Operative computing nationallicence Philosophy of mathematics nationallicence Program verification nationallicence Software engineering nationallicence Minds and Machines Springer Netherlands 21/2(2011-05-01), 337-359 0924-6495 21:2<337 2011 21 11023 https://doi.org/10.1007/s11023-011-9237-z text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11023-011-9237-z text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Pincas Uri The Open University of Israel, Raanana, Israel aut NATIONALLICENCE 773 0- Minds and Machines Springer Netherlands 21/2(2011-05-01), 337-359 0924-6495 21:2<337 2011 21 11023 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer