2007年へ/ 2008年へ/ 2009年へ/ 2010年へ/ 2011年へ/ 2012年へ/
2009-11-04[n年前へ]
■Mathematica、Scheme(MIT Scheme)、Lispによる不完全性定理についての「ゲーデルの証明」
Mathematica、Scheme(MIT Scheme)、Lispで ゲーデルの定理:「この命題は証明できない」(真なのに証明できない命題がある)を書いた、「不完全性定理についてのゲーデルの証明」
Mathematica、Scheme(MIT Scheme)、Lispで ゲーデルの定理:「この命題は証明できない」(真なのに証明できない命題がある)を書いた、「不完全性定理についてのゲーデルの証明」