HTML Microdata document

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

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

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
template-ja	http://ja.dbpedia.org/resource/Template:
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbpedia-wikidata	http://wikidata.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n5	http://ja.dbpedia.org/resource/Category:
wikipedia-ja	http://ja.wikipedia.org/wiki/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
dbpedia-ja	http://ja.dbpedia.org/resource/
prop-ja	http://ja.dbpedia.org/property/

Statements

Subject Item: dbpedia-wikidata:Q1451046
owl:sameAs: dbpedia-ja:ゲーデル数

Subject Item: dbpedia-ja:0
dbo:wikiPageWikiLink: dbpedia-ja:ゲーデル数

Subject Item: dbpedia-ja:Smn定理
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:ゲーデル数
rdfs:label: ゲーデル数
rdfs:comment: ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に用いたことから、このように呼ばれている。また、ゲーデル数を割り振ることをゲーデル数化（英: Gödel numbering）と呼ぶ。ゲーデル数のアイデアを暗に使っている例としては、コンピュータにおけるエンコードが挙げられる。コンピュータでは何でも0と1で表し、「apple」のような文字列も0と1による数字で表す。ゲーデル数化とは、このように文字列に数字を対応させる事を指す。ゲーデル数化は、数式におけるシンボルに数を割り当てる符号化の一種でもあり、それによって生成された自然数の列が文字列を表現する。この自然数の列をさらに1つの自然数で表現することもでき、自然数についての形式的算術理論を適用可能となる。ゲーデルの論文が発表された1931年以来、ゲーデル数はより広範囲な様々な数学的オブジェクトに自然数を割り振るのに使われるようになっていった。
owl:sameAs: freebase:m.01dht6
dct:subject: n5:数理論理学 n5:計算理論 n5:クルト・ゲーデル n5:数学に関する記事
dbo:wikiPageID: 1186991
dbo:wikiPageRevisionID: 82528931
dbo:wikiPageWikiLink: dbpedia-ja:Well-formed_formula dbpedia-ja:数理論理学 dbpedia-ja:群_(数学) dbpedia-ja:アルゴリズム dbpedia-ja:ペアノの公理 n5:クルト・ゲーデル dbpedia-ja:レーヴェンハイム-スコーレムの定理 dbpedia-ja:形式言語 dbpedia-ja:推論規則 dbpedia-ja:自然数 dbpedia-ja:クルト・ゲーデル dbpedia-ja:ダグラス・ホフスタッター dbpedia-ja:シンボル dbpedia-ja:計算可能性理論 dbpedia-ja:位取り記数法 dbpedia-ja:計算模型 dbpedia-ja:算術の基本定理 n5:数学に関する記事 dbpedia-ja:ゲーデル、エッシャー、バッハ dbpedia-ja:エンコード dbpedia-ja:ゲーデルの不完全性定理 n5:数理論理学 dbpedia-ja:チューリングマシン n5:計算理論
prop-ja:wikiPageUsesTemplate: template-ja:Normdaten template-ja:Lang-en-short
dbo:abstract: ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に用いたことから、このように呼ばれている。また、ゲーデル数を割り振ることをゲーデル数化（英: Gödel numbering）と呼ぶ。ゲーデル数のアイデアを暗に使っている例としては、コンピュータにおけるエンコードが挙げられる。コンピュータでは何でも0と1で表し、「apple」のような文字列も0と1による数字で表す。ゲーデル数化とは、このように文字列に数字を対応させる事を指す。ゲーデル数化は、数式におけるシンボルに数を割り当てる符号化の一種でもあり、それによって生成された自然数の列が文字列を表現する。この自然数の列をさらに1つの自然数で表現することもでき、自然数についての形式的算術理論を適用可能となる。ゲーデルの論文が発表された1931年以来、ゲーデル数はより広範囲な様々な数学的オブジェクトに自然数を割り振るのに使われるようになっていった。
dbo:wikiPageLength: 2840
prov:wasDerivedFrom: wikipedia-ja:ゲーデル数?oldid=82528931&ns=0
foaf:isPrimaryTopicOf: wikipedia-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: 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: 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: 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: 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:ゲーデル数
dbo:wikiPageRedirects: dbpedia-ja:ゲーデル数

Subject Item: wikipedia-ja:ゲーデル数
foaf:primaryTopic: dbpedia-ja:ゲーデル数