Map
Index
Random
Help
th

Quote: a proof is like a program: the axioms are input, finding a proof is writing a program, verification is running the program

topics > all references > references c-d > QuoteRef: daviPJ3_1972 , p. 168



Topic:
mathematics as a formal system

Quotation Skeleton

A proof can be compared with a program. … proof is the program. To find a proof …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: mathematics as a formal system (30 items)

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