すみません、急遽出張が入ったため、休講させて頂きます。申し訳ありません!
来週は必ず授業します!
注意:授業は予定通りやるつもりですが、もしかしたら不測の事態が起こる可能性があります。クラシスのメールおよび本ブログを注意して下さい
授業第十九回目の今回は、前回学んだ直観主義論理の性質と、古典論理と排中律の紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変化がもたらされるかという話をします。
本日の授業資料