双语畅销书《艾伦图灵传》第9章:退隐山林(121)

Meanwhile Robin had come to stay for the weekend, which was devoted to a discussion of his essay on Eddington's 'Fundamental Theory' of physics.

与此同时，罗宾过来度周末，他们讨论了他的论文，这是一篇物理论文，关于爱丁顿的《基础理论》。

This Alan said was 'very much more satisfactory than anything you have done before.'

图灵评价说："这比你以前做的所有东西都要好。"

This stern praise meant a great deal to Robin, whose 1949 King's fellowship dissertation had met with sharp criticism from Alan which had left him in tears.

这个苛刻的赞赏，对罗宾意义重大，因为1949年时，他用来申请国王学院研究员的论文被图灵痛批一顿，把他批得泪流满面。

Eddington had died in 1944 leaving unfinished an attempt to develop a theory of physics from nothing but logical necessity.

爱丁顿在1944年逝世了，他走的时候，正在尝试建立一个纯逻辑的物理学体系，但却未能如愿。

It was a somewhat Turingesque venture, and met with Alan's sympathy in principle, but he had long since decided that Eddington was 'an old muddle-head' and wanted to see the 'Fundamental Theory' debunked.

这项工作颇有一些图灵式的冒险风格，但图灵在很早之前就认定，爱丁顿已经老糊涂了，并等着看《基础理论》被人拆穿。

Robin, who never knew how important Eddington had been to Alan twenty years before, had found a number of errors in his arguments, including one which could be regarded as a confusion of logical types.

罗宾从来都不知道，20年前爱丁顿对图灵有多么重要，他果真在爱丁顿的论点中找到了很多错误，其中包括逻辑类别的混淆。

It was a nice meeting of logic and physics.

这是逻辑和物理的又一次碰撞。