主張：數學領域之一的計算理論，爲了對計算進行適當的研究會使用圖靈機。
領域：其他
判定：refutes