2013-06-19から1日間の記事一覧

■

●『不完全性定理とはなにか／ゲーテルとチューリングが考えたこと』（竹内薫）を半分くらい読んだ。カントールが自然数の無限（可算無限）と実数の無限では無限の「濃度」が違うということを対角線論法で示したのだが、この対角線論法というものこそが自己言…