戻る

> I hope that before I die, these computer tools will have matured to the extent that it is as easy to do mathematics in them as it is to currently do it on paper.

私が死ぬより前には、コンピュータツールが進歩して紙の上で論ずるのと同じくらい簡単にコンピュータ上で定理証明をできるようになっているといいんだけど。