g****t
发帖数: 31659 | 1 CS哪个课学图灵机? (或者哪个程序员对图灵机感兴趣。)
一般也都会学到Lambda Calculs,部分递归函数什么的。
计算理论本来就不是必修课。就跟图像处理，图形学，人工智能，这些都是专业方向，
不是CS本科必修课。
我打赌这版上大多数人都没学过图像处理和图形学，但我不会说什么学过图形学的秒杀
没学过的云云。
special
using |
|
x****u
发帖数: 44466 | 2 我前面说过FP的缺点在哪里，你懒的看不算口水？
FP的问题是针对理想图灵机设计，而冯诺依曼机在性能越接近极限时越不是理想图灵机。 |
|
g****t
发帖数: 31659 | 3 FP是Turing的导师Church发明的,是和图灵机正交的一个计算模型.
这两者的等价,是非常非常不显然的.甚至可以说是极端晦涩的一个问题.
Godel先开始都没看出来.在你这儿,FP怎么成了针对理想图灵机设计的了...
人FP最早是个理论工具.Lisp的发明者非常震惊于Lisp能被硬件实现的.
前不久,好像图灵诞辰100周年,有大牛去princeton各种讲话,
slides网上都有.你可以查查看。
机。 |
|
|
t***t
发帖数: 6066 | 5 什么觉预测的不一定对？
图灵机理论上就没法产生智能。
最基本的，连随机数都产生不了，何谈智能。图灵机离智能的距离，比蚂蚁离人的还远。 |
|
t***t
发帖数: 6066 | 6 什么觉预测的不一定对？
图灵机理论上就没法产生智能。
最基本的，连随机数都产生不了，何谈智能。图灵机离智能的距离，比蚂蚁离人的还远。 |
|
T********i
发帖数: 2416 | 7 现在NLP和机器翻译还不行。根本不是本版很多人号称的已经解决了的状态。
深度神经网目前也不能解决这个问题。而且我不认为是正确的解决方式。
NLP的难点在于知识和推理。这些用图灵机表示肯定更直接。在图灵机上实现一个神经
网络，然后再来模拟图灵机，属于脱了裤子放屁。 |
|
w***g
发帖数: 5958 | 8 这还没区别，那啥还有区别。
计算机世界的阴阳，无非就是图灵机和lambda代数，对应procedural和functional。
现在的硬件基础是图灵机，所以现在的functional程序也还是得翻译成procedural的机
器码才行。functional不得起道而行，这是最主要的原因。
真正支持functional的硬件，得靠量子计算机了。
functional |
|
w***g
发帖数: 5958 | 9 这还没区别，那啥还有区别。
计算机世界的阴阳，无非就是图灵机和lambda代数，对应procedural和functional。
现在的硬件基础是图灵机，所以现在的functional程序也还是得翻译成procedural的机
器码才行。functional不得起道而行，这是最主要的原因。
真正支持functional的硬件，得靠量子计算机了。
functional |
|
d***a
发帖数: 13752 | 10 建立体系的人，远比“做出突破性贡献“的人少得多。图灵在计算机界的地位，类似于
牛顿在物理界的地位。（但公平地说，物理学科远比计算机学科要大得多也重要得多。）
图灵的关于停机问题的证明，并不是第一个关于不可判定性问题存在的证明。对砖家来
说，这是早知道的。王垠这家伙如果上课时听讲认真一点，就不应该现在感到吃惊，还
拿这事出来唠叨半天。王垠搞的是编程语言设计吧。这个方向比较soft，编程语言设计
的好坏，怎么辩论都可以，并不需要严实的数理逻辑基础。如果是搞formal language
and automata方向的，对图灵机的理解会深入得多。
王垠对图灵机的理解，还不如一个在计算机理论课上拿A的普通学生。他这家伙当年基
础打的不牢，现在自我感觉良好，才会象个太婆一样唠叨不休。:) |
|
H**r
发帖数: 10015 | 11 他连搞学术的都不是，根本不懂计算机。
有些领域是先有了理论才有产品，半导体基本上那个套路。
计算机就是电子工程搭起来的，根本不需要懂图灵机。电子工程师唯一的问题是没法证
明自己那套东西universally有用。发明计算机和图灵机是平行的根本没关系
&T |
|
h*h
发帖数: 27852 | 12 图灵机看着很厉害的样子，但是计算机行业的发展和图灵机一分钱的关系也没有
其实计算机是机械计算尺的现代化，就是工程，真没有必要给自己拉个数学模型。现在
计算机系的教授们做的东西基本属于数学，应该让那些东西回到数学系，计算机系的教
授就应该搞工程方向的研究。
王垠工程的东西做得不错。他不是学数学的料，也不想搞数学，所以会郁闷，拿不到博
士 |
|
x****u
发帖数: 44466 | 13 现在神经网络就不符合图灵机原则啊，里面必须有那么多随机数，换成热噪声随机数也
不影响效果
现在摩尔定律在图灵机这个领域已经撞物理墙了，错一个字节就要崩溃，但是换成神经
网络错个百分之几都能忍受，说不定就是未来的真理呢 |
|
d*******r
发帖数: 3299 | 14 图灵机也可以模拟随机机制呀，wdong的意思应该是表现能力等价图灵机吧 |
|
g****t
发帖数: 31659 | 15 Rnn和图灵机等价。我记得1995年science有个文章。
我本科做过rnn
: 如果机器人是神经网络，就不能死机啊，不是图灵机就可以做成确定停机的
|
|
x****u
发帖数: 44466 | 16 这些东西用语言说起来就跑没边了，用二战前的图灵机理论套最好。
就是说解法必须不与确定图灵机等价才行，当然完全随机也是一种方式，不过这个一般
来说更差。
了。 |
|
x****u
发帖数: 44466 | 17 数学上的图灵机是确定性的，但现在大部分的神经网络，都有随机数在体系内，比如随
机权值，dropout等
你把固定种子的伪随机数换成基于热噪声的随机发生器，这个过程就不是图灵机可模拟了 |
|
h*i
发帖数: 3446 | 18 Whatever. 那我们不关心图灵机不就得了。放心，图灵机不能用，理论家们自然会提出
其他的形式化，总得吃饭，对不对。
拟了 |
|
x****u
发帖数: 44466 | 19 你还是不明白图灵机的可怕性啊
否定图灵机，就等于放弃了人类的逻辑推理
当然我们可以用骰子或者祈祷的方法证明数学猜想
NPC是个很强的结论，代表了逻辑推理能力的极限 |
|
|
v*******e
发帖数: 11604 | 21 说实话我根本不相信彭罗斯那说法。我认为多读书有害，特别是多读垃圾信息有害。我
进入AI领域读的第一个东西就是Chinese room那些争论。现在我认为那些争论毫无意义
。人脑是不是机器？我认为是的，你做的每一件事情，说的每一句话，都是有前因的。
不行你说一句试试看，然后再回忆一下说这句话的原因。智力没什么，就是联想。意识
没什么，就是幻觉。我觉得容许他们争论，等到我们做出来AGI，让他们和AGI相互辩论
去，我们看热闹即可。
: 你这个标题没取好，AI 显然是无法超出图灵机模型，因为它叫 AI 啊！没有人
对这个
: 有疑问吧
: 有疑问的是，AI 是否能达到人脑的程度，或者说人的智能（就是 I 没有 A）是
否超出
: 图灵机模型
: 仔细读一下 https://en.wikipedia.org/wiki/Philosophy_of_artificial_
: intelligence 就能了解各方观点了
: 至于量子力学的联系，可以参见 Penrose 的皇帝新脑一书，里面认为人的智能
超出图
: 灵机模型的机理和... 阅读全帖 |
|
wy
发帖数: 14511 | 22 这样吧，光像你这样的人生攻击anyway是毫无意义的，我来做个靶子，
你告诉我，in details, 我错在哪，ok?
我们考虑这样一个简单的问题：在一堆苹果里面有一个橘子。
一个决定性图灵机--not a DFA的程序可以这么写：
pick one
if it is apple, discard it
else end alg
repeat until no more
这很明显是一个 O(n)的问题。
一个非决定性图灵机的程序如下：
pick one
end
他可能有输出，可能没有，这是一个O(1)算法，agree?
Now, let's see, how to simulate this one in the Internet:
In practical we assume the problem size(the number of fruits) n is less
or equal to the computers connected to Internet. Then the alg is:
choose any n computers
each computer pic |
|
z*n
发帖数: 2893 | 23
so far, OK,
so far, OK,
??!!恐怕不存在什么根本解决的方法. 人们证明了很多问题在现有计算模
型(图灵机)下的时间复杂度是什么, 机器再快, 用的现实中的机器再多, 也不可能
降低时间复杂度. 这也不是什么无法有人创造思维的根本原因. 智力是什
么计算问题根本就不知道, 从而也不知道怎么算, 从而也没有怎么算快的
问题.
??!!完全是概念混淆, NTM里讨论的时间是指时间复杂度, 讨论的是计算
时间和问题规模的阶的关系, 不是讨论前面的躲子弹天气预报的时间. 理论
问题不是这么运用到实际的, 比如你有个Oracle能常数时间解决所有NTM问题, 不过每个
提问要花个1万年, 虽然她理论上能用P时间解决所有NP问题, 我猜也就是你说
的"合理时间", 你用来算躲子弹还不如穿防蛋衣.
不用并行计算也能模拟NTM, 并行计算和NTM根本没有什么可以比的:一个是
具体的组织计算方法, 一个是虚拟的计算模型. NTM就是抽象理想并行, 本来
也没有什么"非决定性*并*行*图灵机", 可以证明是等价的.
现实生活中, 我们只有P4, TM是数学工具, 你根本没有无限的 |
|
s*******a
发帖数: 8827 | 24 爱因斯坦的相对论没得诺奖，图灵的图灵机也没得诺奖。
请问自打有诺奖以来，还有比这两项工作更伟大的成就么？
我为诺贝尔感到悲哀。 |
|
s*****n
发帖数: 1636 | 25 英国司法部长克里斯24日宣布，英国女王伊莉莎白二世赦免上世纪50年代因同性恋行为
被定罪的英国著名数学家、密码学家、计算机科学之父阿兰•图灵(Alan Turing)。
图灵1912年生于英国伦敦，1931年进入剑桥大学国王学院，毕业后到美国普林斯顿
大学攻读博士学位，二战爆发后回到剑桥。图灵曾协助英国军方破解德国的著名密码系
统“谜”(Enigma)，帮助盟军取得了二战的胜利。
图灵同时也是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念
，被誉为“人工智能之父”、“计算机科学之父”。
但由于图灵的同性恋倾向在当时的英国遭到歧视，二战结束后他被当时的英国政府
定罪，被迫接受“治疗”，职业生涯尽毁。1954年6月7日，图灵被发现死于家中的床上
，床头还放着一个被咬了一口的苹果。警方调查后认为是氰化物中毒，调查结论为自杀。
2013年12月24日，英国司法部长宣布，当时的判决“不公，有歧视”，图灵已经获
得英国女王伊莉莎白二世的赦免，“女王的赦免是对这位优秀人物的献礼”。
英国首相卡梅伦则表示说，图灵在破解二战德军密码、拯救国家上发挥了关键作用
，是一个“了不起的... 阅读全帖 |
|
B******m
发帖数: 2643 | 26 挖个水坑：
1.神创论：有个神比较好说话，这个好像我们在数学里面设个绝对值，计算机里面的引
进图灵机的概念一样，什么都是最牛的，最好的，万能的，这样万一后面讲出bug推到
上帝那里就好了，上帝万能perfect么，而且有了绝对值，世界上的相对目标就好解释
许多。
2.一神论：神太多了比较乱，希腊神话虽然有宙斯，中国神话虽然有玉皇大帝等等，但
是手底下小喽罗太多。神多了人的个性就比较多，人性一多跟自己的生活啊等等就越来
越贴边。譬如您给一保守部族讲战神阿瑞斯偷情的故事，这让人接受起来就困难了。另
外神太多名字翻译起来困难。古代文化低的人多，自己名字不会写呢你让我记二百多位
天上的外国爷，比较不靠谱。基督教就简单了，就一位：神。简洁有力，开宗明义，豁
然开朗。
3.原罪论：你丫有罪，这招挺黑的。咱中国人盘古开了天女娲补上，神农吃了百草夸父
逐了日，痛苦的事儿神都给干了咱们老百姓享福。上帝不是了，动动嘴皮子中东那片天
他老人家受累也给开了，然后把亚当夏娃弄出伊甸园，还特恶毒的诅咒：男的终日劳作
仅得果腹，女的生孩子特疼还依恋丈夫，蛇是罪恶化身终身吃土。中东埃及那地方没有
黄河流域水土好，整天 |
|
g****t
发帖数: 31659 | 27 你说的中国数学从元朝其开始灭亡衰退,和事实不符.
元朝朱世杰是中国古代数学最高峰.他的解方程方法的代数内核其实到现在
其实还没有完全被搞清楚.吴文俊还写过个论文引用他的代数方法试图
推广到微分代数.
他的方法在明朝没有失传.而且有所发展.你查一下就知道了.
可见,之后的中国古代数学并没有"到了只专注于珠算"的地步.
另外,就算是只专注于珠算.那也没啥好鄙视的.
珠算本身就是个图灵机类似的东西.然而,算法从来都是一门很深的数学.
(今天也一样.)更何况珠算里面,还有什么连分数之类的神奇的东西.
总之,明清数学比不上西方这点没疑问.
但是"衰退""退步",这个我认为属于胡说. |
|
c*******1
发帖数: 240 | 28 别扯了。
常见计算机语言分两类：指令式，函数式。实际的计算机语言同时包括这两种特性。比
如Java Python之流本来都是OO语言，但是都有lambda calculus。又比如各种
functional language 都有type，但是type是图灵机里面的指令表的体现，纯粹的
lambda calculus没有看单下菜这回事。
常见自然语言分两类：分析语，综合语。
分析语代表：汉语。
例句：
1 我爱你。
2 你爱我。
综合语代表：拉丁语。
例句：
1.1 Te amo.
1.2 Te amo ego.
1.3 Ego amo te.
这三句都是我爱你。
2.1 Amas me.
2.2 Me amas tu.
2.3 Tu amas me.
这三句都是你爱我。
语言越接近综合语，动词和名词的变位越多，语序自由度越高。比如上面的例句都可以
随便permutation，语义不变，因为语法都通过变位体现。说语序体现语法，变位没用
的，就好像用惯了python说缩进体现block大括号没用一样。
鼓吹“法语严谨”的人所谓的严谨，其实就是语言综合程度高，变位多的意思。法语是
古典拉丁... 阅读全帖 |
|
发帖数: 1 | 29 其实越看这东西越佩服香农，这式子什么意思呢？架设有两件事各有50%的可能发生，
那么根据这式子算出来信息熵是1bit，而现在我们很容易理解，最优的编码是用0和1各
表示一个事件。如果有四件事各有25%的发生几率，那么信息熵是2bit，我们知道这个
时候用00，01，10，11各表示一个事件就可以完全表示出这个随机事件。也就是说这个
事件的信息量是2bit。推而广之……我觉得现在这东西一点也不难理解，尤其是习惯了
数字时代和bit的我们。然而，这些都是香农定义的，那个时候可不是数字计算机的时
代。看过他的访谈就知道——图灵是天才，图灵机是天才的想法，用算法来描述所有人
类的思考行为是天才的。然而，同样的东西，也逐渐在他的美国同行，例如冯诺伊曼，
例如香农，的脑海中成型了。然而香农，用bit描述世界上所有的信息和交流，即便在
当时，当他在午餐时和图灵提起时，都被图灵认为是不切实际的。很多技术和理论都是
历史发展的产物，但信息论的提出却超出了时代——这个本来应该是在数字时代出现之
后从实践中逐渐总结出的理论，却因为香农的天才，提前了至少10年。
美国人因为香农就此在计算机领域领先10年。 |
|
|
|
l****u
发帖数: 4594 | 32 基础算法还好，但是复杂的图形算法，NP，图灵机之类的，让高中升学就有点过分了； |
|
R*******N
发帖数: 7494 | 33 原创科学上美国真没什么太多的贡献。DNA到克隆羊，黑洞到Higgs，图灵机到linux，
都是欧洲的。 上个世纪重要的突破基本都是欧洲出来的，英国占了一大半。
不过英国照样衰落。有了科学不能转化成技术，啥都白搭。日本就很清醒，从来不追捧
科学，专搞能赚钱的技术。赚不到钱，扯啥有用。 |
|
w*********r
发帖数: 42116 | 34 目前围棋象棋软件都是基于"确定型图灵机利用多项式空间解决判定问题"的理论. 深兰
的设计者许峰雄在07年的时候, 认为10年以后, 利用穷举法的SUPERCOMPUTER可以在10
年后战胜世界级冠军级别的棋手.
前两年MOGO程序战胜了职业8段棋手(让9子).
如果下9X9的围棋, 计算机就容易赢了. |
|
w*********g
发帖数: 30882 | 35 军事变革遇瓶颈 各国军方启动量子攻关计划
文章来源: 科技日报 时间： 2012-12-18
2012年的诺贝尔物理学奖授予了法国科学家沙吉·阿罗什与美国科学家大卫·瓦恩兰，
以表彰两位在量子理论研究领域的突破性进展。在电子信息科技主导的军事变革日渐遭
遇瓶颈，而量子信息科技“撬动”的军事变革发展前景广阔的当下，诺贝尔物理学奖所
标示的科学动向及其军事意义，颇值深究。请看科技日报特约专稿——
“科学与战争一直是极其密切地联系着的。”这句出自科学社会学奠基人J.D.贝尔纳之
口的名言，意味深长。今天，倘若我们要追溯风靡全球的信息化战争之科技源头的话，
无疑是1946年世界第一台计算机“ENIAC”诞生及1969年全球第一个“阿帕网”问世所
开启的军事变革。从本质上说，这是一场由电子信息科技催生的军事变革。
电子信息科技主导信息化战争1.0
从科学技术与军事变革的角度而言，对于这场由电子信息科技催生的军事变革前景，在
美国，著名未来学家阿尔文·托夫勒界定为“第三次浪潮战争”，美军前陆军参谋长戈
登·沙利文则称之为“信息时代的战争”。在我国，这一变革被认为是以高技术特别是
电子信息科技的飞... 阅读全帖 |
|
l*y
发帖数: 21010 | 36 操，什么乱七八糟的，反同的别在我这个帖子里瞎掺和。
我不是来反同的。。
反同的都别用电脑啊有本事，turing就是同性恋。你用的就是个图灵机，同性恋机，
gay机。 |
|
w*******e
发帖数: 15912 | 37 2010-02-08 09:42:11 来源: 网易探索(广州)
网易探索2月8日报道 通常在艺术和科学领域，那些最伟大的人们总是过着痛苦的生活
。很多情况下，这会导致自杀。下面这列最伟大的科学家们都选择了自杀的道路。
1.维克多·梅耶（Viktor Meyer）
维克多·梅耶是一位德国化学家，在有机化学和无机化学领域做出了重大的贡献。1848
年出生于柏林，他最著名的成就是发明了测量蒸汽密度的维克多·梅耶仪，并发现了噻
吩(Thiophene)。
作为一名天赋才情的化学家，梅耶成天醉心于他的化学研究。这种生活方式使他的神经
系统承受着巨大的压力。在经历过几次精神崩溃之后，1897年他选择服用氰化物自杀，
死时年仅49岁。
（注：噻吩---是一种杂环化合物，学名硫杂环戊二烯，为无色透明液体，易燃，有类
似苯的芳香气味，溶于乙醇、乙醚等有机溶剂，不溶于水，在850oC高温不分解，相对
密度1.0611，熔点-38.3oC，沸点84.18oC，闪点-1.1oC，折射率1.5289，比重d25=1.
0573。
噻吩主要用于制取药物，如：噻吩乙醇、噻吩乙氨、头孢噻吩、噻吩乙酸、先锋霉素等
7... 阅读全帖 |
|
v******r
发帖数: 1630 | 38 靠。。难怪我学了十来年，还是一窍不通。。原来是我那一窍没通呀。。 |
|
C*******f
发帖数: 13152 | 39 看你这个就跟看基督徒们到处说牛顿爱因斯坦是基督徒一样的赶脚。。。
科普 |
|
m********g
发帖数: 10469 | 40 屁精不容易，整个人类文明就是屁精创造的。得精神病艾滋病麻风吸毒的牛人也不少，
是不是来个全民推广
科普 |
|
m********g
发帖数: 10469 | 41 那是，这些屁精就是逼迫直男开后庭当搅屎棍，否者就是反人类文明 |
|
l*y
发帖数: 21010 | 42 柴可夫斯基是杠杠的同性恋如果你连这都不承认就真的没什么好谈的了
他的Violin Concerto就是跟著名的俄国gay小提琴家joseph joachim搞基然后合作弄出
来的。。
其他几个人有些是双性恋
the |
|
m********g
发帖数: 10469 | 43 牛人得病的不少，没谁觉得尊重牛人自个也得染个病啥的，这些屁精张口就是一句屁精
出牛人，直男得献菊。这些菊男的思维方式就是和别人不一样
the |
|
C*******f
发帖数: 13152 | 44 你一伙说你老公如何如何，一伙说你老婆如何如何，我就纳闷你到底男的女的，现在好
像知道了。。。 |
|
|
C*******f
发帖数: 13152 | 46 天天吃抗抑郁药的是你还是你“老婆”？你今天吃了吗？没吃赶紧去吃药吧。。。
发信人: ldy (现在我很害怕，可能时间会炸), 信区: PsychoAnalysis
标 题: Re: 每天早上４，５点醒，精神上倍受折磨
发信站: BBS 未名空间站 (Thu Feb 14 18:31:18 2013, 美东)
每天一片paxil，缓解焦虑、强迫、抑郁。同时增长床上时间。一举4得。 |
|
|
z*******3
发帖数: 13709 | 48 尼玛，gay难道不是女人创造的？
没有女人和男人的正常性交，有个毛gay
真是孽子 |
|
l****h
发帖数: 793 | 49 那你承认同性恋者是异性恋者生的并且在异性恋环境中长大的？那为什么反同者要把同
性恋者圈起来让他们自生自灭呢？那为什么反同者说在同性couple家庭长大也会是同性
恋呢？ |
|
a**e
发帖数: 8800 | 50 你要是非要把同性恋和搞后门等同起来，那明清两代的同性恋多了太去了。红楼梦里除
了贾政和柳相连，其他台词多/少点的男人基本上都搞过，你是不是打算说红楼梦是一
部描写同性恋的小说？监狱里面什么正常的男人都可能放屁不再有声，你是不是打算同
意环境是同性恋的原因？ |
|
