trivial https://blog.hatena.ne.jp/trivial/ 一本足の蛸 https://trivial.hatenadiary.jp/ メモ 何かを証明する時に最初に行うのは、その証明すべき事項(数学ではこれを「集合」と呼ぶ)に共通する命題を取り出すのが第一歩だ。これが「抽象化」なのであるが、数学が高度になるにつれ、具象から抽象を取り出すのではなく、抽象からさらなる抽象を取り出すという作業が増えてくる。これは実は「それが一番効率的」だからそうしているのであるが、この抽象のカスケードが進めば進むほど、「現実離れ」した恐怖感が出てくるようなのだ。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftrivial.hatenadiary.jp%2Fentry%2F20061024%2F1161639131" title="数学ではこれを「集合」と呼ぶの？ - 一本足の蛸" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-10-24 06:32:11 rich https://trivial.hatenadiary.jp/entry/20061024/1161639131 1.0 100%