2005-07-11 ST氏記念(非公式)セミナー ShM君が現在研究中の内容を話すが、大炎上。 ST君の今度の論文の話は非常に面白いと思う。 私は強制法による無限値述語論理+包括原理のモデル構成の話。まぁ、なんとか。