Thereafter, Alan used to go to meetings every few months, and found them good entertainment.
从那之后，图灵会不定期地参加他们的聚会，而且他觉得挺有意思的。
Robin Gandy went to some meetings later, and Jack Good joined after attending Alan's talk on 'Educating a Digital Computer' in December 1950.
罗宾·甘迪后来也去过几回。在1950年12月，图灵做了一个题为《训练数字计算机》的讲座之后，杰克·古德也参加了。
Uttley from TRE and the philosophical physicist D. Mackay, were also very interested in machine intelligence, while W. Grey Walter and W. Ross Ashby, neurologists who both brought out early and influential books on cybernetic ideas, were keen members.
电信研究所的阿特里和哲学物理学家D·麦凯也对机器智能很感兴趣，还有对早期控制论产生过巨大影响的神经学家W·格雷·沃尔特和W·罗斯·阿什比，也是这个时期的活跃成员。
Grey Walter made some motorised 'tortoises' which could recharge themselves when their batteries were low.
沃尔特制作了一些电动乌龟，它们在快没电的时候会自动去充电。
There was a lot of enthusiasm, though it fell off over the next few years, as it was found that cybernetics offered no immediate solutions to the problems posed by human beings.
他们对这些聚会充满热忱，但是过了几年就降温了，因为大家发现，控制论并不能立即解决人类面临的问题。
As it happened, Peter Hilton from Bletchley days had left Oxford to join the Manchester mathematics department in 1948, and Alan took him to see the machine which in some ways had grown out of their experiences.
1948年，出自布莱切利的彼得·希尔顿离开牛津大学，加入了曼彻斯特的数学系。图灵带他去看了那台机器，事实上这台机器在某种程度上，就是依靠他们的经验才得以研制出来。
Peter Hilton was also present at a discussion in the department in 1949, which also touched upon subjects in Alan's remoter past, the two fields of group, theory and mathematical logic which had set his professional career in motion.
1949年，希尔顿也参加了他们的讨论，这些讨论还涉及到图灵很久以前研究过的东西，比如群论和数理逻辑，这些东西一直贯穿着他的学术生涯。
The discussion concerned the 'word problem' for groups.
他们谈到了群论的“字问题”。
This was like the Hilbert Entscheidungs problem that Computable Numbers had settled, but instead of asking for a 'definite method' for deciding whether or not a given theorem was provable, it asked for a definite method for determining whether or not some given product of group elements was equal to some other given product, that is, whether some given sequence of operations would have the same effect as some other sequence.
这与希尔伯特的可判定性问题有关，但这个问题并不是寻求一个机械过程来判定命题的真伪，而是寻求一个机械过程，来判定一个群中给定的两个生成元是否相等，也就是两组给定的操作是否具有同样的作用注。
Emil Post had given the first new result in this direction in 1943, by showing that the word problem for 'semi-groups' was insoluble, the question for groups still remained open.
1943年，艾米尔·波斯特给出了一个结果，他证明了半群注的字问题是无解的，但是群的字问题仍然悬而未决。
Peter Hilton was amazed because Turing claimed he had never heard of this problem, and found it a very interesting problem.
于是，图灵在这个问题上，让希尔顿震惊了一小下，图灵表示，他从未听说过这个问题，并认为这十分有意思。
And so, though at that time, his principal work was in machines, he went away, and about ten days later, announced that he had proved that the word problem was unsolvable.
他暂时放下了机器方面的工作，并在大约10天后宣布，他证明了群的词问题也是无解的。