現在２００６年３月１０日０時５４分です。 先日紹介した、「新しい論理序説」を読んでいたのですが、著者独自の見解が入っていたりして、けっこう読むのが大変なことが分かりました。 まあ、読めない本ではないので、最後まで読んでみますが、お勧め出来る…

新しい論理序説 (すうがくぶっくす) 現在２００６年３月８日０時２３分です。昨晩は、早く布団に入ったのだが、なかなか眠れず、仕方なく起き出して本を読むことにした。 だが、解析入門Ⅰを読めるほど頭がはっきりしていなかったので、述語論理を勉強した成…

現在２００６年３月７日２３時５５分です。 今日は久しぶりに解析入門Ⅰの本文に戻り、６ページの命題１．３系 から始めました。 例５には小さなギャップがかなりあるのですが、大学１回生の時は、かなりいい加減に読み飛ばした記憶があります。大学を中退し…

現在２００６年３月６日２１時５２分です。 今日は放送大学の相対論の教科書を少し進めました。疲れたのでそろそろ寝ようと思います。 現在２００６年３月６日２１時５８分です。おしまい。

現在２００６年３月５日２２時４２分です。 昨日のお昼頃、１週間前に注文してあった、スピーカーが来た。 ＣＤやＤＶＤのソフトにかなりの金額を費やしているのに、スピーカーを今までのおもちゃみたいなものにしているのに、耐えられなくなり、しばらくソ…

現在２００６年３月４日２時５６分です。 今日は、解析入門Ⅰの附録２の述語論理のところを証明しながら進めていたのが終わりました。これで本文６ページの命題１．３に戻れます。 明日からは、また通常の数学をやって行かれます。 なんとなく嬉しい。数学基…

現在２００６年３月３日２時２２分です。 炊飯器で使うおしゃもじって、水で濡らしても御飯がくっついて結構困るでしょう。 何年か前、母が、表面のでこぼこしたおしゃもじだと、御飯がくっつかないのよ。と言って、買ってきてくれたことがある。 確かに水に…

私はユニスターを使っています。 アインシュタインが使っていたのと同じ形の万年筆を持っています。

現在２００６年３月２日１時１６分です。 今、中島みゆきの短篇集をかけようとして、これがヤマハの発売しているCDであることに気付いた。 私のアンプも、今度来るスピーカーもみんなヤマハだ。 ヤマハって結構いろんなことを手掛けているんだなあと妙に納得…

現在２００６年３月１日２２時４３分です。 昨日の夜と、今晩の二夜に分けて、「ウエストサイドストーリー」を見た。 初めてではなかった。中学の頃に１回見たことがあった。でも余りよく覚えていなかったので、もう一度見ることにしたのだった。 かなり期待…

現在２００６年２月２８日３時５５分です。 昨晩は疲れていたので、２０時半に寝てしまい、今日０時過ぎに起きて勉強しました。 解析入門Ⅰを進めました。 現在２００６年２月２８日４時１分です。おしまい。

現在２００６年２月２７日５時４４分です。 昨日、ＡＴＯＫ２００６の電子辞典セットというのを買ってきて、今日インストールしたのだが、その素晴らしさに感動した。 まず、「今日」と入力して変換すると、上のように、ちゃんと今日の日付が出てくるのだ。…

現在２００６年２月２６日２時４４分です。 今日、以前から注文してあった、竹内外史著 ｐｒｏｏｆ ｔｈｅｏｒｙ という本が、残念ながらお届けできませんというメールが、アマゾンシーオージェーピーから来た。 あの本には、２階の述語論理の無矛盾性定理と…

現在２００６年２月２５日２時２１分です。 １２月にＡＶアンプを買った時に、次はスピーカーを良くしたいと、書いたが、ついにその時が来た。 最終的には７.１チャンネルにするつもりだが、まずはフロントの２チャンネルを買うことにした。 明日買いに行く…

現在２００６年２月２４日１９時２２分です。 今朝起きて、ニュースを見て驚いた。日本人初の、フィギュアスケートでの金メダルである。 荒川静香さん、おめでとう。 私は古い人間なので、女子フィギュアスケートといえば、伊藤みどりさんを思い出す。 ジャ…

