| 
|
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 >
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.
Topic: mathematical proof (23 items)