Map
Index
Random
Help
th

Quote: with an algebra, can prove theorems by mechanical transformations using algebraic laws

topics > all references > references a-b > QuoteRef: backJ8_1978a , p. 618



Topic:
transformation of programs

Quotation Skeleton

In contrast, many ordinary proofs are derived by … be used in a rather mechanical way to … [ax + bx = a + b implies x = 1], … Thus we have proved that x = 1 …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: transformation of programs (27 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.