2014-06-23から1日間の記事一覧

ゲーデルの不完全性定理が分かったような気になった(これで何回目やら)(2)

なぜ、また分からなくなったか、というと、同じように考えて「は偽である」という命題のにこの命題自身に対応する値を代入することが可能ではないか、と思ったからです。こうするとこの命題は実質的に「この命題は偽である」になります。例の古代ギリシアに…