Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q17101506> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples per page.
- Q17101506 subject Q7020589.
- Q17101506 subject Q7036105.
- Q17101506 subject Q8466143.
- Q17101506 subject Q8583104.
- Q17101506 abstract "This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine's New Foundations shown to be consistent by R. B. Jensen in 1969 (here understood to include at least axioms of Infinity and Choice).What is said here applies also to two families of set theories: on the one hand, a range of theories including Zermelo set theory near the lower end of the scale and going up to ZFC extended with large cardinal hypotheses such as "there is a measurable cardinal"; and on the other hand a hierarchy of extensions of NFU which is surveyed in the New Foundations article. These correspond to different general views of what the set-theoretical universe is like, and it is the approaches to implementation of mathematical concepts under these two general views that are being compared and contrasted.It is not the primary aim of this article to say anything about the relative merits of these theories as foundations for mathematics. The reason for the use of two different set theories is to illustrate that multiple approaches to the implementation of mathematics are feasible. Precisely because of this approach, this article is not a source of "official" definitions for any mathematical concept.".
- Q17101506 wikiPageExternalLink head.pdf.
- Q17101506 wikiPageExternalLink nf.html.
- Q17101506 wikiPageExternalLink quine-nf.
- Q17101506 wikiPageExternalLink settheory-alternative.
- Q17101506 wikiPageExternalLink us.metamath.org.
- Q17101506 wikiPageWikiLink Q1033910.
- Q17101506 wikiPageWikiLink Q1077811.
- Q17101506 wikiPageWikiLink Q1092582.
- Q17101506 wikiPageWikiLink Q11348.
- Q17101506 wikiPageWikiLink Q1144319.
- Q17101506 wikiPageWikiLink Q12482.
- Q17101506 wikiPageWikiLink Q1248241.
- Q17101506 wikiPageWikiLink Q130901.
- Q17101506 wikiPageWikiLink Q130998.
- Q17101506 wikiPageWikiLink Q13415428.
- Q17101506 wikiPageWikiLink Q1359909.
- Q17101506 wikiPageWikiLink Q1361825.
- Q17101506 wikiPageWikiLink Q1460196.
- Q17101506 wikiPageWikiLink Q1548262.
- Q17101506 wikiPageWikiLink Q161846.
- Q17101506 wikiPageWikiLink Q163335.
- Q17101506 wikiPageWikiLink Q173740.
- Q17101506 wikiPageWikiLink Q17455.
- Q17101506 wikiPageWikiLink Q178577.
- Q17101506 wikiPageWikiLink Q179692.
- Q17101506 wikiPageWikiLink Q180907.
- Q17101506 wikiPageWikiLink Q182003.
- Q17101506 wikiPageWikiLink Q185359.
- Q17101506 wikiPageWikiLink Q1896657.
- Q17101506 wikiPageWikiLink Q191290.
- Q17101506 wikiPageWikiLink Q191849.
- Q17101506 wikiPageWikiLink Q191853.
- Q17101506 wikiPageWikiLink Q191884.
- Q17101506 wikiPageWikiLink Q1987722.
- Q17101506 wikiPageWikiLink Q217594.
- Q17101506 wikiPageWikiLink Q226183.
- Q17101506 wikiPageWikiLink Q229102.
- Q17101506 wikiPageWikiLink Q244761.
- Q17101506 wikiPageWikiLink Q278770.
- Q17101506 wikiPageWikiLink Q2795123.
- Q17101506 wikiPageWikiLink Q2914964.
- Q17101506 wikiPageWikiLink Q2995274.
- Q17101506 wikiPageWikiLink Q324896.
- Q17101506 wikiPageWikiLink Q33760.
- Q17101506 wikiPageWikiLink Q338021.
- Q17101506 wikiPageWikiLink Q369377.
- Q17101506 wikiPageWikiLink Q4055684.
- Q17101506 wikiPageWikiLink Q474715.
- Q17101506 wikiPageWikiLink Q49823.
- Q17101506 wikiPageWikiLink Q583760.
- Q17101506 wikiPageWikiLink Q621461.
- Q17101506 wikiPageWikiLink Q621850.
- Q17101506 wikiPageWikiLink Q64861.
- Q17101506 wikiPageWikiLink Q649337.
- Q17101506 wikiPageWikiLink Q659746.
- Q17101506 wikiPageWikiLink Q7020589.
- Q17101506 wikiPageWikiLink Q7036105.
- Q17101506 wikiPageWikiLink Q7435833.
- Q17101506 wikiPageWikiLink Q77887.
- Q17101506 wikiPageWikiLink Q780487.
- Q17101506 wikiPageWikiLink Q824553.
- Q17101506 wikiPageWikiLink Q840810.
- Q17101506 wikiPageWikiLink Q8466143.
- Q17101506 wikiPageWikiLink Q8583104.
- Q17101506 wikiPageWikiLink Q860623.
- Q17101506 wikiPageWikiLink Q925445.
- Q17101506 comment "This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine's New Foundations shown to be consistent by R. B.".
- Q17101506 label "Implementation of mathematics in set theory".