2006-11-30から1日間の記事一覧

ゲーデルの不完全性定理について少し補足

えーと、この前のひどい言われようですが - くるるの数学ノートでid:roi_dantonさんがbewaadさんのところにつけたコメントでのゲーデルの不完全性定理の使われ方についてコメントしたわけですが(なんだこの読みにくい文は!)。読み返してみると削りすぎて本…