Mention634097
Download triples| rdf:type | qkg:Mention |
| so:text | Gottlob Frege created modern logic including "for all," "there exists," and rules of proof. Leibniz and Boole had dealt only with what we now call "propositional logic" . They also did not concern themselves with rules of proof, since their aim was to reach truth by pure calculation with symbols for the propositions. Frege took the opposite track: instead of trying to reduce logic to calculation, he tried to reduce mathematics to logic, including the concept of number. (en) |
| so:isPartOf | https://en.wikiquote.org/wiki/Michael_J._Beeson |
| so:description | The Mechanization of Mathematics," 2004 (en) |
| qkg:hasContext | qkg:Context312445 |
| Property | Object |
|---|
Triples where Mention634097 is the object (without rdf:type)
| qkg:Quotation601192 | qkg:hasMention |
| Subject | Property |
|---|
