Rodhos Soft

備忘録を兼ねた技術的なメモです。Rofhos SoftではiOSアプリ開発を中心としてAndroid, Webサービス等の開発を承っております。まずはご相談下さい。

プログラム理論

ゲーデル数

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