主張：爲了對計算進行嚴謹的研究會使用圖靈機的計算理論屬於數學領域之一。
領域：其他
判定：supports