Redundanz

僕の言葉は、人と話をするためにあるんじゃない。

2015-03-30から1日間の記事一覧

数学の発明について

ウィトゲンシュタインの「数学者は数学的対象を発見しているのではなく発明している」という言葉について考えていた。 例えば、形式的なルールが与えられていれば、コンピュータを用いてひたすら定理を作ってゆくことができる。形式主義の立場はそういうもの…

0329

自動車学校へ行って学科教習の第一番を受けたのですが、小学校の教室を思い起こさせる内容でげんなりしました。教官はまるで家畜を訓練するようにものを言うのです。もちろん人間だって他の動物と大差ない部分を多く残しているのだから、そういったやり方に…