Quote: both mathematical proof and programming use divide-and-rule in breaking a proof/program into lemmas/subroutines

Quotation Skeleton

[On programs and mathematical theory being analogous:] the lemma is proved independently of how … similarly a subroutine is implemented independently of how … Both were examples of "Divide and Rule": the … into processes, subroutines, clusters, etc.   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: both lemmas and subroutines separate proof/implementation from use

Related Topics

Topic: mathematical proof (23 items)