Map
Index
Random
Help
th

Quote: in Frege's and Russell's systems can give infallible proofs if the axioms and translation are correct; but both are fallible

topics > all references > references i-l > QuoteRef: lakaI_1976 , p. 56 editors' note:



Topic:
mathematical proof

Quotation Skeleton

Frege and Russell provided systems into which mathematics … , and in which the rules of proof … (it is here that the assumptions just referred … consequence of the axioms of the system (i.e., … there need be no 'gaps' in proofs. … There is no serious sense in which such … But the axioms of such systems are fallible … as is well known, broke down.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: mathematical proof (23 items)

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