主張：屬於數學領域之一的計算理論，在研究時並不會用上圖靈機這一種計算模型。
領域：其他
判定：refutes