This HTML5 document contains 60 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16http://www.cwi.nl/~tromp/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n13https://web.archive.org/web/20051130153411/http:/homepages.cwi.nl/~tromp/
n18https://web.archive.org/web/20060913094157/http:/www.u.arizona.edu/~miller/thesis/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://ja.dbpedia.org/resource/Category:
n9http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
n17https://web.archive.org/web/20060912005737/http:/www.u.arizona.edu/~miller/thesis/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q1149185
owl:sameAs
dbpedia-ja:グッドスタインの定理
Subject Item
dbpedia-ja:1283
dbo:wikiPageWikiLink
dbpedia-ja:グッドスタインの定理
Subject Item
dbpedia-ja:エプシロン・ノート
dbo:wikiPageWikiLink
dbpedia-ja:グッドスタインの定理
Subject Item
dbpedia-ja:グッドスタインの定理
rdfs:label
グッドスタインの定理
rdfs:comment
グッドスタインの定理(グッドスタインのていり、Goodstein's theorem)は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術の範囲では証明も否定の証明もできないが、集合論の公理系、特に無限集合の公理を用いると真であることが言える。たとえばゲーデルの不完全性定理から導かれる決定不能な命題などは、いかにも不自然だったり人工的に見えたりする場合があるのに対し、この定理は「自然な」決定不能命題の例として知られる。
owl:sameAs
freebase:m.0139r1
dct:subject
n4:数理論理学 n4:数学のエポニム n4:集合論 n4:数学基礎論の定理 n4:数学に関する記事 n4:巨大数
dbo:wikiPageID
731568
dbo:wikiPageRevisionID
91553261
dbo:wikiPageWikiLink
dbpedia-ja:順序数 dbpedia-ja:ゲンツェンの定理 dbpedia-ja:パリス=ハーリントンの定理 n4:数学に関する記事 n4:数理論理学 dbpedia-ja:不完全性定理 dbpedia-ja:数理論理学 dbpedia-ja:エプシロン・ノート dbpedia-ja:Haskell dbpedia-ja:証明_(数学) n4:数学のエポニム dbpedia-ja:ペアノの公理 n4:集合論 dbpedia-ja:自然数 dbpedia-ja:クルト・ゲーデル dbpedia-ja:公理的集合論 n4:巨大数 n4:数学基礎論の定理 dbpedia-ja:公理 dbpedia-ja:ローレンス・カービー dbpedia-ja:Well-defined dbpedia-ja:整列順序 dbpedia-ja:無限降下法 dbpedia-ja:全域関数 dbpedia-ja:帰納法 dbpedia-ja:チューリングマシン dbpedia-ja:Ruby dbpedia-ja:計算可能関数
dbo:wikiPageExternalLink
n13:pearls.html%23goodstein n16:pearls.html%23goodstein n17:thesis.html n18:node11.html
prop-en:wikiPageUsesTemplate
template-en:Cite_book template-en:Indent template-en:Cite_web
dbo:abstract
グッドスタインの定理(グッドスタインのていり、Goodstein's theorem)は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術の範囲では証明も否定の証明もできないが、集合論の公理系、特に無限集合の公理を用いると真であることが言える。たとえばゲーデルの不完全性定理から導かれる決定不能な命題などは、いかにも不自然だったり人工的に見えたりする場合があるのに対し、この定理は「自然な」決定不能命題の例として知られる。
dbo:wikiPageLength
6688
prov:wasDerivedFrom
n9:グッドスタインの定理?oldid=91553261&ns=0
foaf:isPrimaryTopicOf
n9:グッドスタインの定理
Subject Item
dbpedia-ja:ゲーデルの不完全性定理
dbo:wikiPageWikiLink
dbpedia-ja:グッドスタインの定理
Subject Item
dbpedia-ja:ゲーデルの加速定理
dbo:wikiPageWikiLink
dbpedia-ja:グッドスタインの定理
Subject Item
dbpedia-ja:パリス=ハーリントンの定理
dbo:wikiPageWikiLink
dbpedia-ja:グッドスタインの定理
Subject Item
dbpedia-ja:ラムゼー理論
dbo:wikiPageWikiLink
dbpedia-ja:グッドスタインの定理
Subject Item
dbpedia-ja:ローレンス・カービー
dbo:wikiPageWikiLink
dbpedia-ja:グッドスタインの定理
Subject Item
dbpedia-ja:再帰理論
dbo:wikiPageWikiLink
dbpedia-ja:グッドスタインの定理
Subject Item
n9:グッドスタインの定理
foaf:primaryTopic
dbpedia-ja:グッドスタインの定理