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