1.2 参考: 桂田の興味の方向

Church-Turing のテーゼ (考えることは計算すること), 計算可能性

数学における「計算」の意味を突き詰めたい。それは一体何か？
(「式が考えているような気がする、不思議」と言った数学者がいた。)

解の存在と一意性の重要性は認めているが、それだけでは詰まらない、
計算しないと分からないことがある

例えば、光、音、熱のような理科の基本的な問題を納得するにも計算が必要ではないか。 簡単な形をした領域 (区間、長方形、直方体、円盤、球、etc)、 基本的な微分方程式 (熱方程式、波動方程式、Maxwell の方程式) だけで構わないから、 数学的な裏付けのある、十分効率的な方法で解けるようにすることは重要な目標である。