2005-12-22から1日間の記事一覧
冬眠はしたいし、お水問題に気分暗澹だし、こんなときには「極大(無矛盾)セオリーというのはどういうことでしょうか」なんてコメントに過剰反応しちゃうぞ。公理系と証明可能性まず、論理式(formula、文とも呼ぶ)全体の集合をLだとします。Lの部分集合A…
id:rnaさんとid:hamlet-rさんから昨日のエントリーにトラックバックをいただきました。少し補足しておきます。rnaさん: いずれマスコミが動き出して私生活上のスキャンダルで「癒し系」の化けの皮が剥がされることになるのかも。 どうでしょうか? 江本さん…