>>6
いや
普通に基礎論の人間は情報学科に所属しているが
数学的なモデル理論や証明論、再帰理論なんかはチューリングマシンのような話題では主要だが
まぁ君は知らないんだろうけどね