Quote: a verification of a program must be accepted blindly without the social processes of mathematical proofs

Quotation Skeleton

Being unreadable and--literally--unspeakable, verifications cannot be internalized, transformed, … credibility gradually, as a mathematical theorem does; one …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: program proving is infeasible (46 items)