2018-02-27 ゲーデル数 プログラム理論 形式言語における文字列(もしくは数学的オブジェクト)に数を対応させること。そうすれば数の理論で扱える。 enc([x1,x2,..xn]) = 2^x1 3^x2 5^x3 ...pn^xn 素因数分解の一意性があるので1対1(nが無限だとどうなるの?)そうすると推論が関数化される。