| 
|
Quote: an important part of 'proof' in mathematics is the social mechanism; does not exist for proving programs
topics >
all references >
references c-d >
Topic:
program proving is infeasible
Quotation Skeleton
A large measure of credit for the continued … however, these social mechanisms are almost totally lacking. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)