ゲーデル数 - Wikipedia

ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に用いたことから、このように呼ばれている。また、ゲーデル数を割り振ることをゲーデル数化（英: Gödel numbering）と呼ぶ。 ゲーデル数のアイデアを暗に使っている例としては、コンピュータにおけるエンコードが挙げられる。 コンピュータでは何でも0と1で表し、「apple」のような文字列も0と1による数字で表す。 ゲーデル数化とは、このように文字列に数字を対応させる事を指す。 ゲーデル数化は、数式におけるシンボルに数を割り当てる符号化の一種でもあり、それによって生成された自然数の列が文字列を表現する。この自然数の列をさらに1つの自然数で表現することもでき、自然数についての形式的算術理論を適用可能と

[dhrname]

自然数列のゲーデル数は、「コンピュータサイエンス大学講座24 計算論 - 計算可能性とラムダ計算」（高橋正子、1991年、ISBN 978-4-7649-0184-1、p24-25)を参照のこと

[labunix]

1のゲーテル数。第一級オブジェクト言語、関数型プログラミング。キーワードはこれで充分かな？