上のエントリー関連で、思い出したので。 Kleene３値論理の場合、包括原理を仮定しても矛盾が起こらないことが知られています。Russell paradoxをおこす集合 R={x: not (x∈x)}について、R∈Rの真理値を1/2としておけば、Russell paradoxだけでなくMoh Shaw Kw…

先々週の研究集会で話題に出た話だが、今思い出したので。 どんな論理体系でもA┣A（AがAを証明可能）もしくはA→Aが真理値1ということが成り立つのか、という話題。 大抵の証明体系では始式としてこれを仮定していて、これが成り立つのは当たり前のように思え…

起床は8時。晴れているが空気が冷たい。朝はウダウダと雑用や論文改訂。午後は学生実験のお手伝い、ドリルの刃の替え方とかを学生に指導。12月はこれでおしまい、次回は1月15日。その後論文修正のためのメモ作り。