g*****l
发帖数: 424 | 1 前言：
今天，图灵百年庆典在伯克利中央街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*******v
发帖数: 2599 | 2 之前几年或者多年，我在本版聊过几点浅见。
一是universal turing machine
我抽屉里有一本2000年买的本科生教材。计算理论基础。harry R Lewis写的。5。2节
第一段：
"
In other words, we shall be thinking of the formalism of Turing machines as
a programming language,
in which we can write programs. Programs written in this language can then
be interpreted by a
universal Turing machine----that is to say, another program in the same
language.
"
二是这个trick在什么地方？
Self Interpret的技术在Kenneth Thompson的图灵奖lecture有一段描述。
这个讲座以前我引用过.
其实就是C语言的\n 和 \ \n .
[老邢这个垃圾站。两个斜杠n要写成4... 阅读全帖 |
|
l**********1
发帖数: 5204 | 3 Alan Turing 一个数学师对生命科学研究的猜想 1952
A. M. Turing
The Chemical Basis of Morphogenesis. (1952)
Philosophical Transactions of the Royal Society of London. Series B,
Biological Sciences, Vol.
237: 37-72.
link:
//www.dna.caltech.edu/courses/cs191/paperscs191/turing.pdf
why not LZ can not do 猜想 in 2012 even s/he is an engineer?
more pls refer
recent Science paper:
by Müller et al.
Differential diffusivity of Nodal and Lefty underlies a reaction-diffusion
patterning system.(2012)
Science. 336:721-724.
l... 阅读全帖 |
|
g*****l
发帖数: 424 | 4 前言：
今天，图灵百年庆典在伯克利中央街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 | 5 【 以下文字转载自 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 | 6 图灵很伟大。
【 以下文字转载自 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）... 阅读全帖 |
|
B*******c
发帖数: 5056 | 7 图灵后期一直致力于数理生物学，却被你们这些循规蹈矩的世俗主义者迫害致死。
Pattern formation and mathematical biology
Turing worked from 1952 until his death in 1954 on mathematical biology,
specifically morphogenesis. He published one paper on the subject called The
Chemical Basis of Morphogenesis in 1952, putting forth the Turing
hypothesis of pattern formation[96][97] (the theory was experimentally
confirmed 60 years after his death[98] ). His central interest in the field
was understanding Fibonacci phyllotaxis, the existence of... 阅读全帖 |
|
b********n
发帖数: 38600 | 8 ACM Turing Award 美国计算机器协会图灵奖
1966年，美国计算机器协会Association for Computing Machinery成立A. M. Turing
Award图灵奖。该协会网站上如下介绍该奖项：
A. M. Turing Award图灵奖，有时候被称为计算界的诺贝尔奖，为纪念英国数学家和计
算机科学家Alan Mathison Turing 艾伦 马迪逊 图灵(1912-1954) 而命名。他对计算
机体系结构、算法、计算的形式化和人工智能做出了根本性的贡献。在第二次世界大战
中，他在英国破译密码工作中起到关键的作用。 |
|
m**********e
发帖数: 12525 | 9 一个码农，想像力还是受限制的
在码农的realm，只有integer，和建立在integer上操作的turing机，所以自然
认为宇宙间的结构局限于turing机上能表达的有限几种.
Turing机本质上是local的玩意，不涉及空间的几何结构，而事实上，quantum恰
恰是一个关于空间几何结构的问题，无论quantum本身，还是其导致的entanglement，
都涉及空间结构，这恰恰是一个不在码农realm里面的entity。
所以深陷事中的码农，最终必定认定turing机无法解读的quantum只可能是一个错觉。 |
|
p**f
发帖数: 3549 | 10 麻痹Pascal架构早过时了。Volta都粗来一年了，还玩Pascal啊，能卖出去吗。最新消
息粗来了，2080/2070用的是Turing架构，可能是Volta小改马甲。不过Volta只针对
data center/ai市场。Turing针对gaming市场，估计把那些AI tensor flow相关的功能
挖掉了。Turing会阉割出各种核心，对应2060/2050/2030一堆中高低端消费卡。Ampere
才是volta/turing的真正下一代架构，目前还没影子。
不知道按摩店如何接招。目测NV要一桶浆糊了，虽然现在几乎已经是了。 |
|
|
n*********2
发帖数: 357 | 12 不是跟你作对。偶尔看到了你的帖子。
> 前一阵子不是有人贴了他对图灵的评价么？从中可以看出，
> 他对计算机科学的理解是非常肤浅的，对一些关于学科底层
> 逻辑的问题几乎一点都不知道（已经不能用“一知半解”来评价了）。
推荐三篇短文（不是王垠的）
(1) A Turing Tale
Assessing the accuracy of popular descriptions of Alan Turing’s influences
and legacy.
Edga G. Daylight
Communications of the ACM
October 2014
(2) HISTORICAL REFLECTIONS
Actually, Turing Did Not Invent the Computer
By Thomas Haigh
Communications of the ACM, Vol. 57 No. 1, Pages 36-41
http://www.eng.auburn.edu/~vagrawal/COURSE/READING/ARCH/CACM_Ja
(3) Why d... 阅读全帖 |
|
i********e
发帖数: 31 | 13
a
Come on. No Turing award winner (even Turing himself) is
comparable to Newton.
And I do think we can call those people like Anders Hejlsberg
computer scientists. There is no such a huge gap between
those people and Turing award winners. They are both genius
working on very closely related areas.
Please check the citation of the first Turing award winner
1966 A.J. Perlis
Citation
For his influence in the area of advanced programming techniques
and compiler construction.
Also, you w |
|
j**********s
发帖数: 132 | 14
~~~~~~~~~~~~~ 没戏，Turing Award 喜欢孤胆英雄而不是团队领袖。单纯凭
设计一门高级语言得 Turing 奖自 Fortran 以后就不可能了。Nillaus Wirth,
Alan Kay, Dennis Ritchie 都不是只靠设计高级语言得奖的。C++ 的作者
Bjarnes Strousrup 到现在也没拿到 Turing.
~~~~~~~~~~~~~~~~~~
这个更没戏， SVM 不算 Turing Award 认可的 CS 范畴，这种东西和Statistics
更沾边些。 |
|
g****t
发帖数: 31659 | 15 (1)
在计算机领域，我认为universal turing machine
就是能量守恒一样的基本对称性。
universal turing machine进去一个turing machine
，出来是一样的，所以就是守恒量或者基本对称性。
这是所有图灵完备的程序的集合的性质。
一定有固定点
(2)
任何计算机语言，只要出不了fixed point combinator/universal turing machine
这个圈。不可能和现实中其他具有本质不同的对称性的东西对上号。
因为两个系统有不同的固定点，本质上是没办法全方位拟合的。
只能看看是不是有时候能互相接近。这算是演绎性质而非经验性质的对
无脑拟合的否定。
必须要加domain knowledge赋予的对称性.
要么就是足够的数据蕴含了对数据集的定义. 那需要数据集的信噪比很高。
(3)
我还有另一个结论。如果一个计算系统例如神经网。
对一种数据集效果好，应该可以造出来另一套数据集，效果不好。
但这个先要构造神经网自己的domain specific固定点。
learn the xxx learning itself。我怀... 阅读全帖 |
|
c****g
发帖数: 7 | 16 Good Terminologies. let me explain them more clearly..
NP-Problem
A problem is assigned to the NP (nondeterministic Polynomial time) class if it
is solvable in polynomial time by a nondeterministic Turing Machine. (A
nondeterministic Turing Machine is a ``parallel'' Turing Machine which can
take many computational paths simultaneously, with the restriction that the
parallel Turing machines cannot communicate.) A P-Problem (whose solution time
is bounded by a polynomial) is always also NP. If a s |
|
|
发帖数: 1 | 18 church 和Turing 分别建立了两个不同的计算模型
合作一篇文章证明两者等价
: 牛个鸡巴，可计算性是人church发明的，连理论都叫church-turing
theory
: 因为丫是英国人，英国现在完蛋了，找不到人吹，于是死捧turing
: 这跟捧霍金是一个套路
|
|
L*******e
发帖数: 2202 | 19 6月23日是计算机科学之父、同性恋者Alan Turing的100周年诞辰日。总部在纽约的计
算机协会(ACM)每年向一人颁发以Turing命名的图林奖，是计算机科学界的诺贝尔奖，
获奖者都是几十年来的顶尖专家，如UNIX、TCP/IP、关系型数据库的设计者。ACM上周
在旧金山主办了Turing百年诞辰纪念会，30多位获奖人出席。 |
|
C*******r
发帖数: 10345 | 20 那个烧KBIO亏欠10几万的哥们看到消息不知什么感想，倒在黎明前啊。
The pharmaceutical company once led by Martin Shkreli has officially
imploded.
In a filing with the SEC on Wednesday, KaloBios announced that its interim
CFO and auditor both resigned, leaving the company with limited executive
leadership.
Additionally, the Nasdaq informed KaloBios that its stock would be delisted.
Shares of the company had been halted since Shkreli's December 17 arrest on
securities-fraud charges. Shkreli was fired as CEO of KaloBios on Decemb... 阅读全帖 |
|
m*****n
发帖数: 1631 | 21 这个圣诞节，游戏卡市场乱七八糟，有AMD老版卡，女大老版卡，矿场退出来的女大二
手老版卡，矿场退出来的AMD二手老版卡，再就是女大的新版Turing卡。
过了年，老黄不至于还继续卖积压的Pascal卡，随着新版游戏陆续推出，应该是Turing
卡唱主角了。按摩店听说正在做7nm的新版卡，问题是，老黄的新卡有ray tracing，各游
戏商的新版游戏配合老黄用到ray tracing，苏妈的新版卡如果没ray tracing那就很难
卖了。老黄想用Turing的Ray Tracing给苏妈致命一击，把按摩店彻底挤出游戏卡市场
，直到按摩店把ray tracing做出来，这之前游戏卡市场只剩女大一家玩了，老黄够黑
。 |
|
p**f
发帖数: 3549 | 22 光追到目前官方支持游戏只有一个，花大价买TURING的买的是期货，是真N粉。不然，
买上代卡就行了，而按摩店至今没有能打上代旗舰的产品，也是上代黄卡不降价的原因
。看看按摩店刚发布的中端游戏卡590，还是12nm的，基本是来搞笑的。老黄无忧，可
以继续用高价TURING猛操N粉。
按摩店的G点在抢英特尔市场份额，而非抢黄卡份额。现在看来，对英特尔的威胁远远
高于对老黄威胁。
Turing
各游 |
|
r*****e
发帖数: 7853 | 23 那老黄的q4 guidance为什么这么低？
[在 mexican (走神) 的大作中提到：]
:这个圣诞节，游戏卡市场乱七八糟，有AMD老版卡，女大老版卡，矿场退出来的女大二
:手老版卡，矿场退出来的AMD二手老版卡，再就是女大的新版Turing卡。
:过了年，老黄不至于还继续卖积压的Pascal卡，随着新版游戏陆续推出，应该是
Turing卡唱主角了。按摩店听说正在做7nm的新版卡，问题是，老黄的新卡有ray
tracing，各游
:戏商的新版游戏配合老黄用到ray tracing，苏妈的新版卡如果没ray tracing那就很
难卖了。老黄想用Turing的Ray Tracing给苏妈致命一击，把按摩店彻底挤出游戏卡市场
:，直到按摩店把ray tracing做出来，这之前游戏卡市场只剩女大一家玩了，老黄够黑
:。 |
|
r*******1
发帖数: 4394 | 24 能true 是一回事，ture 准是另外一回事。有的轮毂(辐条多的)好ture，有的轮毂（辐
条少的）不好ture，不能一概而论吗。 |
|
l*****n
发帖数: 125 | 25 No... 你说的是Church-Turing Thesis, 我说的是Church-Turing Theorem, 1936年就
证明了的，两者不是一回事。呵呵，我也给个wiki链接吧：
http://en.wikipedia.org/wiki/Entscheidungsproblem
Church-Turing Theorem的内容是：The validity of FOL is RE-complete. 所以
undecidability就是一个很简单的推论，另外一个推论是：The satisfiability of
FOL is not recursively enumerable. |
|
wh
发帖数: 141625 | 26 最后一天赶活动……在诗版看到一首号称通过图灵测试的机器诗：
Bristlecone
A home transformed by the lightning
the balanced alcoves smother
this insatiable earth of a planet, Earth.
They attacked it with mechanical horns
because they love you, love, in fire and wind.
You say, what is the time waiting for in its spring?
I tell you it is waiting for your branch that flows,
because you are a sweet-smelling diamond architecture
that does not know why it grows.
诗版的silverblade还热心地翻译了机器诗：
马尾松
一个在闪电中忽然出现的家
优雅的四壁令所有饥渴的土壤
窒息在这个星球上，地球上。
他... 阅读全帖 |
|
n*****w
发帖数: 1325 | 27 ☆─────────────────────────────────────☆
jinselan (景色) 于 (Mon Nov 18 10:24:59 2013, 美东) 提到:
去梦版溜达，看到有人提起陆毅，说他老了，心生感慨。
时光不饶人，当年的陆毅可是大帅哥一枚，台湾有F4，大陆有陆毅，都是青春偶像的领
军人物。
我觉得吧，陆毅形象阳光俊朗，为人温和沉稳，比花瓶四人组有内涵多了。当花瓶四人
组还在演狗血童话的时候，陆毅已经饰演年轻有为的精英，脱去花瓶的称号。
2002年，陆毅和林心如主演现代都市时装剧《男才女貌》，算是大陆偶像剧的先驱。当
年这剧在中央8套放了N遍，收视率排第一。
一直以来，总记得主题曲里陆毅和林心如在地铁里的片段，陆毅一身得体的西装，敞开
领口，精英范儿里带着休闲，特帅气。
此外，印象最深的还是《少年包青天2》。这剧拍了三部，换了三批演员，周杰版的包
拯太呆，邓超版的一路卖萌，陆毅版的从头帅到尾，把一个意气风发的包拯演绎得活灵
活现，又不失聪明机智，最最喜欢啦。
随着年纪渐长，陆毅的容颜没有当年那么正，但时光沉淀下来的魅力更迷人。
最后放两张新剧剧照... 阅读全帖 |
|
w********c
发帖数: 2632 | 28 ☆─────────────────────────────────────☆
creation (yy) 于 (Wed Oct 13 22:15:44 2004) 提到:
? in distributed algorithms ??
looks like a cool guy, but not many people seem to understand his work
even many journal reviewers and famous people in the field
☆─────────────────────────────────────☆
wildThing (呼吁美国人每周少吃一包薯条) 于 (Thu Oct 14 02:58:59 2004) 提到:
what about his work in distributed algorithms?
☆─────────────────────────────────────☆
cdr (可读可写) 于 (Thu Oct 14 15:23:49 2004) 提到:
What m... 阅读全帖 |
|
发帖数: 1 | 29 日前有消息称，NVIDIA可能会选择GDC（游戏开发者大会，3月19日开幕）或自家的GTC
（图形技术大会，3月25日开幕）上发布GeForce新款显卡。
不过，权威媒体TMHW称，澳媒TT的爆料不靠谱，他们从多位产业链人士那里确认，
NVIDIA并没有这样的计划。
其实说来也对，NV新品的保密工作一般都比较差，要真是决定3月份发布，不可能外界
对大概轮廓还一无所知。
关于新品布局，报道也给出了更清晰的解释：
首先，Ampere（安培）架构的确接班Volta，但会是面向专业产品优化，没有消费级的
定位。
也就是说，NV今后将针对专业平台（设计、深度学习等）和游戏平台分别采用两种架构
，这样的好处是，在研发最开始的时候，就可以针对性地强化/舍弃某些特性，早年的
一体化架构+“黄氏刀法”可能是要结束了。
其次，消费级的产品是Turing（图灵）。然而，因为在目前的游戏卡市场卖相良好且
AMD施压有限，NVIDIA并不急于推出新卡，Turing的时间会进一步延后。
时间点上，AIC们最快5月份才能收到Turing的规格信息开始做BOM成本核算和战略规划
，非公显卡交付生产最快在6月中旬，7月... 阅读全帖 |
|
g****t
发帖数: 31659 | 30 所以我之前强调了universal Turing machine。
单个的程序，都是很简单的Turing Machine，都是well defined问题，
越南找个中学生，说不定就给你搞定了。我认为CS的应该加强思考这个。除了
domain knowledge值钱，这个比啥data science还值钱。
例如微信公众号可以跑一些程序，搞传销，搞支付，做生意，
就是universal Turing machine。
本站只能发帖，不开放代码接口。
老邢应该抄一个公众号的架构。
弄一批机器人管蛋用。 |
|
g****t
发帖数: 31659 | 31 你随便找本书，看怎么讲universal Turing machine的。你的知识太贫乏了。
Turing机之前，已经有了lambda calculus,
也就是lisp等语言的鼻祖。Godel的计算模型也早就有了。这些和图灵机都是等价的。
另外据说当时还有几个别的计算模型。
但universal Turing machine是新的东西。是没有任何前人预料到的。 |
|
g****t
发帖数: 31659 | 32 说了很多次了。计算模型Turing不是第一个，这是事实。
但是第一个可以接受别的程序的程序，也就是Universal Turing Machine,
是Turing写的。
the |
|
w***g
发帖数: 5958 | 33 Turing machine == 算法或者固定算法的电路
程序 == 算法的编码, 在Turning machine或现实计算机中表现为一个超大的数
Universal turing machine == 可以接受程序的计算机
巴贝奇的分析机是Turing complete的，等价于UTM。人家机器都设计出来了，
你非说人没有发明描述机器的概念。
你这种可以接受程序的程序的说法很奇怪。UTM的描述里只有机器和这个机器的
输入(某图灵机编码, 输入数据)。程序本身是passive的，就是一个数，
要进行计算最终必须有个机器。你说的可以接受程序的程序其实是一个虚拟机程序。
当然UTM的U保证了它可以跑对应它自己的程序。 |
|
g****t
发帖数: 31659 | 34 Lambda 是rename, substitution/apply为基础的
代数系统。Turing是移动位置改写符号的goto系统。
说起来其实都非常简单。
我想过很久，假如Turing证明出来两者不等价呢？
后来我觉得，这种东西就是自然律。它存在。
没什么别的道理可以说出来。
图灵做的是一个发现自然规律的事。
不是一个发明。是一个发现。
这个世界有Natural law。只要使用语言和符号，就不可能是绝对意义上的虚无主义者
。不管什么语言都一样。
即使一个人知道自己是个虚无主义者，他也说不出来的。
另外以前我看过Thompson 图灵奖讲话。他第一段就用c语言写固定点。中间讲双斜杠
trick可以引入新符号让语言有生长能力。
根据我的经验，我个人感觉他对church - Turing thesis
的构造证明也很难释怀。
也许每个人都有自己不同的对自然律的态度和reconcile
方式。或者顺服，或者挣扎。这些规律像是一座沉默的高山，给我们写代码的人依靠，
同时也激起了征服的兴趣。
我写这么长，其实也只能说我还是没有完全理解这件事。
: 想了半天, 接不上话. 吱一声以示... 阅读全帖 |
|
g****t
发帖数: 31659 | 35 Lambda 是rename, substitution/apply为基础的
代数系统。Turing是移动位置改写符号的goto系统。
说起来其实都非常简单。
我想过很久，假如Turing证明出来两者不等价呢？
后来我觉得，这种东西就是自然律。它存在。
没什么别的道理可以说出来。
图灵做的是一个发现自然规律的事。
不是一个发明。是一个发现。
这个世界有Natural law。只要使用语言和符号，就不可能是绝对意义上的虚无主义者
。不管什么语言都一样。
即使一个人知道自己是个虚无主义者，他也说不出来的。
另外以前我看过Thompson 图灵奖讲话。他第一段就用c语言写固定点。中间讲双斜杠
trick可以引入新符号让语言有生长能力。
根据我的经验，我个人感觉他对church - Turing thesis
的构造证明也很难释怀。
也许每个人都有自己不同的对自然律的态度和reconcile
方式。或者顺服，或者挣扎。这些规律像是一座沉默的高山，给我们写代码的人依靠，
同时也激起了征服的兴趣。
我写这么长，其实也只能说我还是没有完全理解这件事。
: 想了半天, 接不上话. 吱一声以示... 阅读全帖 |
|
w**n
发帖数: 88 | 36
Yes , In the theory of computation it is called : Mulititape Turing Machine is
equivalent with an single tape Turing machine.the multitape here means that
Turing machine has the ability of parallel computing
It seems you are not considering a computability problem, so you need to
define clearly what the meaning of 能力 here is. |
|
z*******n
发帖数: 1034 | 37 之前，
数学家陈省身运用外微分给出了一个更简洁的高斯博内公式证明，有个叫做Weyl的数学
家向陈祝贺，这个Weyl和他的导师希尔伯特 都给一个人引荐过职务，这个人就是普林
斯顿高等研究院的最年轻永久教授，中文名字通常译作 冯 诺伊曼
冯诺伊曼一般被称作计算机之父，他给了一个人做博士后的机会，这个人后来没做回英
国了，叫Turing，这个Turing也有被称作计算机科学之父，你要是只喜欢一个的话，选
一个喜欢的就好。
后来Turing 在英国的ACE报告就是参考了冯诺伊曼的101报告，这101报告
里有个重要概念叫做Stored-program，简单说就是要把程序存到内存里，冯诺伊曼没有
发明内存，
可是他运用他的综合知识把这个正确的方法确定下来，就是说在踌躇之际，一个有知识
的人告诉大家：
插入
交由 |
|
z*******n
发帖数: 1034 | 38 之前，
数学家陈省身运用外微分给出了一个更简洁的高斯博内公式证明，有个叫做Weyl的数学
家向陈祝贺，这个Weyl和他的导师希尔伯特 都给一个人引荐过职务，这个人就是普林
斯顿高等研究院的最年轻永久教授，中文名字通常译作 冯 诺伊曼
冯诺伊曼一般被称作计算机之父，他给了一个人做博士后的机会，这个人后来没做回英
国了，叫Turing，这个Turing也有被称作计算机科学之父，你要是只喜欢一个的话，选
一个喜欢的就好。
后来Turing 在英国的ACE报告就是参考了冯诺伊曼的101报告，这101报告
里有个重要概念叫做Stored-program，简单说就是要把程序存到内存里，冯诺伊曼没有
发明内存，
可是他运用他的综合知识把这个正确的方法确定下来，就是说在踌躇之际，一个有知识
的人告诉大家：
插入
交由 |
|
d**e
发帖数: 863 | 39
这话怎么说的？两个人谁先谁后？
Von Neumann's contribution is how to build a Turing computer,
the report he put his name on.
Perhaps you can say, without Turing, there was Church. |
|
s*******w
发帖数: 2257 | 40 华夏文摘】老钱：硅谷传奇：计算机发展简史- -（附录）
发表于 2016 年 04 月 22 日 由 老钱
人类的进步主要由两个部分组成：一是人类的组织原则和组织结构的进步，另一个是科
学技术的进步。近代以来，人类在组织原则和组织结构方面的进步相对比较缓慢。但是
，科学与技术则有了翻天覆地的变化。用理工科的说法就是，以往的世代里，科技进步
是线性的，近代以来则是以指数形式在发展。近代的科技发展，赋予了人类无以伦比的
力量。这么说吧，要是把人类和地球上其他物种进行比较的话，今天人类的能力堪比上
帝。
十八世纪的第一次工业革命给我们带来了蒸汽机，人类在力量、速度、和距离上开始主
宰世界，这是力学与热学综合应用的产物。十九世纪和二十世纪初的第二次工业革命，
给我们带来了新能源，电力、石油、化工等等新兴产业主宰了我们的日常生活，尽管这
次工业革命也带来了一场世界性的农业革命，但从此人们对土地的依赖越来越弱了。这
是热力学、电磁学、化学综合应用的产物。到了二十世纪末，一场彻底改变人类传统生
活方式的工业革命发端了。这是以技算机、互联网、无线通讯兴起的产业革命。这是以
量子力学为代表的近代物理的综... 阅读全帖 |
|
s****n
发帖数: 8912 | 41 The creator of Lisp and arguably the father of modern artificial
intelligence, John McCarthy, died last night. He studied mathematics with
the famous John Nash at Princeton and, notably, held the first “computer-
chess” match between scientists in the US and the USSR. He transmitted the
moves by telegraph.
McCarthy believed AI should be interactive, allowing for a give and take
similar to AI simulators like Eliza and, more recently, Siri. His own labs
were run in an open, free-wheeling fashion, ... 阅读全帖 |
|
|
m**********e
发帖数: 12525 | 43 牛个鸡巴，可计算性是人church发明的，连理论都叫church-turing theory
因为丫是英国人，英国现在完蛋了，找不到人吹，于是死捧turing
这跟捧霍金是一个套路 |
|
i******0
发帖数: 609 | 44 这个不是他让不让的问题。冯诺伊曼在计算机领域的地位本来就没你以为的那么高。不
知道什么原因，二十多年前的国内计算机教材把他捧得很高，对真正的奠基人图灵却一
笔带过，只说图灵奖是计算机界的顶级荣誉。
图灵之所以有那么高的地位是因为他的模型令人信服地解决了什么是effectively
computable的定义的问题。尽管大家目前还是用Church-Turing Thesis来定义它，但是
在众多包括Church的lambda calculus, Godel-Herbrand General Recursion等等与之
等价的计算模型中，Turing Machine更准确地定义了可计算性的上界。歌德尔在1936年
看到图灵的论文后对其模型很推崇。
奉劝楼主一句，自己不懂的领域别光靠看点演义性质的资料就出来得瑟。
：不要脸的牛人多了去了，特别是当代。所以他能够不占别人便宜，主动让credits,就
是值得称道。
： |
|
s*****n
发帖数: 1998 | 45 这个P2P不过是无数庞氏骗局中的一个变种， 庞氏骗局就是利用人的贪婪， 许以高利回
报，骗人入局。 然后用新钱还旧债， 早入局的人占点便宜，晚入局吃亏学乖。
庞氏骗局其实也算是财产重新分配， 一帮财迷的财产，重新分配，大多数给了其他财迷
，少数给了骗子，很多财迷血本无归。按照中国的说法：天上不会掉馅饼。美国的说法
：if it is too good to be ture, it is probably not ture。
不过戳破这个骗局也算利国利民， 把这些不劳而获的财迷搞破产， 才能让更多的投资
进入实业。 |
|
z**********e
发帖数: 22064 | 46 http://hx.cnd.org/?p=123650
老钱
人类的进步主要由两个部分组成：一是人类的组织原则和组织结构的进步，另一个是科
学技术的进步。近代以来，人类在组织原则和组织结构方面的进步相对比较缓慢。但是
，科学与技术则有了翻天覆地的变化。用理工科的说法就是，以往的世代里，科技进步
是线性的，近代以来则是以指数形式在发展。近代的科技发展，赋予了人类无以伦比的
力量。这么说吧，要是把人类和地球上其他物种进行比较的话，今天人类的能力堪比上
帝。
十八世纪的第一次工业革命给我们带来了蒸汽机，人类在力量、速度、和距离上开始主
宰世界，这是力学与热学综合应用的产物。十九世纪和二十世纪初的第二次工业革命，
给我们带来了新能源，电力、石油、化工等等新兴产业主宰了我们的日常生活，尽管这
次工业革命也带来了一场世界性的农业革命，但从此人们对土地的依赖越来越弱了。这
是热力学、电磁学、化学综合应用的产物。到了二十世纪末，一场彻底改变人类传统生
活方式的工业革命发端了。这是以技算机、互联网、无线通讯兴起的产业革命。这是以
量子力学为代表的近代物理的综合应用的产物。
在今天的世界里，对人们日常生活... 阅读全帖 |
|
m******8
发帖数: 2153 | 47 计算机科学之父诞辰100周年：身为同性恋遭受不公正待遇，阿兰图灵英年早逝
爱白网 老虎
2012-01-01
2012年是“人工智能之父”图灵诞辰100周年。图灵奠定了现代计算机科学和人工智能
的基础，同时在数学、逻辑学、密码分析学、哲学领域均有相当高的成就。远离战火、
享受和平的人们，每个在日常生活中使用计算机的人，每个受益于现代计算机科学的人
，都应该对图灵心存感谢。
2012年将是爱白图灵主题年，我们将在这一年里陆续发布相关文章和组织纪念活动。
刚刚推出的iPhone4S中的语音助手Siri，引起了很多人的注意。很多人觉得，机器
能够理解人类提出的问题，还能做出回答，是十分有趣的事情。马上有人用各种BT问题
“拷问”Siri，看它如何回答，也得到了各种各样欢的欢乐结果。但最为Siri的成功而
感到欢欣鼓舞的，应该是计算机科学家们。因为61年前（1950年），“人工智能之父”
图灵提出了人工智能领域著名的“图灵试验”，用于判定一台机器是否具有智能，这
个试验简单说就是，看一台机器能否顺畅地与人聊天，而不被对方发现是机器。Siri还
不完美，但应该说，它的出现和商业化，标志着人类在人... 阅读全帖 |
|
E*******F
发帖数: 2165 | 48 这么扯没什么意思。
我也可以说如果Turing是异性恋
他会跟女人结婚，生一堆儿女，过上幸福长寿的生活
对人类的贡献会比他已经做出的还要大
要是爱因斯坦是同性恋，没准还没发现相对论就气得自杀了
Turing的悲剧正在于医学不够发达，被乱治
同时还有当时的社会背景对同性恋敌视
我一向主张不能敌视任何性倾向的人（有犯罪行为的例外） |
|
L****l
发帖数: 594 | 49 你说把同性恋都变成异性恋，这个世界一点损失都没有. 别人用事实反驳你, 你就说这
么扯没什么意思, 自己却开始扯什么如果Turing是异性恋会如何, 要是爱因斯坦是同
性恋又会如何, 全都是没有事实根据的臆想.
我也可以想象如果Turing是异性恋, 结了婚却以bitter divorce 收场; 要是爱因斯坦
是同性恋, 没有妻子缠着, 一百多年前又不开放, 难以找到同 人, 结果就专心向学,
还是成了和牛顿一样伟大的科学家. 反正都是没有事实根据的YY, 都是想象, 谁不会!
我还可以说假如这个世界上没有你, 版上各位网友的耳根子能清静不少, 这种假设显然
更靠谱. |
|
