2017-04-01から1日間の記事一覧

ポストモダンのゲーデル不完全性定理という「黒歴史」

(エイプリルフールにふさわしいネタじゃないですかねw) 例えば、数学的帰納法というのがある。R(1)が成立する。R(n)が成立するとき、R(n+1)が成立する。ならば、すべてのR(n)が成立する。これは一見すると、なんの問題もないように思う…