計算の理論は合理的モデルを策定していく点が
集合論同様に基礎数学の範疇だと思うが
（そして熱力学は数学の範疇に入らないと思うが）
基礎数学は情報系でやってほしい