「不完全性定理は『現代科学の限界』なるものを示してはいない」の次回で、Con(PA+¬Con(PA))をねたにしようと準備していたら、同じネタを書かれている方がいらっしゃいました。このままではカブっちゃうので、こちらはもうちょっと詳細に立ち入って、違いを…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:28ごろ シェイプボクシングWii 梅の花 片岡物産 P&G 20:28ごろ〜20:54 proactiv ロート製薬 Unilever ドクターリセラ ヴァーナル 他の…