本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:37ごろ P&G ZOJIRUSHI 20:37ごろ〜20:54 proactiv ヴァーナル Unilever ドクターリセラ ロート製薬 他の系列局では異なるかもしれませ…

本日、朝日放送（大阪）で放送された「オーラの泉」の提供としてクレジットされていたのは、以下の通りです。 19:57〜20:36ごろ P&G 梅の花 20:36ごろ〜20:54 proactiv ロート製薬 ドクターリセラ Unilever SUBARU ヴァーナル 他の系列局では異なるかもしれ…

「ブログ・エントリーのための覚え書き」(id:khideaki:20080928:1222593261)について、「あかんでしょ」と書いた(id:wd0:20080930:b)直後に、あちらのほうで、「うまい説明とは(id:khideaki:20081003:1222993885)」「形式システムにおける証明の概念(id:khid…

これまでのお話 不完全性定理は「現代科学の限界」なるものを示してはいない（その０） 不完全性定理は「現代科学の限界」なるものを示してはいない（その０つづき） 第一不完全性定理は「真であるが証明できないことが存在する」ではない 今日、第一不完全…