2019-11-26から1日間の記事一覧
今回の内容 世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変化がもたらされるかという話をします。 授業内容 前回の復習 存在具体性 古典論…
今回の内容 世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変化がもたらされるかという話をします。 授業内容 前回の復習 存在具体性 古典論…