手机APP下载

您现在的位置: 首页 > 双语阅读 > 名著小说 > 艾伦图灵传 > 正文

双语畅销书《艾伦图灵传》第4章:彼岸新星(68)

来源:可可英语 编辑:Alisa   可可英语APP下载 |  可可官方微信:ikekenet

Alan might have been thinking of the 'oracle' in Back to Methuselah, through whose mouth Bernard Shaw answered the unsolvable problems of the politicians with 'Go home, poor fool'!

艾伦也许想到了《千岁人》中的超智能,他们替萧伯纳回答了政客们的那些不可解的麻烦事,答案就是:滚回家去吧,你个傻瓜!
Less clear from his remarks in the paper was to what extent he regarded such 'intuition', the ability to recognise a true but unprovable statement, as corresponding to anything in the human mind. He wrote that
在艾伦的论文中,有一点没有说清楚,那就是这种直觉可以达到什么程度,是只能判定一个不可证明的命题,还是能够解决人类的所有问题。他是这样写的:
Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two faculties, which we may call intuition and ingenuity.
数学可以看成是这两种过程的组合,我们可以称之为直觉和推导
(We are leaving out of account that most important faculty which distinguishes topics of interest from others; in fact, we are regarding the function of the mathematician as simply to determine the truth or falsity of propositions.)
(在此我们假设数学家的作用只是判定一个命题的真伪)。
The activity of the intuition consists in making spontaneous judgments which are not the result of conscious trains of reasoning…
直觉活动包括做出一些无意识的、自然形成的判断……
and he claimed that his ideas on 'ordinal logics' represented one way of formalising this distinction.
艾伦还说,序数逻辑就是对这种组合的形式化。
But it was not established that 'intuition' had anything to do with the incompleteness of finitely defined formal systems.
但是,即使引入了直觉,这仍然对有限定义的形式系统的不完备性起不到什么作用。
After all, no one knew of this incompleteness until 1931, while intuition was a good deal older.
人们在1931年才知道不完备性,但直觉却早就已经有了。

重点单词   查看全部解释    
oracle ['ɔ:rəkl]

想一想再看

n. 神谕,神谕处,预言

联想记忆
combination [.kɔmbi'neiʃən]

想一想再看

n. 结合,联合,联合体

联想记忆
established [is'tæbliʃt]

想一想再看

adj. 已被确认的,确定的,建立的,制定的 动词est

 
function ['fʌŋkʃən]

想一想再看

n. 功能,函数,职务,重大聚会
vi. 运行

 
determine [di'tə:min]

想一想再看

v. 决定,决心,确定,测定

联想记忆
ingenuity [.indʒi'nju:iti]

想一想再看

n. 智巧,创造力,精巧的设计

 
defined [di'faind]

想一想再看

adj. 有定义的,确定的;清晰的,轮廓分明的 v. 使

 
distinction [dis'tiŋkʃən]

想一想再看

n. 差别,对比,区分,荣誉,优秀

联想记忆
intuition [.intju:'iʃən]

想一想再看

n. 直觉,直觉的知识

 
reasoning ['ri:zniŋ]

想一想再看

n. 推论,推理,论证

联想记忆

发布评论我来说2句

    最新文章

    可可英语官方微信(微信号:ikekenet)

    每天向大家推送短小精悍的英语学习资料.

    添加方式1.扫描上方可可官方微信二维码。
    添加方式2.搜索微信号ikekenet添加即可。