|
x****u
发帖数: 44466 | 2 扯淡，这玩意非常有现实意义！
比方说虽然静态检测代码错误和停机问题等价数学上无解，但static analysis在编程
中还是有大用处。 |
|
|
m*********y
发帖数: 10616 | 4 发黄段子到底会不会被停机？在昨日的省政协分组讨论上，广东省通信管理局局长古伟
中明确表示，市民绝对不会因为发一个黄段子就被停机。而据省通信局相关负责人介绍
，广东拟出台方案，群发300条(以上)垃圾、黄色、发票类短信，号码将被暂停使用，
接受调查，如确有违规违法行为，则会被彻底停机。
古伟中介绍说，广东有8000多万手机用户，占全国1/8。有人说广东是涉黄短信重
灾区，其实并不严重，因为广东对此进行了严厉整治，仅去年一年就停了7000多个网站
。此前，有关部门拦截涉黄短信发现，80%的涉黄短信都是源自境外的。
对于市民担心的是不是发一条黄段子就会被停机问题，古伟中表示，请市民放心，
虽然此前也因此停了一些，但都是查实有违规违法行为的，朋友之间的通信自由是有保
障的。“公民通信自由和打击涉黄短信是两码事，我们可以通过技术手段对其进行鉴别
。市民绝不会因为发一个黄段子就被停机。”古伟中说。
另外，据省通信局相关负责人介绍，目前，省通信局正在进行调研，拟制定方案对
群发违规短信进行处罚。群发300条或以上垃圾、黄色、发票类短信，手机号码将被暂
停使用，接受相关部门调查。如果发现确实存在违规违 |
|
w**********c
发帖数: 56 | 5 imore 真是个热心人！我太懒了，明天试着钻到后面看看furnace model number. 老公
又从angies list 上找了家查furnace的，但因为他一直不在，订到了半个月之后来查。
我家是东西向，这也许也是一个原因。我们这儿从未到100F,90F都算大热天。房子也远
不是新房。但总觉得还是哪里不对头。如果查后保证这种空调温度已到指定温度但几个
小时不停机问题能消除，我们就把furnace 换了。 |
|
x****u
发帖数: 44466 | 6 题目就是，写个程序，如何判断另一个程序能否停机。 |
|
A*******t
发帖数: 443 | 7 我来猜一下，计算机其实不能算图林机，而是linear bounded machine，而判断LBA能
不能停机只要找个内存更大的LBA即可 |
|
A*******t
发帖数: 443 | 8 我來formalize一下，
假設LBA有k個instruction，s個alphabet，長度為n的memory
然後，LBA只可能有k * n * s^n种configuration（第几条instruction，head的位置，
和memory的configuration）。
我们simulate LBA k * n * s^n 部，如果还没有停机的话，依据鸽笼原则，必然存在
起码一个loop，既然如此，必定loop forever。 |
|
x****u
发帖数: 44466 | 9 关系很大。
比如说C/C++，就是一种即使在图灵机上停机也可以预测的语言，但大多数FP都做不到。 |
|
z**********j
发帖数: 1 | 10 请问因为广告行为被停机的账号什么时候才能封禁？ |
|
j********x
发帖数: 2330 | 11 我靠，你说我扯淡了又。。。
那我问你我口袋里装上就没现实意义？我帖子里都列举了。。。
既然你看出我的问题扯淡，怎么就没看出你自己的问题扯淡。。。 |
|
T********i
发帖数: 2416 | 12 都是一码事。物理上海森堡不确定性对应哥德尔不完备定理。不管是观测引入误差还是
物质本身属性其实都不所谓。即使你能够不影响粒子运行来观测，你就是上帝了么？
已知任何时刻的例子的位置和速度，用小球碰撞的算法，你会得到一个确定性系统么？
已经有论文证明了，其实这还是一个图灵停机问题。你说是图灵机计算精度问题也好，
是物质固有属性也好。其实还是一码事。 |
|
|
|
|
|
T********i
发帖数: 2416 | 17 参见我的帖子，这个甚至和时间都没关系。一旦等价停机问题，就有陷入死循环的可能
性。 |
|
g****t
发帖数: 31659 | 18 符号是没有时间的。物理对象有时间损耗。
: 参见我的帖子，这个甚至和时间都没关系。一旦等价停机问题，就有陷入死循环
的可能
: 性。
|
|
t**********k
发帖数: 511 | 19 逻辑和计算机
从原理上说，计算机是一个无比简单的东西，就是一个逻辑处理器，计算机所做的所有
工作最后都是转化成逻辑运算来执行的。所以，任何能进行基本逻辑运算（非，与，和
）的东西，都可以用来构成计算机。计算机的构想早在在17世纪就提出来了，不过只能
用机械方式。
第一个真正现代意义上的计算机是用电子管实现的，但是它的应用非常有限，庞大，奇
贵，速度慢，而且耗能巨大。还有一个致命的缺陷，就是可靠性好不了。
现在的CPU集成了几亿只器件，如果用电子管，意味着上亿个插件，上十亿个焊点，这
样复杂的东西没有办法保证质量，更不可能大规模生产。计算机的发展赖于集成电路的
进步。
计算机的广泛应用，以至于完全改变了人类的生活，其硬件基础是上个世纪前30年以爱
因斯坦为首的那一拨人做的，有了量子物理和相对论，才能有凝聚态物理，才能有集成
电路，接下来才可能有计算机，网络的广泛使用。
记得曾经在网上有人讨论爱因斯坦和爱迪生哪一个更牛，这实在有点过分，两个人完全
不在一个档次，而且差得很远。爱因斯坦是一个科学家，《维基百科》说也... 阅读全帖 |
|
t**********k
发帖数: 511 | 20 逻辑和人工智能
“人工智能（英语：Artificial Intelligence, AI）亦称机器智能，是指由人工制造
出来的系统所表现出来的智能。通常人工智能是指通过普通电脑实现的智能。该词同时
也指研究这样的智能系统是否能够实现，以及如何实现的科学领域。”
维基百科这个词条还是相对严谨的。在这里我们得注意一个非常重要的问题，就是我们
对人的智能了解得非常之少，基本上是不知道。所以说，我们能想办法定义智能（比如
逻辑思维是一种智能），但是我们无法定义人的智能，不知道的东西怎么可能定义。许
多人（包括一些所谓专家）在这一点上都没有弄清楚，把人工智能理解为机器模仿人的
智能，但不知道的东西当然无法模仿，许许多多错误就是这样来的。
记忆毫无疑问是任何所谓智力的最基础的东西，计算机的记忆非常简单，任何能够有清
晰状态的东西都可以作为存储器，现在我们广泛使用的是只有0,1两个状态的存储器，
这只是因为利用了电子元件的一种性质。但是，人是怎么来记忆的，基本原理到现在我
们根本就不知道。
下面来定义什么是计算机（电脑）。我们可以... 阅读全帖 |
|
s*******w
发帖数: 2257 | 21 华夏文摘】老钱：硅谷传奇：计算机发展简史- -（附录）
发表于 2016 年 04 月 22 日 由 老钱
人类的进步主要由两个部分组成：一是人类的组织原则和组织结构的进步，另一个是科
学技术的进步。近代以来，人类在组织原则和组织结构方面的进步相对比较缓慢。但是
，科学与技术则有了翻天覆地的变化。用理工科的说法就是，以往的世代里，科技进步
是线性的，近代以来则是以指数形式在发展。近代的科技发展，赋予了人类无以伦比的
力量。这么说吧，要是把人类和地球上其他物种进行比较的话，今天人类的能力堪比上
帝。
十八世纪的第一次工业革命给我们带来了蒸汽机，人类在力量、速度、和距离上开始主
宰世界，这是力学与热学综合应用的产物。十九世纪和二十世纪初的第二次工业革命，
给我们带来了新能源，电力、石油、化工等等新兴产业主宰了我们的日常生活，尽管这
次工业革命也带来了一场世界性的农业革命，但从此人们对土地的依赖越来越弱了。这
是热力学、电磁学、化学综合应用的产物。到了二十世纪末，一场彻底改变人类传统生
活方式的工业革命发端了。这是以技算机、互联网、无线通讯兴起的产业革命。这是以
量子力学为代表的近代物理的综... 阅读全帖 |
|
z**********e
发帖数: 22064 | 22 http://hx.cnd.org/?p=123650
老钱
人类的进步主要由两个部分组成：一是人类的组织原则和组织结构的进步，另一个是科
学技术的进步。近代以来，人类在组织原则和组织结构方面的进步相对比较缓慢。但是
，科学与技术则有了翻天覆地的变化。用理工科的说法就是，以往的世代里，科技进步
是线性的，近代以来则是以指数形式在发展。近代的科技发展，赋予了人类无以伦比的
力量。这么说吧，要是把人类和地球上其他物种进行比较的话，今天人类的能力堪比上
帝。
十八世纪的第一次工业革命给我们带来了蒸汽机，人类在力量、速度、和距离上开始主
宰世界，这是力学与热学综合应用的产物。十九世纪和二十世纪初的第二次工业革命，
给我们带来了新能源，电力、石油、化工等等新兴产业主宰了我们的日常生活，尽管这
次工业革命也带来了一场世界性的农业革命，但从此人们对土地的依赖越来越弱了。这
是热力学、电磁学、化学综合应用的产物。到了二十世纪末，一场彻底改变人类传统生
活方式的工业革命发端了。这是以技算机、互联网、无线通讯兴起的产业革命。这是以
量子力学为代表的近代物理的综合应用的产物。
在今天的世界里，对人们日常生活... 阅读全帖 |
|
b*****d
发帖数: 61690 | 23 近日有用户收到了10086发来的短信称：根据工信部《电话用户真实身份信息登记规定
》的相关要求，您的号码还没有进行实名登记，前期已通知您在2015年5约15日前办理
不登记，现延期至5月31日，请尽快携带本机SIM卡以及有效身份证原件到广州沟通100
服务厅或广州移动指定授权社会网店办理。
南都记者通过10086人工客服等渠道求证：这是真的！！
“半停机”后仍拒绝实名制，会全面停机
从即日开始移动将分批要求用户在限期前进行实名制，在短信通知的限期前不进行
实名制，将对拒不实名制用户进行“半停机”处理。所谓的“半停机”，就是不能打出
电话和发送短信以及上网，但是接听电话和接收短信不受影响。
广州移动的相关负责人表示，5月底将在各大媒体刊登公告，准确信息需要以公告
为准。此外，目前本地中国移动公司也正测试进行实名制的微信号，如证实无问题，会
在给用户发送的提示短信中附加上链接。
如果恰好“懒癌”晚期用户被半停机后仍然拖着不去办理实名制，能一直这么拖下
去吗？移动客服MM介绍，半停机之后，如果继续拒绝实名制，那就会再次发短信提醒：
再不办理就强制停机。还是趁早治好“懒癌”吧。被半停机或停机后... 阅读全帖 |
|
o***s
发帖数: 42149 | 24 手机停机，一查发现竟然订购了三项从未使用过的收费服务，订购时间最长的已有4年，共产生话费1140元，这样的倒霉事就被成都市民杨先生遇到了。
9日，杨先生拨打手机所属运营商中国联通客服电话，得知订购的三款服务分别为理财顾问、法律顾问及WO+视频凤凰定向流量，每月共计资费33元。经过协商，运营商为杨先生退订了三款服务，并承诺将自订购以来产生的所有费用退给杨先生，共计1140元。据客服介绍，三项服务均来自电话营销。记者调查发现，不少手机用户都有“莫名其妙”的扣费套餐，被悄悄“偷走”手机话费。
【遭遇】
手机停机 牵出“隐藏”业务
11月7日上午9点27分，成都市民杨先生接到一条短信，提示手机余额为8.38元。第二天一早，杨先生为手机充值100元，发现余额仅剩74.38元。杨先生拨打客服电话查询，结果令他跌破眼镜。
“客服说我有三项服务——理财顾问、法律顾问及WO+视频凤凰定向流量，每月资费分别为8元、10元和15元，但我从来没开通和使用过这三项服务，”杨先生在网上营业厅查询发现，法律顾问开通于2011年8月，理财顾问开通于2012年8月，WO+视频凤凰定向流量开通于2014年3月，“客服说这... 阅读全帖 |
|
d******p
发帖数: 24 | 25 用计算机科学解释比较容易理解。我们知道图灵机的停机问题
（就是判断一个程序能否在有限时间终止的问题）是不可解的。
就是说存在有可以停机的图灵机，但是我们无法证明。
一般的说，一个谓词逻辑命题对应两个集合，一个是使它为真的
元素组成的集合，另一个反之。那么有三种情况，1）两者都可以
判定，2）只有其中一个可以判定，3）都不能判定。第三种就是
不可解问题，就是不可以证明的问题,图灵机的停机问题就属于这类问题
当年图灵的一个重要工作方面，就是可计算问题 |
|
F****n
发帖数: 3271 | 26 基本功啊
无bug程序不等于求解停机问题
判断是否无bug等于求解停机
你在判断他，所以实际上是你在求解停机问题 |
|
g*****l
发帖数: 424 | 27 前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）在喜悦之余，并没
有意识到自己的儿子在不久的将来，会给后世留下无穷启发，并且其发明开启了一场改
变全人类生活的信息革命。这个发明，叫计算机。
可以说，计算机的发明，实际上并非只有图灵的功劳。在此之前的先辈们所作的诸多努
力无疑也为这个发明奠定了时间和可能性的基... 阅读全帖 |
|
g*****l
发帖数: 424 | 28 前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）在喜悦之余，并没
有意识到自己的儿子在不久的将来，会给后世留下无穷启发，并且其发明开启了一场改
变全人类生活的信息革命。这个发明，叫计算机。
可以说，计算机的发明，实际上并非只有图灵的功劳。在此之前的先辈们所作的诸多努
力无疑也为这个发明奠定了时间和可能性的基... 阅读全帖 |
|
u**c
发帖数: 17972 | 29 【 以下文字转载自 Apple 讨论区 】
发信人: llin (一路陌生人), 信区: Apple
标 题: 【原创】 图灵百年：一世孤独成全百年辉煌 (转载)
发信站: BBS 未名空间站 (Thu Sep 6 11:08:02 2012, 美东)
发信人: greatel (灵致), 信区: WaterWorld
标 题: 【原创】 图灵百年：一世孤独成全百年辉煌
发信站: BBS 未名空间站 (Wed Sep 5 14:35:16 2012, 美东)
前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666... 阅读全帖 |
|
A*********t
发帖数: 7481 | 30 【 以下文字转载自 WaterWorld 讨论区 】
发信人: greatel (灵致), 信区: WaterWorld
标 题: 【原创】 图灵百年：一世孤独成全百年辉煌
发信站: BBS 未名空间站 (Wed Sep 5 14:35:16 2012, 美东)
前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Tur... 阅读全帖 |
|
g*****l
发帖数: 424 | 31 前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）在喜悦之余，并没
有意识到自己的儿子在不久的将来，会给后世留下无穷启发，并且其发明开启了一场改
变全人类生活的信息革命。这个发明，叫计算机。
可以说，计算机的发明，实际上并非只有图灵的功劳。在此之前的先辈们所作的诸多努
力无疑也为这个发明奠定了时间和可能性的基... 阅读全帖 |
|
g*****l
发帖数: 424 | 32 前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）在喜悦之余，并没
有意识到自己的儿子在不久的将来，会给后世留下无穷启发，并且其发明开启了一场改
变全人类生活的信息革命。这个发明，叫计算机。
可以说，计算机的发明，实际上并非只有图灵的功劳。在此之前的先辈们所作的诸多努
力无疑也为这个发明奠定了时间和可能性的基... 阅读全帖 |
|
g*****l
发帖数: 424 | 33 前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）在喜悦之余，并没
有意识到自己的儿子在不久的将来，会给后世留下无穷启发，并且其发明开启了一场改
变全人类生活的信息革命。这个发明，叫计算机。
可以说，计算机的发明，实际上并非只有图灵的功劳。在此之前的先辈们所作的诸多努
力无疑也为这个发明奠定了时间和可能性的基... 阅读全帖 |
|
l**n
发帖数: 7272 | 34 【 以下文字转载自 WaterWorld 讨论区 】
发信人: greatel (灵致), 信区: WaterWorld
标 题: 【原创】 图灵百年：一世孤独成全百年辉煌
发信站: BBS 未名空间站 (Wed Sep 5 14:35:16 2012, 美东)
前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Tur... 阅读全帖 |
|
g*****l
发帖数: 424 | 35 前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）在喜悦之余，并没
有意识到自己的儿子在不久的将来，会给后世留下无穷启发，并且其发明开启了一场改
变全人类生活的信息革命。这个发明，叫计算机。
可以说，计算机的发明，实际上并非只有图灵的功劳。在此之前的先辈们所作的诸多努
力无疑也为这个发明奠定了时间和可能性的基... 阅读全帖 |
|
g*****l
发帖数: 424 | 36 前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）在喜悦之余，并没
有意识到自己的儿子在不久的将来，会给后世留下无穷启发，并且其发明开启了一场改
变全人类生活的信息革命。这个发明，叫计算机。
可以说，计算机的发明，实际上并非只有图灵的功劳。在此之前的先辈们所作的诸多努
力无疑也为这个发明奠定了时间和可能性的基... 阅读全帖 |
|
a****y
发帖数: 1035 | 37 【 以下文字转载自 USTC 讨论区 】
发信人: greatel (灵致), 信区: USTC
标 题: 【原创】 图灵百年：一世孤独成全百年辉煌
发信站: BBS 未名空间站 (Wed Sep 5 14:35:30 2012, 美东)
前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）在喜悦之余，并没... 阅读全帖 |
|
P**********e
发帖数: 2964 | 38 图灵很伟大。
【 以下文字转载自 USTC 讨论区 】
发信人: greatel (灵致), 信区: USTC
标 题: 【原创】 图灵百年：一世孤独成全百年辉煌
发信站: BBS 未名空间站 (Wed Sep 5 14:35:30 2012, 美东)
前言：
今天，图灵百年庆典在伯克利中央街2050号举行。此文受此启发，为非正式文
，仅供参考。
本文写在计算机之父Alan Turing （阿兰·图灵）诞辰一百年，希望天堂的图
灵知道世界并没有他离去的时候所想象的那样孤独和凄凉。
by 灵致
Another version with pics and music is available at:
http://user.qzone.qq.com/176497662/blog/1346827666
一百年前的六月二十三号，英国伦敦，在众多这天诞生的婴儿中，有一个不起眼的小男
孩被命名为阿兰·图灵（Alan Turing）。
身为孩子父亲的朱利斯·麦席森·图灵（Julius Mathison Turing）... 阅读全帖 |
|
c****t
发帖数: 19049 | 39 第九十三章 泰兰德
“天使之翼，问题严重吗？”
“大小姐，不是很严重，大约两个小时可以修复完毕。”
天使之翼的引擎出了点不大不小的问题，现在悬停在原地，短剑和速翔号则停留附
近，随时防备着敌舰的反扑。
回马枪可是星际海盗最常用的手段，林亚波警告林古兰：“护盾继续开启。”
司徒雅对于高速运行下的引擎停转问题直摇头，这是老问题了，隔着几个月就要发
作一次，幸亏今天海盗先跑了，否则自己所在的天使之翼就成了一具空中棺材。
“我问你，能不能先把武器系统恢复起来。”
引擎出的问题不大，但现在除了生命维持系统和紧急备用系统之外，全舰处于停摆
状态，特别是作为耗能大户的八具离子炮现在完全成了摆设。
“我还以为您想先恢复护盾系统，我建议你加装一台武器备用引擎。”司徒雅提出
了建议：“不但能给武器系统提供电力输出，而且还能在关健时刻提供护盾系统的电力
输出，甚至还可以让天使之翼保持低速运动。”
“低速运动？多慢？”彦清风表示怀疑：“那你们为什么不加装一台武器备用引擎
？”
“两星节，至多四星节，天使之翼配套的武器引擎要一千七百万联盟币，如果让他
有对其它系统输出电力的话，再加两百万联盟币。”
一千九百万联... 阅读全帖 |
|
n*******n
发帖数: 7628 | 40 消息来源：新京报
核心提示：近日，联通iPhone合约用户金娜发微博表示，自己在莫斯科发了3条微
博，回来账单上数据流量费达3900元。在质疑联通的收费之后，她在网上查账单发现，
这张“离谱”账单已经消失。对此，联通方面表示计费不存在问题。
新京报12月4日报道 在国外发了3条微博，回来账单上数据流量费达3900元，这样
的一条微博引发热烈讨论。昨日，联通iPhone合约用户金娜说，在质疑联通的收费之后
，她在网上查自己上个月的账单发现，这张“离谱”账单已经消失。对此，中国联通方
面表示计费不存在问题。
停机牵出巨额流量账单
“奉劝各位亲朋，千万别在国外开启数据漫游。我在莫斯科发了三条微博，今天中
国联通问我收了3900元上网通信费，够买一个手机了，堪称史上最贵微博呀。”昨日凌
晨，金娜发布了这样一条微博。
金娜同时出具的缴费单显示，账单收款日是12月2日，其中，11月份的上网费接近
3000元，12月的上网费接近1000元。
据了解，金娜办理的是286元套餐，也就是联通推出的“0元购机”套餐。“平时我
一个月的流量也就是300多M，感觉套餐的流量根本用不完。”金娜说，她在莫斯科候机
... 阅读全帖 |
|
n*****3
发帖数: 82 | 41 家里的油烟机出现过热停机的现象，
冷却之后就会restart了。
最近这种现象越来越频繁了，有时候晚饭做到一般就停机了。
请问这是什么问题？
自己可以修吗？
找人修的话，是找电工吗？ |
|
d*********o
发帖数: 6388 | 42 http://www.liberation.fr/france/2020/04/01/une-commande-francaise-de-
masques-detournee-vers-les-etats-unis-sur-un-tarmac-chinois_1783805
法国一社区正试图进口数百万个口罩，分发给护理人员和养老院。但其中一个订单被美
国人以现金出价截走。
据RT频道周二晚间报道，法国帕卡大区和法国大区协会主席Renaud Muselier也证实。
和其他地区的主席一样，这一位与中国供应商下达了几百万个卫生口罩的订单，应该是
供应给其所在地区的卫生机构和老人护理机构。
"订单已付款，也就是说，口罩是在中国生产和待发。我们面临的困难是路线问题。[..
.........]今天上午，在中国的机场停机坪上，美国人用现金购买了一个法国的订单，
而本来要来法国的飞机直接飞往美国。面对这些问题，我正在努力保障货物的安全，以
便[...........]不至于被他人扣押或购买。"他们付出的代价是推迟了几天的交货期。
"他们付出了双倍的代价"
雷诺-穆塞利埃在与《解放》[本刊]联系时，... 阅读全帖 |
|
d***n
发帖数: 138 | 43 现在室内温度63，设定72，一开始，暖气机工作正常，出气口能感觉到很热的气流。但
是几分钟后就停机了，这个时候温度也就升了1-2度，远远没有达到72度的设定。过很
长时间，差不多40-60分钟甚至更久，又自动启动，工作正常，能感觉到出气口热气往
外流。但是仍然是工作几分钟又自己停机。一直这样重复。温度也始终无法升高。
已经检查了过滤网，也更新了，还是没有改观。能是什么问题呢？请有经验的TX给予指
点。谢谢！ |
|
|
t******l
发帖数: 10908 | 45 这个也是我们中小学数学教育的问题。。。你要是仔细看的话，我前面没有提 "无理数
" 这个概念。。。我前面说的很清楚的是 "根号数" 的概念，也就是有确切给定的马工
自动机生成规则的数。。。而且 "无理数" 的集合是 uncountable 的，"根号数" 的集
合是 countable。
我前面还提到了 "小数"，也就是 decimals。。。如果提到无限循环小数，那就是有对
应的分数，countable。。。而我提到无限不循环小数的时候，我后面有马上提到浮点
协处理器和 floating point number round off error 的工业界处理，所以还是可操
作 countable 的。
所以我没有使用你所提到的 perfection。。。我里面所涉及的 "无限"，都可以建模成
有限状态自动蹦蹦机的停机问题。。。所谓的 "无限" 就是可以逻辑上证明该蹦蹦机永
不停机。。。符合大众语言里的 “条条大路通罗马”，或者 “好日子望不到边”。。
。是符合时间之箭的 "无限"，也就是有使用价值的 "无限"，而不是仅仅为了数学美。
所以我对 whether the concept ... 阅读全帖 |
|
j**l
发帖数: 2911 | 46 那些有限自动机，文法，下推自动机，非确定自动机，正则表达式，图灵机，多带图灵
机，停机问题的判定，可计算性，递归可枚举，LR分析，内容真是丰富多彩。
特别是康托用来证明实数不可数的对角线法则，用到停机问题，真是让人觉得巧妙。 |
|
S*********g
发帖数: 5298 | 47 可能是你们furnace里边出气的那个地方堵了。所以烧的气是一直再烧furnace本身
暖气停机时因为自己本身过热，所以停机了。
过一会再开始，但是温度始终上不去。
你可以看看你的furnace是不是温度很高。
打电话让人来修吧。
我家刚搬进去的时候就是这个状况，花了300块钱，让师傅给清了一下，就好了。 |
|
h****n
发帖数: 2094 | 48 我家前天装好了空调，居然出现了和楼主同样的问题，到了设定温度几个小时不停机，
出风口继续吹冷气，但是显示室内温度没有变化。昨天跟工人说了以后，换了一个控制
面板，他急着要走，当时室内81度，他只给我测试设定80度，到了80度还是不停，继续
打到显示79度才停，所以他总结就是第一个控制板的问题。请问大神这个听上去靠谱吗
？我们是不到1400尺的房子，用的3吨机，昨天天气总体不热，从降5度用一小时左右。 |
|
L*****e
发帖数: 8347 | 49 发发龙，这句话其实就是“沟代尔（哥德尔）不完备性定理的饶舌表述。下面补充点背
景知识：
1931年，哥德尔还是一个20岁出头的名不见经传的博士生，但是他发表了一篇让数学界
地动山摇的论文。
那个年代，希尔伯特在数学天才比太阳更加光辉夺目，希尔波特成了数学形式主义派的
一杆大旗。希尔伯特认为：借助于形式化的手段，抽掉数学证明中的意义，把数学证明
抽象成一堆无意义的符号转换，就连我们人类赖以自豪的逻辑推导，也不过只是一堆堆
符号转换而已。这样一来，一个我们日常所谓的，带有直观意义和解释的数学系统就变
成了一个纯粹由无意义符号表达的、公理加上推导规则所构成的形式系统，而数学证明
呢，只不过是在这个系统内玩的一个文字游戏。
希尔伯特希望能够证明，在任一个无矛盾的形式系统中所能表达的所有陈述都要么能够
证明要么能够证伪。这看起来是个非常直观的结论，因为一个结论要么是真要么是假，
而它在它所处的领域/系统中当然应该能够证明或证伪了（只要我们能够揭示出该系统
中足够多的真理）。
然而，哥德尔的证明无情的击碎了这一企图，哥德尔的证明揭示出，任何足够强到蕴含
了皮亚诺算术系统（PA）的一致（即无矛盾）的... 阅读全帖 |
|
