Such observations reflected an insight gained from many trials even with this one model which was, as it happened, an 'Outline of Development of the Daisy'.
这些发现，无一不体现了图灵通过大量实验而积累起来的洞察力。
He had quite literally been 'watching the daisies grow'—not only by 'examining 15 plants', rather as he had done with Joan Clarke in 1941, but on his universal machine.
他还写了一份《雏菊生长纲要》，这次是真正的"观察雏菊生长"，他不仅"检验了15种植物"，而且还用计算机进行了大量计算。
But this was only one particular branch of his investigations:
这只是他的研究的冰山一角，there was another headed FIRCONES, with an associated computer routine OUTERFIR;
此外还有"冷杉计划"，以及与此相关的一个计算机程序。
and another headed KJELL theory, which concerned another form of his basic equations, and which was associated with routines called KJELLPLUS, IBSEN and other Nordic names.
另外还有一个"基尔理论"，这是关于他的方程的另一种形式，同样也有一系列相关的计算机程序，命名为"杰浦拉斯""伊博森"等等一些北欧人名。
All of this went rather beyond the material that he was writing up for publication, so there was no lack of prospects.
这些资料，远远地超出了他的论文所涉及的内容，所以说，他的研究还有很大空间。
He was working with Robin on the theory of types, and they planned to write a joint paper.
在最后的日子里，图灵还与罗宾一起研究类型论，而且计划跟他合作一篇论文。
He also wrote a popular article on the 'word problem', which appeared in the Penguin Science News in early 1954.
1954年初，他还写了一篇科普文章注，关于群的字问题，发表在《科学新闻》上。
|