Frege's Theorem

Frege's Theorem

4.11 - 1251 ratings - Source

Richard Heck explores a key idea in the work of the great philosopher/logician Gottlob Frege: that the axioms of arithmetic can be logically derived from a single principle. Heck uses the theorem to explore historical, philosophical, and technical issues in philosophy of mathematics and logic, relating them to key areas of contemporary philosophy.To show that the assignment was consistent with HP, it would be sufficient, though not necessary, to derive the latter within ... Nevertheless, such a stipulation would resolve the Caesar problem, in the sense that it would fix the truth-values ofanbsp;...

Title:Frege's Theorem
Author:Richard G. Heck
Publisher:Oxford University Press - 2011-09-29


You Must CONTINUE and create a free account to access unlimited downloads & streaming