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:
“We can conceive a thinking being to have either many or few perceptions. Suppose the mind to be reduced even below the life of an oyster. Suppose it to have only one perception, as of thirst or hunger. Consider it in that situation. Do you conceive any thing but merely that perception? Have you any notion of self or substance? If not, the addition of other perceptions can never give you that notion.”
—David Hume (1711–1776)
“I do not mean to exclude altogether the idea of patriotism. I know it exists, and I know it has done much in the present contest. But I will venture to assert, that a great and lasting war can never be supported on this principle alone. It must be aided by a prospect of interest, or some reward.”
—George Washington (1732–1799)