机翻对比示例

如果说，用哪一本数来判断机翻的好坏，数学原理（罗素）可能是一个好的选择。

机翻对比：
If the finitist’s principle is admitted, we must not make any general statement such as "All men are mortal " about a collection defined by its properties, not by actual mention of all its members.

bing.com
如果承认有限主义者的原则，我们就不能对一个集合的属性而不是实际提及其所有成员来定义，做出任何一般性的陈述，例如“所有的人都是凡人”。【这个理解起来非常的容易】
baidu.com
如果有限论者的原则被接受，我们就不能对一个由其属性定义的集合做出任何一般性的声明，如“所有人都是凡人”，而不是实际提及其所有成员。
评价，英语里的基本被动式，应该尽量改成主动式。
google.com
如果承认有限主义的原则，我们就不能对一个由其属性定义的集合，而不是通过实际提及它的所有成员来做出任何一般性的陈述，例如“所有人都会死”。

整体评价：bing和google的稍微好一些。
因为机翻的条件，是根据一句话中的所有单词，做整体规划，需要确保一句话的放放面面都有涉及，就是面面俱到。所以有时候读起来比较生硬。
所以还是需要人工做一下转化，及简化翻译。才能让人容易理解。如何将这种转化，及简化翻译，统一形成范式应用于机翻？

人工：
如果承认有限主义的原则，我们就不能通过事物的属性来定义集合，例如“所有的人都是凡人”，因为这些定义没有枚举所有的集合成员。