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:
“If the religious spirit be ever mentioned in any historical narration, we are sure to meet afterwards with a detail of the miseries which attend it. And no period of time can be happier or more prosperous, than those in which it is never regarded or heard of.”
—David Hume (1711–1776)
“Without the Constitution and the Union, we could not have attained the result; but even these, are not the primary cause of our great prosperity. There is something back of these, entwining itself more closely about the human heart. That something, is the principle of “Liberty to all”Mthe principle that clears the path for all—gives hope to all—and, by consequence, enterprize [sic], and industry to all.”
—Abraham Lincoln (1809–1865)