双语畅销书《艾伦图灵传》第3章:思考什么是思考(89)
日期:2017-03-02 07:46

(单词翻译:单击)

In particular, squares marked by special symbols might be taken as immediately recognisable.
比如,一些带有特殊符号方格,会格外吸引计算者的视线。
Now if these squares are marked only by single symbols there can be only a finite number of them, and we should not upset our theory by adjoining these marked squares to the observed squares.
我认为,如果这种方格里面是一个单独符号的话,那么我们应该避免这种方格出现在视野之内,否则会搞乱我们的理论。
If, on the other hand, they are marked by a sequence of symbols, we cannot regard the process of recognition as a simple process.
如果这种方格中有带有一组符号,那就不能把识别它的过程当作一个基本操作。
This is a fundamental point and should be illustrated.
这是一个应该说明的重要问题,
In most mathematical papers the equations and theorems are numbered.
比如说,在大部分数学论文中,定理都是有序号的。
Normally the numbers do not go beyond (say) 1000. It is, therefore, possible to recognise a theorem at a glance by its number.
通常这个号码不会超过1000,我们可以通过号码,立即找到它指代的定理。
But if the paper was very long, we might reach Theorem 157767733443477; then, further on in the paper, we might find '… hence (applying Theorem 157767734443477) we have…'.
但如果论文非常长,有一个第157767733443477定理,那我们读到后面,读到一句:……因此(应用定理157767733443477)我们得到……。
In order to make sure which was the relevant theorem we should have to compare the two numbers figure by figure, possibly ticking the figures off in pencil to make sure of their not being counted twice.
我们翻回去找这是什么定理时,就需要逐个数字地比对,也许还要用铅笔指着,防止眼睛看花。
If in spite of this it is still thought that there are other 'immediately recognisable' squares, it does not upset my contention so long as these squares can be found by some process of which my type of machine is capable.…
除此之外,如果还有其它的当前可见的方格,那只要我的机器能通过某种过程找到它,那就不会搞乱我的理论。
The simple operations must therefore include:
基本操作的具体动作包括:
(a) Changes of the symbol on one of the observed squares
(a)将一个正在看的方格里面的符号改写;
(b) Changes of one of the squares observed to another square within L squares of one the previously observed squares.
(b)将一条视线,转移到与它正在看的方格距离小于L的另一个方格;
It may be that some of these changes necessarily involve a change of state of mind. The most general single operation must therefore be taken to be one of the following:
也许有些改变还伴随思维状态的改变,所以,更普遍的基本操作应该是下面这样的:
(A) A possible change (a) of symbol together with a possible change of state of mind;
(A)对符号进行可能的(a)改变,并对思维状态进行可能的改变;
(B) A possible change (b) of observed squares, together with a possible change of state of mind.
(B)对视线进行可能的(b)改变,并对思维状态进行可能的改变;
The operation actually performed is determined, as has been suggested [above] by the state of mind of the computer and the observed symbols.
这些操作的执行,实际上是确定的,取决于计算者的思维状态和他观察到的符号。
In particular, they determine the state of mind of the computer after the operation is carried out.
在操作执行后,反过来又会决定计算者的思维状态。
'We may now construct a machine,' Alan wrote, 'to do the work of this computer.'
然后艾伦说,现在,我们可以建造一个机器,来取代这个计算者。

分享到