2014-12-16から1日間の記事一覧
今週こそは必ず授業します!また、成績関連のアナウンスも行います! 授業第十九回目の今回は、前回学んだ直観主義論理の性質と、古典論理と排中律の紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。…
今週こそは必ず授業します!また、成績関連のアナウンスも行います! 授業第十九回目の今回は、前回学んだ直観主義論理の性質と、古典論理と排中律の紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。…