コトバンクはYahoo!辞書と技術提携しています。

ゲーデル数 ゲーデルすう Gödel number

1件 の用語解説(ゲーデル数の意味・用語解説を検索)

世界大百科事典 第2版の解説

ゲーデルすう【ゲーデル数 Gödel number】

数学の形式的体系における対象の項,式,命題,証明は,いずれも,あらかじめ用意されている可算個の変数,いくつかの定数,述語,論理記号から体系固有の規則によって構成される記号の有限系列である。したがって,これらの対象の全体は可算集合であるから,おのおのの対象に一意のしかたで,しかもその構造を完全に反映するように,自然数を対応させることができる。この対応を用いて,形式的体系の超数学的命題を自然数論の命題として翻訳できる。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

世界大百科事典内のゲーデル数の言及

【計算可能性】より

…このように拡張された関数を計算可能部分関数という。 プログラムをコンピューター内部のデータとして表現するというプログラム内蔵方式のコンピューターの原理も,計算可能性に関係する重要な概念である符号化(ゲーデル数化ともいう)と密接な関係にある。プログラムが0,1のビット列で表現できるのと同様に,計算可能部分関数もすべて自然数で表現することができる。…

※「ゲーデル数」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

ゲーデル数の関連キーワード形式的形式犯前項タルスキに於ける精密科学心肺能力共変性の原理森林蓄積小林俊行

今日のキーワード

災害派遣

天災地変その他の災害に際して,人命または財産の保護のために行なわれる自衛隊の派遣。災害出動ともいう。都道府県知事などの要請に基づいて,防衛大臣が派遣することを原則とするが,特に緊急を要する場合,要請を...

続きを読む

コトバンク for iPhone