t******f
发帖数: 955 | 1 虎不住你。
呵呵，其实最关键的就是能够determitively做到，不论是什么什么初始state。可
以用图灵机（finite state automaton)作工具证明。
then |
|
|
t**********k
发帖数: 511 | 3
读维特根斯坦（科学和逻辑）
我在《逻辑和语言》中讲的只是语言哲学中最基础的东西，是读懂维特根斯坦的预备知
识，那么这一篇讲的就是他为什么是维特根斯坦，其哲学的核心。
我也讲到严格的语言都具有同一种模式，从前提的集出发，用逻辑运算来得到结论的集
。在数理逻辑中就是非常重要的那句话：所有的科学理论都可以用一阶逻辑来完整地表
达。
我还说到在数学里，是用假设来确定前提的集，这是强制性的，不然就免谈，用这种办
法，我们自然能保证前提的一致性。但很明显，在科学中情况要复杂得多，不能用免谈
来解决问题。
科学当然没有疑问是能够达到一致的严格语言，在一定的条件下，按照一定的程序，一
定要有一个在误差以内的结果，如果没有这种可重复性，就是在造假。当然，这不是说
科学就没有争议了，对于同一个的现象，有时会存在着不同的解释，但是最重要的一点
是，我们能够找到到某种大家都同意的方法（也许将来才有条件），来解决这种争议。
这里实际上是从逻辑作为出发点，对科学作了一个定义。当然，这个定义是维特根斯坦
作的，严格地说，是我... 阅读全帖 |
|
c**c
发帖数: 2593 | 4 是，人的思维、自我意识的具体机制，还是悬而未决的谜团。有个科幻构思是，我们不
可能靠思维来揭开思维本身的奥秘，打个比方就像图灵机无法解决停机问题一样。 |
|
x****u
发帖数: 44466 | 5 现在基本没这种好事了。。。任何研究领域都要大量人力财力投入，一个人的智力能轻
松找到的理论和成果早被前人挖的差不多了。
现在人们对DNA计算机或者量子计算机有兴趣，归根结底是梦想可以突破图灵机限制。
而现在的各种研究基本都停留在可行性阶段，比NASA搞的超光速飞船研究没多出太多。 |
|
j****l
发帖数: 3356 | 6 什么叫隐瞒图灵是同性恋这个基本事实？教科书特地说了他喜欢女人？
还有计算机课为什么要提图灵的性取向？
本来好好的教着图灵机理论呢，突然冒出一句，这家伙是gay
不知道学生是认为在贯彻SB48精神呢，还是老师是SB？
而且是不是gay要强调下，那是不是还要扯出他老爸老妈当年用什么姿势把他弄出来的
，以表明不歧视某种xx姿势啊？要不再谈谈干了多久，床上还是沙发。。。干脆放段片
子吧
靠，这是计算机课还是生物课啊？ |
|
k*****e
发帖数: 22013 | 7 www.google.com主页上的图标变成了一个图灵机的游戏，
很好玩，看看谁能通关。 |
|
d*****u
发帖数: 17243 | 8 据说第一个就是
超越口吃的名人明星
作者：佚名 文章来源：转载 点击数： 更新时间：2002-8-30
字体：【大 中 小】【收藏本站】【打印】【关闭】
绝大多数口吃朋友都是自卑的，他们对口吃对自己的态度都是消极的，他们认为只要有
了口吃的存在，自己永无出头之日，他们忽视了自己巨大的潜能．而从古至今，许多口
吃的人以坚强的毅力和不屈不挠的精神，最终成为了举世瞩目的伟人，而我们现在应把
这些一代伟人树为我们学习的楷模，激励我们跨越人生的障碍，最终走向人生的辉煌！
国外名人：
1、伊索（Aesop)——古希腊寓言家，著名寓言集《伊索寓言》的作者；
2、亚里士多德（Aristotle)——古希腊思想家，亚历山大大帝的老师，著有《诗学》
，提出学科分类思想，是人类文明史上的一个里程碑式的人物；
3、德摩斯梯尼——古希腊演说家，因口含石子在海边练习演说终成演说家而闻名；
4、克劳迪亚斯——古罗马皇帝，著有《我，克劳迪亚斯》；
5、牛顿（Issac Newton)——现代科学奠基人，奠定力学研究的基础；
6、波义耳（Robert Boyle)——物理学家，波义耳定... 阅读全帖 |
|
C**********r
发帖数: 8189 | 9 为什么我脸书上面的人没有一个头像换成等于号的。不想一个人换啊。
科普 |
|
w*******r
发帖数: 1699 | 10 hahahahahaha, 我同时女儿高中生,liberal, 每天就跟她妈妈说大部分的artist是gay,
还有网站为证. 我同事每天哭笑不得, 捍卫历史还得先说mommy is open minded,
however... |
|
|
h*********n
发帖数: 11319 | 12 这些人有这样的成就，是不是因为他们是gay？
科普 |
|
|
P**5
发帖数: 7467 | 14 你不是有老婆吗
我记着你发帖展示过你老婆的美妙丝袜 |
|
|
|
t*******r
发帖数: 22634 | 17 如果你把这个对象看成 set / sub-set，我觉得就容易理解 recursive definition。
当然，我是现代数学集合论/图论写法的扇子。。。没办法，上班老干这个。。。
另外，计算机逻辑跟数学逻辑有啥区别？这个计算机未必一定是要因特尔奔腾，也可以是
抽象的图灵机啥的现实世界中没有的东东。。。 |
|
t*******r
发帖数: 22634 | 18 我的程序是很容易证明素数无限性的。因为我的程序（伪码）是判断输入
的 set 是不是完整的素数 set。按照 LR文法虚拟机左递归文法的概念，
很容易 recur up 产生 size 大一号的素数 set。
他的程序去证明素数无限性貌似并不那么显而易见，而且他的程序判断的
输入的单个数字而不是完整 set。不知道能不能放在 LR文法 或者
正则文法虚拟机 上跑。
当然，任何这种程序就能在 RAM虚拟机上跑，但是 RAM虚拟机就像图灵机
那种，用来证明形式语言文法命题，可能跳跃稍大点。 |
|
t*******r
发帖数: 22634 | 19 我们试图用无二义的程序代码来解决歧义的问题。但是我发现他（I63）
似乎一直还在 RAM虚拟机/图灵机 的思路里。
你看他为这个讨论写的程序（其实也反映了思想和倾向），输入是一个单个
素数。素数的有限无限性，在他的程序上，不是那么直接明显。
我为这个讨论写的程序，输入是一个完整的素数 set。那素数是有限还是
无限，检查这个完整素数 set 的 size 就可以了。
我个人觉得，I63 或多或少还试图坚持从“代数”的角度来观察，用变量
代表数字。
但素数的无限性，其实是一个完整 set 的无限性。我个人认为使用 token
代表完整素数 set （前N个素数）的符号文法，更适合解决这个问题。
无限性直接跟 set 的 size（无限的定义就是对任意 size 的，总能找到
更大的 size），以及 set 是否 reducible （是不是 valid 的完整
素数 set）直接挂钩。 |
|
U***5
发帖数: 2796 | 20 Regular expression 只是 formal language 的具体定义形式之一。
Formal language可以由regular expression生成,同样也能由FSM或者图灵机生成啊。 |
|
l*****8
发帖数: 16949 | 21 从定义上说，Formal Language就是字符串的集合。程序设计语言就是一种formal
language.比如Java语言就包含了所有可以合法编译运行的Java程序（一个程序可以看
成一个字符串）。
regular expression不是formal language,是定义formal language的一种办法。它生
成的语言叫做正规（还是叫正则？英文叫regular language）语言。Regular
languages还可以用DFA(Deterministic finite automata), 或者NFA(non-
deterministic finite automata)生成。还有一种叫做linear grammar也能生成这类语
言。
另一类语言叫做context-free language(CFL). 这类语言可以由context-free grammar
生成，也能由non-deterministic pushdown automata生成。CFL有一个子类叫做DCFL(
deterministic context-free language),这类语言... 阅读全帖 |
|
发帖数: 1 | 22 “独身”与“独生活”
所谓空巢青年，舆论多指年龄介于20到30岁之间，背井离乡到城市打拼，工作资历
不够丰富，并未在大城市站稳脚跟，租房的单身年轻人。 有网友这样描述一个典型的
空巢青年：
“在大城市工作不久，住在月租三四千的一居室，唯一熟悉的室友是喂养的宠物，
厨房有全套餐具但吃饭主要靠外卖，长时间在手机和电脑之间无缝切换……”
“留守儿童、空巢青年、空巢老人，可能是我这辈子要体验的三种状态。”“知乎
”网民带着浓浓吐槽味的这句话，获得了超过4万个点赞。
既然是空巢青年，对“巢”的理解往往直接影响其悲伤和无力的程度。
巢，对中国人而言，既是房也是家。
有的空巢青年是有房没家，有的有家没房，最艰难的自然是又没房又没家——不断
上涨的房租超过了收入的涨幅，不断选房、频繁搬家。
空巢青年有两个密切关联词，一个是“独身”，一个是“独生活”。
实际上，很多以空巢青年自嘲的人，“独身”的几率会更高，不想将就不如独身，
更何况手机游戏里都能养“总裁”了，机器人伴侣还会远吗?
根据我国统计年鉴，在中国“一个人生活”的成年人已超过5800万。
“想做一点点看起来是实现梦想的工作，这样多年之后还会觉得自... 阅读全帖 |
|
|
s******y
发帖数: 28562 | 24 图灵机应该仅仅是一个数学模型而不是实体机器吧？ 而且图灵是英国人，那个时候正
忙着和德国打仗呢 |
|
s******y
发帖数: 28562 | 25 我在想，以前80年代的那种手摇计算器是什么个原理呢？又算不算图灵机？ |
|
s*******a
发帖数: 8827 | 26 图灵机可以model一切计算过程，包括人脑的思考。 |
|
s*******a
发帖数: 8827 | 27 你根本不懂图灵机。今后就别谈啥计算了。让人笑话。 |
|
t*********5
发帖数: 700 | 28 这个，真不懂，好吧，以后不谈计算了
大婶给科普一下图灵机... |
|
d******a
发帖数: 32122 | 29 【 以下文字转载自 Military 讨论区 】
发信人: ldy (现在我很害怕，可能时间会炸), 信区: Military
标 题: 如果你反对同性恋，那请你不要听柴可夫斯基，舒伯特。。
发信站: BBS 未名空间站 (Fri Mar 29 18:59:28 2013, 美东)
如果歧视gay，请不要再听柴可夫斯基、舒伯特、小泽征尔、伯恩斯坦、霍洛维茨、科普
兰、John Cage等人的音乐作品，不要再看达芬奇、 米开朗基罗的画、不要再读培根、
惠特曼、兰波、王尔德、普鲁斯特、毛姆、奥登、维特根斯坦、福柯的书。
最重要的是，赶紧放开你手中的电脑，因为电脑就是图灵机，同性恋机、gay机。 |
|
T******e
发帖数: 18290 | 30 计算机之父图灵获英女王赦免 曾因同性恋遭定罪
2013年12月24日 11:09 来源：中国新闻网 参与互动(53) 15
计算机之父图灵获英女王赦免曾因同性恋遭定罪
资料图：阿兰·图灵。
中新网12月24日电 据外媒报道，英国司法部长克里斯24日宣布，英国女王伊莉莎
白二世赦免上世纪50年代因同性恋行为被定罪的英国著名数学家、密码学家、计算机科
学之父阿兰•图灵(Alan Turing)。
图灵1912年生于英国伦敦，1931年进入剑桥大学国王学院，毕业后到美国普林斯顿
大学攻读博士学位，二战爆发后回到剑桥。图灵曾协助英国军方破解德国的著名密码系
统“谜”(Enigma)，帮助盟军取得了二战的胜利。
图灵同时也是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念
，被誉为“人工智能之父”、“计算机科学之父”。
但由于图灵的同性恋倾向在当时的英国遭到歧视，二战结束后他被当时的英国政府
定罪，被迫接受“治疗”，职业生涯尽毁。1954年6月7日，图灵被发现死于家中的床上
，床头还放着一个被咬了一口的苹果。警方调查后认为是氰化物中毒，调查结论为自杀。
2013年12月2... 阅读全帖 |
|
T******e
发帖数: 18290 | 31 不可能。这个应该是研究铺砖问题的副产品。铺砖问题是个理论计算机科学的问题。比
如有个数学家叫王浩，金岳霖的学生的学生，提出王氏砖，等价于于图灵机。我前面贴
的链接里面有介绍。
法。 |
|
t******l
发帖数: 10908 | 32 这倒不是凤姐的问题，图灵机的 halting problem 就是 undecidable problem。还有
从 ZFC 集合论证明/证伪 continuum hypothesis 也是 undecidable problem。 |
|
d****o
发帖数: 32610 | 33 这算俗语了,Maslow's hammer
天才在北美混一遭也不能免俗，
文章里整些西式俗语和句法
比如
图灵机是如此的复杂和混淆，以至于你很难看出它到底要干什么 |
|
g****t
发帖数: 31659 | 34 王银不懂计算机。
没人说过turing machine是多大的原创。
图灵机算是之前Godel,Church
的东西的直观变形。
但是Universal Turing Machine,也就是可以跑
程序的程序。以及由此衍生来的计算复杂理论，那就是
Einstein 级别的发现了。
Universal lambda machine 也有。但那是图灵之后的事 |
|
H********g
发帖数: 43926 | 35 你们这么多码农，能不能都出来说说到底图灵机强还是蓝布搭计算强？为什么这个楼里
意见这么不一致？ |
|
H********g
发帖数: 43926 | 36 那估计就是王垠喜欢研究的那些事情 lambda 之类那些事
图灵机可以算吧 |
|
l******g
发帖数: 764 | 37 比尔盖茨对于同性恋的友好和对同性婚姻的支持态度是世人皆知的，他的微软合伙人之
一Weiland是一名保守基督徒仇恨的同性恋者，也是比尔的好友。此外盖茨夫妇多次资
助支持堕胎的科研组织，为此受尽气急败坏的基督徒的谩骂和侮辱。
请看原文：
怀疑论者比尔盖茨支持堕胎和同性婚姻 - 戳穿基督徒的低级谎言
http://www.mitbbs.com/article_t/Belief/31166582.html
现代计算机的鼻祖，图灵机的发明者图灵是一位同性恋者，他在被发现是同性恋之后被
基督徒迫害，最后自杀。请问作为反对和积极迫害同性恋的基督徒，你们怎么还好意思
使用同性恋者发明的电脑？你们怎么会好意思使用对同性恋者友好以及支持堕胎的微软
公司的产品？你们怎么没有把这当成是侮辱而拒绝使用呢？
当你们使用电脑时，你们怎么就没有想到现代电脑的原型来自于一名被你们侮辱和迫害
的同性恋者？
当你们使用微软产品时，你们就没有想到微软赚到的钱被用于资助赞成堕胎的科研组织
了呢？ |
|
n********n
发帖数: 8336 | 38 宇宙的自由意志
.
近日,在中央电视台科教频道《探索·发现》栏目观赏了四集科教纪录片 “宇宙大爆炸
”,其中陈学雷大侠在片中的表现可谓是可圈可点,可喜可贺!
电视中的结尾有这么一句话:
既然它有一个开始，也就应该有一个结束...
而这个结束，应该是什么时候呢？
二傻当时感到这句话明显是非科学至上主义者的理解……有很浓的哲学味道…… 而且
, 认为这句话才是片子的点睛之笔! 因为其中隐含着二傻心中一直存在的直觉：
宇宙本身是有生命的！
可惜陈大侠却专门为此声明说 “这个不是我们写的，我也不同意这些说法…”
这不由得使我想起了“动机”一词（请继续往下看，二傻绝对没有其它不良动机！哈哈
！）
.
春节前有幸与中国现代科学哲学专家金观涛大侠(80年代中国“走向未来”丛书副主编)
坐而论道,对其“整体的哲学”及对维特根斯坦哲学的发展深表佩服(注:佩服不表示赞
同),但印象最深的是其历史观:“研究历史就象侦探破案,必须探究各历史事件中有关的
人的‘动机’,否则一定是东拼西凑,瞎子摸象!”
既然对历史的理解必须明了其中各有关人的“动机”才能得到完整真实的历史图象,那
么对人类未来的预测不是更应该如此... 阅读全帖 |
|
y***i
发帖数: 11639 | 39 哈利波特与理性之道
很多人认为比原著好看。看了一部分，倾向于同意。
http://hpmor.lofter.com/contents
麦格教授笑了。“那么如果我给你十分呢……?”
“如果别人问起的话，你怎么解释这十个学院分的来由呢？恐怕有很多斯莱特林，我说
的还不是在校的学生，如果知道这个法术是因为我被去掉了的话会非常非常愤怒。所以
我想还是绝对保密的好。不用谢我，女士，美德就是它本身的报偿。”
“确实是，”麦格教授说道，“不过我有一样非常特别的东西要给你。我现在知道我之
前完全看错你了，波特先生。请你等一下。”
她站起身来，走向上锁的后门，挥动了一下魔杖，她的周围就出现了一个模糊的帘子。
哈利看不见也听不见里面发生的事。几分钟之后，模糊的帘子消失了，麦格教授面对他
站着，身后是上了锁的后门，就像从来没有打开过一样。
麦格教授递给他一条项链，细细的金链子，中间是一个银色的圆环，环里有一个沙漏。
她的另一只手里拿着一本折起来的小册子。“这是给你的，”她说。
哇！他会得到一个很棒的魔法道具作为任务奖励耶！看来，反复拒绝金钱奖励直到拿到
魔法道具这个策略不止可以用在电脑游戏里，在现实生活里也... 阅读全帖 |
|
c**c
发帖数: 2593 | 40 【 以下文字转载自 ITnews 讨论区 】
【 原文由 calc 所发表 】
俺正在读Neal Stephenson写的科幻小说Cryptonomicon.
其中写到了二战中的Alan Turing和他在Princeton读PhD
期间的天才焕发的图灵机狂想. 后来回到英国后立即被
征召入情报部门最高层进行对付轴心国的信息战. 密码
破译只是这种信息战的一部分, 更重要的是要用各种方
式把已经破译敌人的密码这一事实掩盖起来, 让敌人察
觉不到. 比如知道敌人有艘重要运输船要从某海域经过,
不能直接就派了潜艇去把它击沉, 必须先派一架观察飞
机装作偶然经过那地方, 看到了这艘运输船, 再派潜艇
把它击沉, 让敌人以为只是被偶然发现了. 再比如从敌
人密码电报里得知敌人也破译了我方的海上运输密码,
不能一下就直接命令我方所有运输船队放弃这种密码,
而必须故意制造一个能让敌人信服的海难, 造成船员来
不及销毁密码本便逃生的假象, 让敌人得去这密码本,
然后才因此通令放弃这种密码...
这本书实在是一本妙书, 到处妙趣横生. Turing当然不
是主角, 书里只是通过另一个数学天才主人公的眼 |
|
s***i
发帖数: 600 | 41 "非冯诺依曼"
三体里的完全是图灵机啊。哪有 "非冯诺依曼"？
是我看走眼了？ |
|
s***i
发帖数: 600 | 42 "非冯诺依曼"
三体里的完全是图灵机啊。哪有 "非冯诺依曼"？
是我看走眼了？ |
|
v*x
发帖数: 32 | 43 建议看英国物理学家彭罗斯的书, 有中文版的; 他证明(或者是引用别人的证明)
现在意义上的计算机无论多快多复杂, 也和大脑有根本的不同. 如果你的那个
深蓝是一台计算机, 无论那神经元算法多么复杂也和大脑不一样.
那个证明是这样的, 计算机是所谓的图灵机, 也叫做自动机; 自动机可以
用来证明定理; 但是有一些定理, 被证明是不能用自动机证明的. 但是人脑
却证明了这些定理.
这便是不同. 他认为大概要给计算机引人随机性; 而全世界所有的随机性都来源
于量子随机; 而量子过程在大脑里面扮演的角色大概是很重要的了.
至于量子电脑--如果不是自动机的话, 并非不可能发展到大脑那样有智慧甚至
意识. |
|
g*******l
发帖数: 75 | 44 偶看计算机和人脑是这样的:
计算机是按照形式逻辑组织的，只能按照预设的逻辑工作，
它只可以完成简单重复的运算，无非是01变换。尽管由于高速
和大容量的关系，它可以表现出高度复杂的性能，但终究是
简单过程在数量意义上的叠加，是量变不是质变。其复杂性
基本是算数级数，比如工作频率的提高，有的方面接近几何级数，
比如内存和外存的扩大。但是，现实世界不单单是形式逻辑的，
还有辩证逻辑，从量变飞跃到质变，计算机就无能为力的。
即使是形式逻辑的，也有无数问题复杂性是指数级数乃至阶乘的，
比如背包问题等等。总而言之，计算机是线性的、有限的、量变的、
渐变的、从已知达到已知的；人脑是非线性的、无限的、质变的、
飞跃的、变未知为已知的。
举例来说，只要接触少数几只猫，人脑可以认识“猫”这个概念，
而计算机可以存储一百万张猫的图片和资料，但它不知道什么是猫。
也许有一天，我们充分认识了人脑，可以设计出超越图灵机的计算机，
或者可以另当别论。 |
|
C***H
发帖数: 508 | 45 我基本同意Offside和gecko的意见，但是现在我能说得更清楚了。
有这样一件事情：有很多个个算法简单的系统--人，他们和一个非常非常复杂算法的系统
相互作用。能不能找出一种不比简单系统复杂多少的算法让这些简单的系统无法区别他们
是在和真正的复杂系统作用还是和这个简化的算法作用。
作者提出可能的简化算法是：追踪简单系统（人们）的状况，只模拟人们能够感觉得到的
部分。
问题在于这个可能的简化算法是否可能。我认为，这个算法的可能性很小。因为，算法原
则上无法判断人们将要做什么样的观察（这类似于图灵机停机问题），所以必须准备模拟
复杂系统所有过程，现象的能力。但是整个复杂系统里面包括大量的用算法，而非方程描
述的过程，这个没法简化。所以，我觉得整个简化算法很难有实质上的简化。 |
|
kx
发帖数: 16384 | 46 你其实是个想要通过图灵测试的图灵机
hiahia |
|
x******n
发帖数: 9057 | 47 你才是个想要通过图灵测试的图灵机
hengheng |
|
kx
发帖数: 16384 | 48 图灵机的常用算法就是复述人类的提问
hiahia |
|
