ウヒくんと名乗るおそらく数学者の方のブログ記事「世界共通の言語」より引用 多くの人にとって自然数の存在というのは明らかであって、 したがってモデルが存在する以上、 自然数論（ＰＡ）の無矛盾性は明らかである。 とすると無矛盾性証明を試みる意図が…

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

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

id:wd0:20081005:a その後 あの方は、入門的教科書の引き写しに方針転換なさったようで(id:khideaki:20081120:1227143587, id:khideaki:20081121:1227277669)。従来路線が地雷を踏みまくりだったのと比べると、はるかに安全側に軌道修正です。あと、著作権侵…

これまでのお話 不完全性定理は「現代科学の限界」なるものを示してはいない（その０） 不完全性定理は「現代科学の限界」なるものを示してはいない（その０つづき） 不完全性定理は「現代科学の限界」なるものを示してはいない（その１） 第二不完全性定理…

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

Books.or.jpを使って、書名に「不完全性定理」を含み現在入手可能な本のリストを作ってみました。(2008年11月18日現在)おすすめ本のリストではありません。内容の評価はしていません。機械的に得られたリストを手で整形しただけです。ご承知の上ご利用くださ…

「「ゲーデルの不完全性定理は否定的かつ肯定的な結果である」という解釈ではいけないのだろうか」( id:MarriageTheorem:20081116:1226807605 ) へのお返事 「ガロア理論は、5次以上の代数方程式の代数的解法の不在を示すので、否定的な結果である」を認める…

うすらバカ事件について 「キングオブうすらバカ」(あえてリンクしない)のあまりの出鱈目さに唖然として言葉を失なっていたのですが、くるるさんの適切なつっこみが出て、ほっとしました。ありがとうございます。元記事の出鱈目さは私の表現力をはるかに超え…

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