> 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.
私が死ぬより前には、コンピュータツールが進歩して紙の上で論ずるのと同じくらい簡単にコンピュータ上で定理証明をできるようになっているといいんだけど。
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。