考えを変えたら、根拠も見直す

一度根拠を確認して決めたことでも、判断の前提が変われば、その根拠が引き続き使えるとは限らない。たとえば、ソフトウェアの要求仕様を変更した後に、変更前のテストがすべて成功していたという記録を示しても、新しく加わった要求の検 … 続きを読む

生き延びるための仕組みが苦痛を生む

ショーペンハウアーは、生きることに伴う苦痛を、偶然の不幸や社会制度の欠陥だけから説明しようとしたわけではない。『意志と表象としての世界』では、生命の根底に、生存を維持し、欲求を満たそうとする絶え間ない意志があると考えた[ … 続きを読む

証明はいつ数学的知識になるのか

数学では、証明が得られるまでに長い時間がかかることが珍しくない。そのため、問題を解き、正しい証明を書くことが研究の大きな制約として意識されてきた。しかし、証明候補を短時間で大量に生成できるようになると、その先にあった工程 … 続きを読む

同じ自分は連続性だけでは決まらない

人は昨日と今日で変わっている。身体状態は変化し、記憶は増減し、知識は更新され、価値観や判断基準も時間とともに組み替わる。それでも通常は、昨日の自分と今日の自分を同じ人物として扱う。変化が起きているにもかかわらず同一人物と … 続きを読む