実際、数学基礎論にも計算理論という分野があるしな。
計算理論（再帰理論）: 「計算とは何か」を数学的に定義し、何が計算可能で何が計算不可能かを研究します。

誤答おじさんはコンピュータなめすぎ。論理の分からんサルとか誤答ばっかしてるおじさんより遥かに賢く有能。