Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Humes_principle> ?p ?o }
Showing triples 1 to 64 of
64
with 100 triples per page.
- Humes_principle abstract "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.".
- Humes_principle wikiPageExternalLink frege-logic.
- Humes_principle wikiPageExternalLink list.html.
- Humes_principle wikiPageExternalLink home.html.
- Humes_principle wikiPageExternalLink mathsproject.html.
- Humes_principle wikiPageID "314743".
- Humes_principle wikiPageLength "5061".
- Humes_principle wikiPageOutDegree "43".
- Humes_principle wikiPageRevisionID "627201307".
- Humes_principle wikiPageWikiLink A_Treatise_of_Human_Nature.
- Humes_principle wikiPageWikiLink Aristotle.
- Humes_principle wikiPageWikiLink Arithmetic.
- Humes_principle wikiPageWikiLink Axiomatic_set_theory.
- Humes_principle wikiPageWikiLink Bijection.
- Humes_principle wikiPageWikiLink Cardinal_number.
- Humes_principle wikiPageWikiLink Category:Concepts_in_logic.
- Humes_principle wikiPageWikiLink Category:Mathematical_principles.
- Humes_principle wikiPageWikiLink Category:Philosophy_of_mathematics.
- Humes_principle wikiPageWikiLink Category:Set_theory.
- Humes_principle wikiPageWikiLink David_Hume.
- Humes_principle wikiPageWikiLink Edward_N._Zalta.
- Humes_principle wikiPageWikiLink Edward_Zalta.
- Humes_principle wikiPageWikiLink Euclid.
- Humes_principle wikiPageWikiLink Euclids_Elements.
- Humes_principle wikiPageWikiLink Freges_theorem.
- Humes_principle wikiPageWikiLink Geometry.
- Humes_principle wikiPageWikiLink Georg_Cantor.
- Humes_principle wikiPageWikiLink George_Boolos.
- Humes_principle wikiPageWikiLink Gottlob_Frege.
- Humes_principle wikiPageWikiLink Infinite_set.
- Humes_principle wikiPageWikiLink Logical_consequence.
- Humes_principle wikiPageWikiLink Logicism.
- Humes_principle wikiPageWikiLink Metaphysics_(Aristotle).
- Humes_principle wikiPageWikiLink Number.
- Humes_principle wikiPageWikiLink One-to-one_correspondence.
- Humes_principle wikiPageWikiLink Ordinal_number.
- Humes_principle wikiPageWikiLink Proportionality_(mathematics).
- Humes_principle wikiPageWikiLink Quantity.
- Humes_principle wikiPageWikiLink Second-order_arithmetic.
- Humes_principle wikiPageWikiLink Second-order_logic.
- Humes_principle wikiPageWikiLink Set_theory.
- Humes_principle wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Humes_principle wikiPageWikiLink The_Foundations_of_Arithmetic.
- Humes_principle wikiPageWikiLink Transfinite_number.
- Humes_principle wikiPageWikiLinkText "Hume's principle".
- Humes_principle wikiPageWikiLinkText "Hume's_principle".
- Humes_principle hasPhotoCollection Humes_principle.
- Humes_principle wikiPageUsesTemplate Template:Hume.
- Humes_principle subject Category:Concepts_in_logic.
- Humes_principle subject Category:Mathematical_principles.
- Humes_principle subject Category:Philosophy_of_mathematics.
- Humes_principle subject Category:Set_theory.
- Humes_principle hypernym Correspondence.
- Humes_principle type Organisation.
- Humes_principle comment "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.".
- Humes_principle label "Hume's principle".
- Humes_principle sameAs Humes_Prinzip.
- Humes_principle sameAs Principio_de_Hume.
- Humes_principle sameAs ヒュームの原理.
- Humes_principle sameAs m.01tplr.
- Humes_principle sameAs Q1553014.
- Humes_principle sameAs Q1553014.
- Humes_principle wasDerivedFrom Humes_principleoldid=627201307.
- Humes_principle isPrimaryTopicOf Humes_principle.