ストラスバーガーの論文を紹介、その第3回。前回の最後で： あと1回は書く予定。証明可能性‘|-’ではなくて、定理集合や閉包演算子により論理的システムを定義する方法もあるので、それらの流儀でもやっぱりプレ順序集合が作れることは確認したいので。 と書…

次男の保育園の先生（仮名：山田ゆかり先生とする）がご結婚なさったそうだ。子：「やまだ・ゆかりセンセイがケッコンして、お名前がかわったんだよ。」父：「そうなの。なんて名前になったの？」子：「ひらの」父：「へー、じゃぁ今日から平野先生って呼ぶ…