Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Hume's_principle> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- Hume's_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.".
- Hume's_principle wikiPageExternalLink frege-logic.
- Hume's_principle wikiPageExternalLink list.html.
- Hume's_principle wikiPageExternalLink home.html.
- Hume's_principle wikiPageExternalLink mathsproject.html.
- Hume's_principle wikiPageID "314743".
- Hume's_principle wikiPageRevisionID "542487120".
- Hume's_principle hasPhotoCollection Hume's_principle.
- Hume's_principle subject Category:Concepts_in_logic.
- Hume's_principle subject Category:Mathematical_principles.
- Hume's_principle subject Category:Philosophy_of_mathematics.
- Hume's_principle subject Category:Set_theory.
- Hume's_principle type Abstraction100002137.
- Hume's_principle type Cognition100023271.
- Hume's_principle type Concept105835747.
- Hume's_principle type ConceptsInLogic.
- Hume's_principle type Content105809192.
- Hume's_principle type Generalization105913275.
- Hume's_principle type Idea105833840.
- Hume's_principle type MathematicalPrinciples.
- Hume's_principle type Principle105913538.
- Hume's_principle type PsychologicalFeature100023100.
- Hume's_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.".
- Hume's_principle label "Hume's principle".
- Hume's_principle label "Humes Prinzip".
- Hume's_principle label "Principio de Hume".
- Hume's_principle label "ヒュームの原理".
- Hume's_principle sameAs Humes_Prinzip.
- Hume's_principle sameAs Principio_de_Hume.
- Hume's_principle sameAs ヒュームの原理.
- Hume's_principle sameAs m.01tplr.
- Hume's_principle sameAs Q1553014.
- Hume's_principle sameAs Q1553014.
- Hume's_principle sameAs Hume's_principle.
- Hume's_principle wasDerivedFrom Hume's_principle?oldid=542487120.
- Hume's_principle isPrimaryTopicOf Hume's_principle.