現在２００６年２月２４日２時１４分です。 どうしても遅くなってしまいます。明日から実家へ帰るので、少し投稿が乱れるかも知れません。 ｃａｌｃさんのブログを見ていたら、私が紹介した、力学的な微分幾何をもう読んでしまっていました。私が、まだ読ん…

現在２００６年２月２３日１時１４分です。 今日は解析入門Ⅰの１番最後のページ、すなわち４０２ページを進めました。もうすぐ附録２の証明がすべて終わります。 その後、放送大学の相対論の教科書を読んでいました。相対論と量子力学という章だったので、量…

現在２００６年２月２２日３時２５分です。 もう昨日になってしまったが、先程やっと混乱していたのが解決したのだが、その後、もっと良いことがあった。 今日リンクを張った、ｍａｔｈｅｓｉｓさんの極私的数学というブログの２００６年２月１日と２日の投…

現在２００６年２月２１日１９時５７分です。 昼休みに書いた混乱が解決しました。 一階の述語論理では閉論理式Ａについて、Ａか¬Ａのいずれかが証明出来る。と書いたのが誤りだったのです。 閉論理式Ａとして要素命題（０変数の述語記号）をとると、Ａも¬Ａ…

現在２００６年２月２１日１２時３２分です。 昨晩は充足可能な論理式というもののことで、また混乱しました。 一階の述語論理では閉論理式Ａについて、Ａか¬Ａが証明できます。 そうすると、¬Ａが証明出来るということがＡが矛盾した論理式であるということ…

現在２００６年２月２０日１２時４１分です。 昨晩は結局勉強は進まなかった。いつも必ず勉強が進むわけではない。予定通りには行かないな。まあ今日は勉強出来るだろう。 現在２００６年２月２０日１２時４８分です。おしまい。

現在２００５年２月１９日２２時３９分です。 今日も放送大学の面接授業でした。帰りに池袋で、サザンオールスターズの「バラッド」と「バラッド２」というアルバムを買ってきました。これを買ってきたのは、 いとしのエリー を聴くためでした。今それを聴き…

現在２００６年２月１８日２１時３分です。 今日は放送大学の面接授業で「分子の立体構造」という授業を受けてきた。 授業の最後に少し時間があったので、高校時代から疑問に思っていたことを聞いてみた。 鏡対称でない分子で、光学活性を起こさない物質はあ…

正しくない命題の中には、正しくないということすら、誰にも後になっても未来永劫分からない（証明できない）ものがある。

現在２００６年２月１７日１２時５７分です。 昨晩は、「数学基礎概説」と「現代論理学」で、述語論理の理解を更に劇的に進めました。今まで、「現代論理学」で、わずかなギャップだと思っていた部分を克服しました。この本も私の愛読書と言えそうです。 今…

現在２００６年２月１６日２時８分です。 今日は述語論理のところで∀や∃があると真偽を二者択一的に割り当てられないので、≡を、⇔を表すものとみなすと、言ったのを反省した。 良く考えてみるとＡ⇔Ｂならば、あらゆる構造と付値に対しＡの真偽とＢの真偽が一…

数学基礎概説 (共立数学講座) 現在２００６年２月１５日１０時２３分です。 一昨日の晩はインターネットをやりすぎて、完全に徹夜をしてしまった。それで昨晩は０時前に寝た。従って、ブログの更新はしなかった。 ただし、ｔｗｉｌｉｇｈｔ－ｗａｌｋｅｒさ…

私の本棚の本の一覧を作ってみました。

バックの星空素敵ですね。私のトラックバックがうまくいくといいのですが。 ＥＲＯＩＣＡです。私のペンネームはご存じですよね。

現在２００６年２月１２日１時１８分です。 今日は友人のＹ.Ｋ.君と「博士の愛した数式」を見て来た。映像が美しかったのが印象的だった。 その後、彼と３時間程しゃべってきた。 楽しい一日だった。 現在２００６年２月１２日１時３０分です。おしまい。