双语畅销书《艾伦图灵传》第8章:水银延时线(81)
The manager who took all decisions from the rule book would hardly be 'intelligent', or really taking a decision. It would be the writer of the rule book who was determining what happened.
But he held that there was no reason in principle why the machine should not take over the work of the 'master' who programmed it, to a point where, according to the imitation principle, it could be called intelligent or original.
但是他又想不出来，机器为什么就不能取代编程人员的工作，或者说那些能够体现"智能"的工作。What he had in mind went much further than the development of languages which would take over the detailed work of the 'masters' in compiling instruction tables.
图灵脑中的想法，比"机器取代编程人员"更为深远。
He mentioned this future development, which in the ACE report he had already explored a little, quite briefly:
对于未来的发展，他在ACE报告中已经清楚地提到了一些。Actually one could communicate with these machines in any language provided it was an exact language,
事实上，一个人可以用任何语言与这些机器交流（我们假定语言是精确的）。i.e. in principle one should be able to communicate in any symbolic logic, provided that the machines were given instruction tables which would enable it to interpret that logical system.
比如，我们把识别一种符号系统的指令表输入机器，理论上讲，我们就可以用这种符号系统与机器交流。This should mean that there will be much more practical scope for logical systems than there has been in the past.
这表明，符号系统将会产生比过去更加广泛的实用价值。Some attempts will probably be made to get the machines to do actual manipulations of mathematical formulae.
如果有人想让机器直接解算普通的数学方程，To do so will require the development of a special logical system for the purpose.
那么他只需要为此开发一套专门的符号系统，This system should resemble normal mathematical procedure closely, but at the same time should be as unambiguous as possible.
这种符号系统与普通的数学方程非常相似，但同时要尽可能地避免歧义。
