長いブランクがありましたが（汗）、最近数理論理学の勉強を再開。（少しずつしかやってないけど・・・） これまで読んでいた本は命題論理しか扱ってなかったのですが、今読んでる本は述語論理と集合論も取り扱ってるので初対面の彼らにやや苦戦中。理解力の…

論理包含 同値 論理積 論理和 否定 全称 存在 ゲンツェン ⊃ ⊃⊂ & ∨ ¬ ∀x ∃x ラッセル ⊃ ≡ ・ ∨ 〜 (x) (∃x) ヒルベルト → 〜 & v ￣ (x) (Ex) ライプニッツ 不明 不明 ・ + 不明 Πx Σx

堅忍不抜の精神は大切ですね、ということだけ分かりました。 全部見てないけど。笑 これはMath少女（！）の新作を買わないといけませんね。 お金がないので遠い未来になりそうですが。 前作も積読リストのお仲間入りしてるんだけどね！

今週も（今日も）やってまいりました現実逃避のお時間です。 Haskellの本を読んでいたら遅延評価と竹内（様）関数のことが書かれていた。 なるほどー。 とか言いながら読んだのは結構前なのですが、今日ようやく手を動かしてみました。

平方完成を使わない、2次方程式の解の公式の証明。（のメモ 両辺に4aをちゅどーんと掛けて そして申し訳無さそうにを足す 解の公式懐かしいー。 そして久しぶりにTeX記法に触れた。

ようやく数理論理学の本1冊読み終わりそう。 一体何ヶ月かかってんだ。苦笑 年内に読みきって復習まで終わらそう。 最近数学は3日に1回ぐらいだし，一回にやる量も少ない。 もう少し増やした方がいいかな。。。 入院すると爆発的に進む。 他にやることないの…

λ入口メモλ計算 http://d.hatena.ne.jp/keyword/%A6%CB%B7%D7%BB%BB?kid=136136 ラムダ計算 http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97 ラムダ計算ABC http://members.at.infoseek.co.jp/nbz/ref/lambda.html計算モデルの…

少し久しぶりになってしまいました。 復習を中心におやりになられました。 体系の完全性の証明とか苦手かもしれない と思った。（進むペースがすごい遅い 学校の数学って定義が与えられてそれ使うだけで， 定義自身を疑ったり証明することってなかったからな…

http://www.nicovideo.jp/watch/sm1310960 カッコイイようで恐ろしいようで・・・。 バイト先の会社のCTOは北海道の某大学で数学を専攻していたそうです。（大学院は情報） 数学科というのは何かやはり少し空気が違うみたいで，精神的におかしくなって退学し…

うーむ。。。 分かったような気がするけど，そのように思う時は大体理解できていないというのが世の常なので，復習というか再挑戦しましょう。

本を沢山買ってしまいました。 昨日amazon様より届きました。

今日は久しぶりに数学をお勉強をしました。 また結構間があいてしまった・・・。 まだ数理論理学の勉強を始めて間もないPP（ペーペー）ですが， 何となくその重要性を感じ始めてきた気がします。 "何となく"だけど。 知らなくても生きていけるだろうけど，問…

苦しかったり検査あったり眠かったり（熟睡できない...） 部屋が暑かったりで びっしり勉強はできなかったけど， ちょびちょび進めてました。 数学 結構復習をしました。 それとは別に30ページぐらい？進みました。 今は真理値とかブール演算とか。 初めて情…

問8（なんのこっちゃ）の練習問題が48個中46個終わった。あと2個！ 以前に比べて少しだけ証明ができるようになりました。 2〜3週間前はビックリするほどできなかった。。。

今読んでいる本は，体系SNKと呼ばれる形（？）を利用しています。 モーダスポネンスのSNK推論図はこんな感じ。 *1 このSNKとやらは有名なのかな〜と思って何となくぐぐってみたら，全然出てこない。笑 NK(自然演繹)というものに出くわしました。 どうやらSNK…