Program verification: the very idea
Communications of the ACM
Artificial experts: social knowledge and intelligent machines
Artificial experts: social knowledge and intelligent machines
Social processes and proofs of theorems and programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Mechanizing proof: computing, risk, and trust
Mechanizing proof: computing, risk, and trust
Program Verification: Fundamental Issues in Computer Science
Program Verification: Fundamental Issues in Computer Science
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Object-Oriented and Classical Software Engineering
Object-Oriented and Classical Software Engineering
Social processes, program verification and all that
Mathematical Structures in Computer Science
Some Philosophical Issues in Computer Science
Minds and Machines
Hi-index | 0.00 |
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.