Quote: a program proof is for refutation of certain forms of incorrectness; math proofs demonstrate existence

Quotation Skeleton

We argue that, although program proofs are indeed … rather to show that certain properties--i.e., certain forms … … From the point of view of mathematics … the important concept is not that of refutation … objects with certain abstract properties.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: program proving is infeasible (46 items)
Topic: mathematical proof (23 items)