In (Nelson 1976b) I used Turing machine arguments to show that ... are Turing machines, rests on a further background assumption.
確定! 回上一頁