人であること

2006/8/17
いかに数学といえども人が人であることから自由ではない。

GEB にあったルイス・キャロルの「アキレスと亀」の話がよい例だろう。これは「A」と「A ならば B」から「B」を導こうとするアキレスに、「A」と「A ならば B」と「「A」と「A ならば B」から「B」」がなくてはいけないと亀が言い返し、いつまでもきりがないというものだ。

こういった相手に対しては、指を指して嘲笑うことしかできないのだ。

それがどれほど豊かな構造を表現できるかがその体系の価値を決めるのだろう。