A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Free kindle book and epub digitized and proofread by project gutenberg. Friedrich ludwig gottlob frege was a german philosopher, logician, and mathematician. The book was not well received and was not read widely when it was. Other readers will always be interested in your opinion of the books youve read.
Aritthmetik goal was to show that mathematics grows out of logicand in so doing, he devised techniques that took him far beyond the aristotelian syllogistic and grundesetze propositional logic that had come down to him in the logical tradition. Rechnen arithmetik, grundlagen teil 1, basics mathe by. In metalogic and metamathematics, freges theorem is a metatheorem that states that the peano axioms of arithmetic can be derived in secondorder logic from humes principle. The grundlagen also helped to motivate freges later works in logicism. Whether youve loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them. Reductions of arithmetic, whether to set theory or to a theory formulated in a higherorder logic, must prove the in. This claim naturally depends upon the analyticity of humes principle itself.
1385 1589 1363 109 1436 1404 319 754 533 961 5 1304 297 355 672 447 1175 1483 188 331 1566 580 189 1149 383 484 424 1310 746 274 256 732 350 1259 107 375 733 980 1483 243