ゲーデル数化 ゲーデル数とは数理論理学において何らかの形式言語の記号等に一意に割り振られる自然数のこと。 このゲーデル数を割り当てることをゲーデル数化と呼ぶ。 人生初 今日は初めて自転車で伊勢勇に行った。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。