メモ。そういやチャイティンの読んでないんだよな。

smoking186smoking186 のブックマーク 2005/05/26 01:09

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

不完全性定理のLisp, Mathematicaによる記述

    Lisp code / Mathematica notebook プログラミング言語なんてどれも同じと思っている人は下の3つをJavaC++で書いてみてほしい 不完全性定理についてのゲーデルの証明 停止問題の解決不可能性についてのチューリ...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう