サクサク読めて、アプリ限定の機能も多数！
1のゲーテル数。第一級オブジェクト言語、関数型プログラミング。キーワードはこれで充分かな？
labunix のブックマーク 2011/07/27 23:31
このブックマークにはスターがありません。 最初のスターをつけてみよう！
ja.wikipedia.org2008/02/26
ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に用いたことから、こ...
12 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／
1のゲーテル数。第一級オブジェクト言語、関数型プログラミング。キーワードはこれで充分かな？
このブックマークにはスターがありません。
最初のスターをつけてみよう！
ゲーデル数 - Wikipedia
ゲーデル数（ゲーデルすう、英: Gödel number）は、数理論理学において何らかの形式言語のそれぞれの記号や論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に用いたことから、こ...
12 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／