2024.07.02
https://www.youtube.com/watch?v=IFhyvQJkuzI
Modal Logic $ \bf KH, which add Henkin Axiom $ \sf H to minimmal modal logic $ \bf K, is Kripke Complete. This fact is proved in Boolos 1993, p.148
メモ
メモ
愛知県出身。父は元名古屋新聞社社長の与良松三郎。出生の地にちなんで「ア一」と名づけようとしたが、役場の戸籍係が「男で仮名書きの名前などあろうはずがない」と判断して「ヱ」と登録してしまったというエピソードがある。
やった
メモ
読んだ
バーベキュー楽しそうだなー