| 
|
Quote: proofs can be formalized as a finite sequence of formulas of a formal theory; a part of why proofs are convincing to mathematicians
topics >
all references >
references t-z >
Topic:
mathematics as a formal system
Quotation Skeleton
Proofs are formalizable. A proof, as defined in … Formal proofs carry with them a certain objectivity. … explains in part why proofs are convincing to … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: mathematics as a formal system (30 items)