Quote: should separate program derivations from the process of building derivations

Quotation Skeleton

Mathematicians do not develop proofs by starting at … in gaps until they have enough detail to … mathematical fact--even if it is written in ordinary … exploratory activity, in which insights are gained and … separate program derivations-- highly structured justifications for programs--from …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: the process of building a mathematical proof is exploratory, a process of filling in gaps; the end result is highly structured

Related Topics

Topic: transformation of programs (27 items)
Topic: mathematical proof (23 items)