2011-12-16から1日間の記事一覧
ぼくの完全性定理の理解がダメだと、(2011-12-14 - /dev/wd0a)でアホ呼ばわりされて、悲しくなったことはゲーデル本食い歩き - hiroyukikojimaの日記の付記に書いたけど、今日のこの人の付記にもまだ「間違っている」と付け足してあるので、仕方ないから、…
ぼくの完全性定理の理解がダメだと、(2011-12-14 - /dev/wd0a)でアホ呼ばわりされて、悲しくなったことはゲーデル本食い歩き - hiroyukikojimaの日記の付記に書いたけど、今日のこの人の付記にもまだ「間違っている」と付け足してあるので、仕方ないから、…