ゲーデル数とは?
64文字以内で説明
全ての論理式につけられた固有の自然数のこと。全ての論理式を識別するため、膨大な桁になりうる。
投稿者: rootさん (2010-06-09 22:04:17)
0 0
ユーザー登録をすると、他の意味も表示されるようになります。
また編集もできるようになります。
同義語を探す
ログインすると、同義語の登録ができます。
右のフォームからログインしてください。
関連書籍を、amazon.co.jpで探す
関連ページを探す
ゲーデル数出典:フリー百科事典『ウィキペディア(Wikipedia)』移動:ナビゲーション,検索ゲーデル数(英:Gödelnumber)は、数理論理学において何らかの形式言語のそれぞれの記号や整論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に用いたことから、このように呼ばれている。また、ゲーデル数を割り振ることをゲーデル数化(英:Gödelnumbering)と呼ぶ。ゲーデル数のアイデアを暗に使っている例としては、コンピュータにおけるエンコードがあげられる。コンピュータでは何
http://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E6%95%B0
ログイン
メールアドレス:

パスワード:

ログイン情報を保持

登録がまだの方は、
ユーザー登録をしてください。
コンテンツ
リンク
ユーザーランキング
1. たっくんさん(17pt)
2. pochielさん(14pt)
3. keshigom_Pさん(5pt)
4. rootさん(2pt)
5. いかろさん(1pt)
6. c4h10o2fpさん(1pt)
7. laevateinn495さん(1pt)
最近登録された用語
最近登録された意味
メールサーバ
- 電子メールの送受信等を行うサーバ...
マスク
- ビット演算を行う処理である。...
大数の法則
- サンプル数が大きくなるほど、サン...
べき乗法
- 行列に対する絶対値最大の固有値及...
特異値分解
- n行m列の行列Aを A =UΣV...
ルンゲ・クッタ法
- 常微分方程式を解くアルゴリズムの...
OCR
- 本来は光学式文字読み取り装置のこ...
オイラー法
- 常微分方程式を数値的に解くアルゴ...
ロード
- 何でもないような事が幸せだったと...
MACアドレス
- ハードウェアに固有のアドレス。原...