hirax.net::Tech-logs::2009-11-04

2009-11-04[n年前へ]

Mathematica、Scheme(MIT Scheme)、Lispによる不完全性定理についての「ゲーデルの証明」 

 Mathematica、Scheme(MIT Scheme)、Lispで ゲーデルの定理:「この命題は証明できない」(真なのに証明できない命題がある)を書いた、「不完全性定理についてのゲーデルの証明