2007-01-01から1ヶ月間の記事一覧

「道場」挑戦者現れず

自サイトで公開している「数学道場」ですが、なかなか挑戦者が現れてくれません。難度が高いのか、それとも低いのか ? その辺に関する感想などをもらえれば、それを参考にして問題のレベルを設定できるのですが…。

辛辣(?)な一言

上野健爾先生の「複素数の世界 (はじめよう数学)」からの引用です。 (前略) なお複素数は電気工学や量子力学でもなくてはならない数です. 私達が電気を使って豊かな生活ができるのも, じつは私達の知らない所で複素数が大躍躍しているからです. 今日の文明を…

集合論の公理系(その 10)

遅ればせながら、明けましておめでとうございます。本年もよろしくお願いいたします。さて、話題の方は昨年からの続きです。 置換公理図式 置換公理図式 が の論理式ならば、次の形の論理式は公理である。 ただし、 は z , v を自由変数として含まないものと…