早在20世纪初计算机科学诞生的年代，罗素（Russell）、哥德尔（Godel）、图灵（Turing）、克林尼（Kleene）、蒯恩（美国哲学家，Quine）等人就已经将大量自指的技巧引入了数学和基础逻辑之中，证明了一大批定理。
基于1个网页-相关网页
昆尼皮亚克大学的民调发现，罗姆尼以25%的支持率在共和党参选人中领先，其次为巴克曼，支持率为14%，佩林和佩里的支持率分别为12%和10%。
The Quinnipiac poll found Romney leading the Republican presidential field with 25 percent support, followed by Bachmann at 14 percent, Palin at 12 percent and Perry at 10 percent.
从左边起依次为：《单身毒妈》中的玛丽-路易斯.帕克，即将上映的《老C》中的劳拉.林尼，《护士杰姬》中的艾迪.法尔科以及《倒错人生》中的托尼.科勒特。
From left, Mary-Louise Parker of 'Weeds,' Laura Linney of the coming 'The Big C,' Edie Falco of 'Nurse Jackie' and Toni Collette of 'United States of Tara.'
从左边起依次为：《单身毒妈》中的玛丽-路易斯.帕克，即将上映的《老C》中的劳拉.林尼，《护士杰姬》中的艾迪.法尔科以及《倒错人生》中的托尼.科勒特。
From left, Mary-Louise Parker of 'Weeds, ' Laura Linney of the coming 'The Big C, ' Edie Falco of 'Nurse Jackie' and Toni Collette of 'United States of Tara.'
应用推荐