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

最新の記事(inside out)へ |

2009-11-04[n年前へ]

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

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

この記事の「関連お勧め記事」を読む >>

キーワード(ブログ):mathematica|MIT|Scheme|Lisp|不完全性定理|ゲーデル|証明

このページ上部へ