2018-01-04から1日間の記事一覧
毎日、ブログを書くのは難しいですね。早くもネタ切れです。ブロガーがすごい人なんだと初めて思いました。今回は中戸川先生とかつてやりとりしたことをここに書きます。 それは「直観主義論理の直感的理解について」です。 直観主義論理とは古典論理から「…
毎日、ブログを書くのは難しいですね。早くもネタ切れです。ブロガーがすごい人なんだと初めて思いました。今回は中戸川先生とかつてやりとりしたことをここに書きます。 それは「直観主義論理の直感的理解について」です。 直観主義論理とは古典論理から「…