Map
Index
Random
Help
th

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 > QuoteRef: tymoT2_1979 , p. 248



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.


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.