先ほど数学について話されましたがコンピュータサイエンスと数学の関係はどうなっているのでしょう。

数学の方がコンピュータサイエンスに影響を与えているわけなんです。
優秀なプログラマーといわれる人たちは、ほとんどが数学的素養をもってますね。
というのも、彼らは純然たる定理の証明を勉強してきたわけですが、それが大いに役立つんです。
定理の証明では主観的な述べ方は許されません。
厳密な述べ方だけが要求されますからね。
数学の場合、われわれは完璧な記述を展開しますよね。
そして、実に不可思議なやり方で定理を組み合わせなくちゃならないわけですね。
数学とプログラミングはきわめて直線的につながっています。

ビル・ゲイツ

Programmers at Work
マイクロソフトプレス編