エドガー・ダイクストラ
https://gyazo.com/685ecbab2c853a9c734c630a27d0012c
数学の歴史を少し振り返ってみると、この異議がいかに正当であるかが分かります。ギリシャの数学者たちは、文字を用い視覚的な｢代数学｣に行き詰まっていました。ですが｢代数学｣は、おずおずとした記号体系への試みの後、修辞的なスタイルへと戻り衰退しました。そして、ビエト、デカルト、ライプニッツ、そして（後に）ブールらによって形式的記号体系が、入念に、少なくとも意識的に確立されたことによって、西欧が中世スコラ学の足かせから解放され、良くも悪くも文明化された世界が実現し、文字の精密さへの追求は無駄に終わりました。 私たちは、形式的記号を使うことを義務や重荷ととらえるのではなく、便利なことであり、特権であるととらえるべきです。記号のおかげで学校に通う子どもたちは、昔は天才にしか成し得なかったことを学ぶことができています(