インフラSE日記

OSS、仮想化、金融工学、ゲーム、ときどきラーメン

2017-09-26から1日間の記事一覧

対角線論法について

カントールが自然数と実数との間に全単射がないことを証明するために対角線論法を使ったことはあまりにも有名です。 その他にもチューリングの停止性問題、ゲーデルの不完全性定理を証明するために対角線論法を使ったことでも有名ですね。 個人的に昔から対…