疑念は探究の動機であり、探究の唯一の目的は信念の確定である。

数学・論理学・哲学・語学のことを書きたいと思います。どんなことでも何かコメントいただけるとうれしいです。特に、勉学のことで間違いなどあったらご指摘いただけると幸いです。 よろしくお願いします。くりぃむのラジオを聴くこととパワポケ2と日向坂46が人生の唯一の楽しみです。

2018-01-04から1日間の記事一覧

直観主義論理についての小話

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