首页 >> 图灵

counting something

计算的极限(六):无穷的彼岸

Filed under: 数学,计算机科学 发表于 2014-10-21 18:13

实际上,许多关于无穷的看似矛盾结论,都可以归根于我们在日常经验中对数量与顺序的混淆。比如说有人会认为偶数比自然数少,是因为自然数除了偶数之外还有奇数,但实际上这种说法隐含了“先数偶数再数奇数”的这一清点顺序。

计算的极限(五):有限的障壁

Filed under: 数学,计算机科学 发表于 2014-07-15 17:11

图灵在普林斯顿的生活踏入第二年。作为博士导师的丘奇,向图灵提出了一个新的题目:探求超越哥德尔不完备性定理的方法。

QQ20121211-1

计算的极限(二):自我指涉与不可判定

Filed under: 专题:图灵,学科,数学,计算机科学 发表于 2012-12-12 14:04

要证明某种东西存在,只要举出一个例子就可以了;但要证明某种东西不存在,就要想办法排除所有的可能性,而在现实生活中,这几乎是不可能的。但在数学中,情况大不相同:通过形式逻辑的方法,我们可以确实地证明某种数学对象不存在。这都要归功于数学那彻底的抽象化和形式化。

人们需要什么?——评《图灵:如谜的解谜者》

Filed under: 专题:图灵,数学,议理 发表于 2012-08-15 05:12

社会大众需要的并不是真理,而是“有用”。这也注定了图灵这个习惯于追逐完全逻辑上的“真”的人,在日后处处碰壁。无论是在布莱切利庄园破译密码的时候,还是战后设计ACE的时候,管理层在觉得图灵“已经用完了”的时候,就会用他们的“管理艺术”,将他架空在一边,无论他正在做的东西有多么新颖超前,但对于不理解的人来说,“没用”就是“没用”,而图灵又不是一个特别能将自己的想法说明白的人。

艾伦·图灵——如谜的解谜者

Filed under: 专题:图灵,计算机科学 发表于 2012-08-03 22:14

第二十三堂"科学一课"在图灵诞辰100周年零一个多月后姗姗来迟,在外墙环绕着一众图灵奖获得者的中科院计算所会议中心,赋闲游荡中苏椰作为本场主讲,带着大家神游了图灵浩瀚的心灵海。

[专题:图灵]杀人不见血的密码大战—从某男性松鼠偷情谈起

Filed under: 专题:图灵,计算机科学 发表于 2012-06-23 09:50

图灵凭借自己的设想和庄园里的机器,通过几个步骤就可以破解德军的秘密电报,不仅成功率高,机器转的也很快,往往当天几个小时就搞定任务,德国大兵手里的那个宝贵小本本当天那一页就”神不知鬼不觉“飞到了庄园里,他们当天的”聊天内容隐私“也一五一十的被英国知道了。

[专题:图灵]第一次成功的克林贡图灵测试

Filed under: 专题:图灵,漫画,计算机科学 发表于 2012-06-23 00:00

第一次成功的克林贡图灵测试,抓不到梗的,去看星际迷航……