サクサク読めて、アプリ限定の機能も多数!
メモ。そういやチャイティンの読んでないんだよな。
smoking186 のブックマーク 2005/05/26 01:09
不完全性定理のLisp, Mathematicaによる記述[_Complexity][_science][programming] メモ。そういやチャイティンの読んでないんだよな。2005/05/26 01:09
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.iba.k.u-tokyo.ac.jp/~yabuki2005/05/26
Lisp code / Mathematica notebook プログラミング言語なんてどれも同じと思っている人は下の3つをJavaやC++で書いてみてほしい 不完全性定理についてのゲーデルの証明 停止問題の解決不可能性についてのチューリ...
29 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
メモ。そういやチャイティンの読んでないんだよな。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
不完全性定理のLisp, Mathematicaによる記述
Lisp code / Mathematica notebook プログラミング言語なんてどれも同じと思っている人は下の3つをJavaやC++で書いてみてほしい 不完全性定理についてのゲーデルの証明 停止問題の解決不可能性についてのチューリ...
29 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /