ウィトゲンシュタインの「数学者は数学的対象を発見しているのではなく発明している」という言葉について考えていた。 例えば、形式的なルールが与えられていれば、コンピュータを用いてひたすら定理を作ってゆくことができる。形式主義の立場はそういうもの…
自動車学校へ行って学科教習の第一番を受けたのですが、小学校の教室を思い起こさせる内容でげんなりしました。教官はまるで家畜を訓練するようにものを言うのです。もちろん人間だって他の動物と大差ない部分を多く残しているのだから、そういったやり方に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。