Hume's Principle or HP—the terms were coined by George Boolos—says that the number of Fs is equal to the number of Gs if and only if there is a one-to-one correspondence (a bijection) between the Fs and the Gs. HP can be stated formally in systems of second-order logic. Hume's Principle is named for the Scottish philosopher David Hume.
HP plays a central role in Gottlob Frege's philosophy of mathematics. Frege shows that HP and suitable definitions of arithmetical notions entail all axioms of what we now call second-order arithmetic. This result is known as Frege's theorem, which is the foundation for a philosophy of mathematics known as neo-logicism.
Read more about Hume's Principle: Origins, Influence On Set Theory
Famous quotes containing the words hume and/or principle:
“Learning has been as great a Loser by being shut up in Colleges and Cells, and secluded from the World and good Company. By that Means, every Thing of what we call Belles Lettres became totally barbarous, being cultivated by Men without any Taste of Life or Manners, and without that Liberty and Facility of Thought and Expression, which can only be acquir’d by Conversation.”
—David Hume (1711–1776)
“The mode of founding a college is, commonly, to get up a subscription of dollars and cents, and then, following blindly the principles of a division of labor to its extreme,—a principle which should never be followed but with circumspection,—to call in a contractor who makes this a subject of speculation,... and for these oversights successive generations have to pay.”
—Henry David Thoreau (1817–1862)