2023-09-26から1日間の記事一覧
ラムダ計算の文法に着目すれば、ラムダ計算は一つのゲーデル数で表すことができることを示す。 例えば、λx.xというラムダ式があって、次のように文字ごとに自然数を割り振っていこう。ただし、空白は無視できるものとする。 "λ" - 1"x" - 2"." - 3"(" - 4")"…
ラムダ計算の文法に着目すれば、ラムダ計算は一つのゲーデル数で表すことができることを示す。 例えば、λx.xというラムダ式があって、次のように文字ごとに自然数を割り振っていこう。ただし、空白は無視できるものとする。 "λ" - 1"x" - 2"." - 3"(" - 4")"…