| 
|
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 >
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.
Topic: mathematics as a formal system (30 items)