Encyclopedia of Triangle Centersの項目数が2011年12月26日付けで、3910になっています。2011年12月21日付けから128増えています。三部構成になる日も近いかも。ところで、なにやらページがおかしくなっているようですね。タグが閉じていないところがあるし…

Encyclopedia of Triangle Centers (ETC) が、2011年12月21日付けで、ついに二部構成になりました。ETCは、三角形の中心の事典です。エバンズビル大学の Clark Kimberling 教授が、大学内と思われるURLのWWWページで公開しています。三角形の中心の解説つき…

学生向けレクチャーの計画の再検討が必要かと弱気になってきたので、手許の教科書を調べてみました。Logic and Structure (Universitext)作者: Dirk van Dalen出版社/メーカー: Springer発売日: 2011/10/30メディア: ペーパーバック購入: 1人 クリック: 20回…

「完全性定理って、そんなに難しいものなの？」に自分で回答していたことに、いまごろ気づきました。http://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-1.html から引用 数理論理学を学ぶために最低限必要なセンスが三つある。 シンタックスとセマン…

無矛盾な一階の理論が以下の二条件をみたすとする。 任意の閉原子論理式に対して、 または が成り立つ。 の形の任意の閉論理式に対して、ある閉項が存在して、 が成り立つ。 このとき、は完全な理論である。なぜならば、任意の閉論理式に対して、条件2を繰り…

本務先の研究室サーバに置いている「書評」のページの「おまけ」の部分に書き加えたいけど、必要な調査ができていないために、まだ、書けないでいることがある。「よくある間違い」のベージに「体系に数学的帰納法が入っていることが不完全性定理の本質であ…

本務先の研究室サーバに置いている「書評」のページに書き加えたいけど、まだ考えがまとまっていないことを、とりあえず、ここに書いておく。考えがまとまったら本務先ページに反映させたい。数理論理学を学ぶために最低限必要なセンスが三つあると指摘して…

小島寛之さんも、理論の完全性と理論のモデルに対する完全性（証明論的完全性と意味論的完全性）を混同しています。「ゲーデル本食い歩き - hiroyukikojimaの日記」より、該当部分を引用します。 命題論理の場合、「命題論理の完全性定理」によって、正しい…

具体例？ 学生さんにとある証明を解説していたときのことです。「『PでありQでないものは存在しない』と『Pであるものは必ずQである』は同じことだよね」と説明してもわかってもらえませんでした。そこで、「『タクシー運転手で自動車運転免許を持たない人は…

日本ではNHKで放送された「タイムトンネル」ですが、第4話 「The Day the Sky Fell In」は放送されませんでした。今日は、その事実の重みを受け止めてすごしましょう。

もちろん、不完全性定理のことです。私自身が最初にこの表現を使ったのは、十年ぐらい前に、他分野の人に計算可能性解析学の歴史的背景の説明をしたときだったと記憶しています。不完全性定理への誤解が広まっていることは多くの人に指摘されていることなの…

現代数学社さん、どうしちゃったの？ゲーデル 不完全性発見への道 (双書―大数学者の数学)作者: 北田均出版社/メーカー: 現代数学社発売日: 2011/05メディア: 単行本 クリック: 40回この商品を含むブログ (1件) を見るカントル 神学的数学の原型 (双書―大数学…

菅直人内閣総辞職を記念して、現憲法下での歴代の内閣総理大臣のうち、在任期間の短いほうから12名を並べてみました。 羽田孜1994年4月28日〜1994年6月30日64日 石橋湛山1956年12月23日〜1957年2月25日65日 宇野宗佑1989年6月3日〜1989年8月10日69日 芦田均1…

なにか流行しているようです。流行にのるかどうか思案中。「或るトンデモ支持者の履歴――科学的懐疑主義に目覚めるまで（2011年7月19日追記） 」 「私はいかにしてニセ科学批判者と呼ばれるに至ったか」 他多数『雪片曲線論』（中沢新一）の数学に関する記述…

多くの大学で、被災のために後期日程試験を受験できなかった人のための特別措置が行われます。受験予定だった大学のWWWページで確認、または、問い合わせ窓口に問い合わせてください。例： 奈良女子大学 「平成23年度一般入試（後期日程）追試験の実施につい…

あえて今は献血せず、いつでも献血できるよう待機してくださる方が必要です。ご協力お願いします。今のストックが無くなる半月後以降、血液不足の発生が予想されます。血液は長期保存できませんし、一度献血するとしばらく次の献血ができなくなります。本当…

http://mathsoc.jp/publicity/news20110314.html 非会員ですが、なぜか情報がまわってきたので、リファレンスを示します。

関西電力からの節電の呼びかけと称するチェーンメールがまわっていますが、デマです。転送しないでください。 関西電力から東京電力には、すでに目一杯送電しています。電源周波数が違うので周波数変換所を通さなくては送ることができませんが、すでに容量い…

日本赤十字社のWWWサーバがつながりにくくなっていますが、運良くつながった時に見えたところでは、今回の震災の救援金受付は準備中らしいです。発表を待って、振り込む予定です。(14日追記：郵便局からの振り込むはすでに可能です。昼休みに職場近くの郵便…