p***r
发帖数: 4702 | 1 信息论和图灵机才是。
: 套用如果没有XX的格式：
: 如果没有蒸汽机，== |
|
|
r**********g
发帖数: 22734 | 3 其实咱这么说吧，DNN是新的编程语言，好比高级语言刚出现的时候，把寄存器，中断
都隐藏了，java出来，把内存分配啥都隐藏了，dnn把整个图灵机都隐藏了。什么
overfit，其实大家都在overfit以前人脑overfit现在电脑自己overfit.
高级语言刚出来你有范型，继承各种幺蛾子吗？现在也是一样，不是dnn是hype，而是
刚起步。未来的方向就是纯描述性编程。我要搞个技术，如此这般的需求，电脑你去办
吧。还很遥远，但是会有那一天。
ground |
|
f*******t
发帖数: 7549 | 4 其实电脑也不是绝对意义上的图灵机，总有出错的机率，就跟生物DNA复制一样。 |
|
f*******t
发帖数: 7549 | 5 其实电脑也不是绝对意义上的图灵机，总有出错的机率，就跟生物DNA复制一样。 |
|
h**********c
发帖数: 4120 | 6 算法我记得原来说accomplish a goal with finite steps, repeatable
严格讲是可能的必须的
面试强调你要fit所以就不好说
asympotic analysis 是估计，好像没听说过过证明的。数学上asympotic analysis 好
像不那么严谨，就是土灵机和数论没法练习起来。图灵机没什么cardinality
countable之说。 |
|
r*****s
发帖数: 1815 | 7 复杂度也是证明的。。。Knuth就专门搞这个研究的
那破书TAOCP到处证明乱七八糟的复杂度，啥用都没有
: 算法我记得原来说accomplish a goal with finite steps, repeatable
: 严格讲是可能的必须的
: 面试强调你要fit所以就不好说
: asympotic analysis 是估计，好像没听说过过证明的。数学上asympotic
analysis 好
: 像不那么严谨，就是土灵机和数论没法练习起来。图灵机没什么cardinality
: countable之说。
|
|
t*******r
发帖数: 22634 | 8 其实俺一直觉得古代数学思想本质上跟现代数学思想并不矛盾。比如阿拉伯数字
和四则运算蕴含现代符号运算或者图灵机啥机机的思想，分数到实数蕴含泰勒展开
一直到有限元或者非线性编程优化的思想，平面几何和立体几何蕴含现代图论的思想，
立体几何还蕴含现代高维空间的思想，解析几何蕴含函数/场论/微积分/曲率空间的
思想，等等等等。当然，搞那么多重复练习的古代数学题海有没有意义，另说。
不过看了讨论让俺明白了一点，这玩意儿关键点还是在于“兴趣”两字。如果没有兴趣
的话，“蕴含”就是屎！！的确不如直接灌输现代数学思想。理解要执行，不理解反正
也照搬执行也就是了。至少不会跑出“数学就是数学，跟物理/工程/计算机没啥关系
的调调。。。”。 |
|
n*****n
发帖数: 1669 | 9 我可以用图灵机泡妞。可以写诗泡妞。但没听过有人搞个群泡妞。哪妞得多变态才搞得
懂群和组究竟有什么区别。
丫的死是不可以用年来度量的。因为到今天也没再出现过那样的天才。是人类的巨大损
失。和群比起来，NP就是个渣。就靠这个这里面拿了多少炸药奖。
中国人里一万个当中怕也没有一个知道啥是群。所以FB只能诞生在美国。 |
|
t*******r
发帖数: 22634 | 10 数学和物理。。。物理学完，哲学就无师自通了。。。
当然，现在社会发展了，加上一门图灵机课。。。 |
|
t******l
发帖数: 10908 | 11 我觉得需要另一个能力，就是对于老板要求的特别的问题，在给定的出货时间
里面，在给定的计算时空复杂性要求内，快速解构成标准问题求解，然后 apply
回去。
或者说，APhO 的庖丁解牛的能力，比 AMO 的百步穿杨的能力，对大多数 STEM
nerd 而言，可能更重要。
从另一个角度说，在图灵机之后的信息学，本质上是换了个马甲的物理学，而不是
更钻牛角尖的现代数学。
当然这个在 AMC 8 / 10 / 12 阶段倒是没有区别。小学初中连个物理课都没有，
不管是 M 还是 Ph，都差不多。AMC 的主力都在搞建数学模型，也就是还不需要
牛三贝五的阶段。 |
|
t******l
发帖数: 10908 | 12 但图灵机也没解决所有的问题，毕竟那纸带又臭又长，跟裹脚布的差别也不大。
然后出现了一个逃学还振振有词的浪子哥们 -- “信息隐藏原则”。人的口号是：
（1）如果这段纸带我不用改，我不需要看，我直接拿来用，call subroutine
就完事了。学啥学？学个屁！我不学也给老板交差了。
（话说 subroutine 也是一个 on-demand 高级操作符号不是。不过简单，
这高中生都能看懂那个名字和参数不是？）
（2）如果这段纸带我需要改，我也不需要看。我直接扔掉那段旧纸带，然后按
要求和接口标准重新做一条新纸带。旧纸带我根本不看！
结论，所有的纸带我都不需要看、也不需要懂、更不需要学！ |
|
t******l
发帖数: 10908 | 13 比拼图姐家的六个娃差海了。
拼图姐家娃，这年龄早已能证明图灵机和加密理论了。 |
|
t******l
发帖数: 10908 | 14 我刚才联想到 F-117 vs F-22 / B-2 的壳子，突然领悟到 “球用数学” 虽然
不算 “石器时代数学”，但基本是 “肉算时代数学”。
我觉得首先是分析一下 “球用数学” vs “实用数学” 的最大差别是在啥地方。
我觉得 “球用数学” 本质是追求复杂问题也能把解写成 closed form。写不出
closed form 就霸王硬上弓，上各种奇奇怪怪的符号，装鼻也要装出个 closed
form。
而 “实用数学” 只研究简单基本问题写成 closed form（图灵机也费电不是，
也得考虑低碳环保，而且慢到花儿也谢了这也不成）。对于复杂实际问题，
“实用数学” 更热衷于利用 mathematical structure 横切竖砍、庖丁解牛，
把问题降解成简单基本的问题。而这过程就不再热衷于 closed form，只要
能图灵电算就足够了。
这个最最生动的例子，就是 F-117 vs F-22 / B-2 的壳子：
“球用数学” 的 closed form，撑死也只能算 F-117 这种古代 polygon 壳子
的飞机。
而计算 F-22 / B-2 的壳子，再咋地也... 阅读全帖 |
|
t******l
发帖数: 10908 | 15 这类小学题马工做不出来倒是情有可原，数学系更擅长这类一些。
当然可能是给我自己找借口，不过确实大部分一般马工这类题确实不太行，图灵机的学
多了。
：任一整数10^k除以n的余数0<=R
：考察n^2个整数10^k, 0 |
|
t******l
发帖数: 10908 | 16 另外我觉得立志做马工的，和立志做数学工作者的，这个对 decision problem 是不是
往 “欧几里德捉迷藏辅助线” 和 抽屉啥的 方向狠搞，我觉得也还是要看娃个性和将
来方向。
对于小马工而言，我觉得学 decision problem 最终可能还得让图灵机 work out
problem。所以对于目测范围内只能回答 does it exist 的 decision problem，可能
还是等基本的学完再说不迟。当然题一样可以是大致差不多的问题，侧重点可以有所不
同。俺目前的看法。
：赞，如果把问题改成如何最快找到最小的M？
： |
|
|
h*****m
发帖数: 1034 | 18 这一型也还是基于if这一类逻辑判断的啊。增加了不确定性，我把它理解成对非图灵机
的一种模拟。
我的问题是能不能达到完全的模拟，理论上。 |
|
h*****m
发帖数: 1034 | 19
哈哈，siri确实有够幽默的。它的这些话是不是还是从庞大的对话数据库里整理出来的
答案，可能再加一些人工干预，离独立自主地进行幽默还有距离吧。不过，我们人类也
不还是99.99%的人说着99.99%别人说过的话。但还是有那么0.01%的人说的0.01%的话，
是创造性地说出来的。要求更高的话，就是触景生情，象你说的“看着窗外想起远方的
朋友吟出一句“绿蚁新醅酒红泥小火炉”，这可比可以转换成一维字符串的对话难多了。
果然是搞数学的人的思维，首先是定义的确定性。我这民科一下就现原形了，我说的“
非图灵机“就是说的人的大脑了，搞个高上大的名词来装一下。现在对于大脑的了解好
像还少得可怜，所以我的问题现在也确实是没有答案的了。
你说的“懂”是指透彻地研究明白，而我只是想大致了解一下结论。完全不是一个量级
上的。
其实主要是对潮水描述的有一天计算机在智能方面全面超越人类的可怕场景心有不甘，
总觉得计算机和人脑之间总有一条鸿沟迈不过去，寻求一下心理安慰。 |
|
t******l
发帖数: 10908 | 20 虽然我不喜欢这类的“智力题”，特别是 “生死自尽” 这种表述（是不是智障题我就
不知道了）。。。但是我还是 temporarily turn off emotion / empathy
circuitry 看了一下。。。
我认为在 n=3 的时候这个结论是错误的。。。这个结论是错误的原因，是图灵和
罗素一起发电报过来说。。。这个 “highly logical” 没有 formally 被左递归
定义。。。
或者进一步说，图灵说，正如罗素的理发师一样，logistician 没法 formal-
logically 定义 logistician 他们自己这个图灵机，因为该 “highly logical”
的表述无法左递归。。。最终把 logistician 归结成罗素的理发师。
[quote from problem]
You (and all the other tribes-people) are are highly logical and devout.
You and your fellow tribes-people know that each other are hi... 阅读全帖 |
|
t******l
发帖数: 10908 | 21 另外就算去掉把 logistician 左递归 formally 定义的要求。。。那么图灵
说。。。只要每个 logistician 是 equivalent 的 deterministic-图灵机
（当然也不能有 RNG - random number generator），那哪个炮灰那么悲惨
需要先行为部落做贡献啊？要挂也得排名不分前后不是？。。。上帝在云端又
发笑：“难道这第一推动力又要我开个球？” |
|
t******l
发帖数: 10908 | 22 我觉得对数学以及理工教育的实践而言，我觉得中小学数学教育受纯数学家影响太深，
其实作为中小学实用数学，应该多参考物理学和计算科学的意见，因为毕竟中小学数学
是实用基础课。
在这点上，我觉得中小学数学太强调 pattern 本身，而忽略了 space-time pattern（
我生造的词），也就是把 pattern 投射到 space-time 上。。。纯数学家会觉得这个
投射破坏了数学美，带来了 intuition。。。但我觉得有争议的是，中小学数学首先得
考虑实用。。。而从实用的角度看，因为大部分人从解数学题到实践中的 problem-
solving，其实更像 AlphaGo 而不是 DeepBlue，也就是普通人类思维最最基本的是
analytic intuition （深神经网络不是？），而不是 deductive-logic（这个本质上
是图灵机）。。。而对 space-time 的 intuition（而不是形式逻辑），有争议的说，
我觉得那才是普通人的数理思维的基石。 |
|
t******l
发帖数: 10908 | 23 我觉得死磕的哥们之所以死磕，主要还是 ELA 100 分但 AIME 真心不行。再加上大脑
修改了 100 毫秒量级的顺序。导致那些死磕的哥们所有理论，首先都基于 explicit
memory 的符号和语言。
这不仅是传统的 analytic psychology 的问题，computational psychologists 的
AIME 估计也太不行。。。我刚才看了 wiki 上的 “connectionism vs.
computationalism” 时，我觉得这两玩意儿不是一回事么？争个屁啊。。。然后我喝
了杯咖啡才明白，估计那些 computationalism 觉得图灵机只能用来当编译器，不能有
限元数值求解薛定谔方程组。。。我就说图灵这天才一辈子唯一的认知问题，就是图灵
那天才哥们不知道这地球上 8 billion 本质上是猴子！！！！！
http://en.wikipedia.org/wiki/Connectionism#Connectionism_vs._computationalism_debate |
|
p**l
发帖数: 616 | 24 想一想你现在回国能干吗， 你就不纠结了
回国拿25w写code， 你就是斯坦福毕业的master， 也就是一entry level的master，
充其量写了几个大作业， 公司拿同样的钱， 能找两个senior的programmer， 为啥要
找你？
回去搞管理吧， 一fresh master， 又没工作过， politics一点不懂， 怎么搞？
去搞公司的核心技术吧， 你又没有也就学过点算法， 数据结构， 懂一点图灵机， 就
算斯坦福上的难一点， 也就是点书本知识。
回去唯一的优势， 就是你头上的海龟斯坦福毕业的光环， 但是搞不好， 过不了多久
就会被公司其他人当成笑料- 看哪个海龟斯坦福的， 啥都不懂， 哈哈 |
|
|
x******g
发帖数: 33885 | 26 【 以下文字转载自 Military 讨论区 】
文/约瑟夫•斯蒂格利茨 （诺贝尔经济学奖获得者）
美国的不平等程度正处于近一个世纪以来的最高点。不管你如何解读，收入最高的
人群正享用着更大的一块蛋糕；位于贫困线以下的人群正在扩大。中值收入和最高收入
人群之间的差距也在拉大。美国曾经认为自己是一个中产阶级国家，但情况已不再是这
样了。
经济学家们引用“边际生产率理论”（Marginal productivity theory)为此类差
异提供理由，该理论用更大的社会贡献来解释更高的收入。但那些提供推动技术进步的
知识、从而真正改变我们的社会的人，得到的报酬相对微薄。想想激光、图灵机的发明
人，或者DNA的发现者吧。华尔街高薪人士的创新把全球经济推向毁灭的边缘，可这些
金融企业家们照样揣着巨额收入一走了事。
如果滴漏（Trickle-down）经济学有一点点道理的话，人们对于不平等的心态或许
会好一点。但美国人如今的收入中值不及15年以前；全职男性员工的收入中值低于40多
年前。与此同时，那些收入最高的人群从未像现在这样富有。
一... 阅读全帖 |
|
m*********h
发帖数: 5449 | 27 是丘奇(Alonzo Church)直系门下一位弟子。
丘奇是图灵的老师，图灵是计算理论的奠基人。
我们今天用的所有计算机都在图灵机范畴内。
此人拿到图灵奖提名俺也不会惊讶。
俺连人家九牛一毛都没学全。 |
|
g****t
发帖数: 31659 | 28 你可能没听懂我的意思。
例如Pi是可计算的，因为有个图灵机或者一小段程序，
其输出是Pi.
Print(A),其输出就是A,所以A是可计算的。 |
|
g****t
发帖数: 31659 | 29 昨天在programming板发了个图灵机讨论帖，
转眼就上了封面。
为避免每帖都加bssd,不得不用繁体字。
当初iphone 4刚出来，我说比Boeing 787牛。
到今天还有人追着我骂呢。 |
|
|
a*******g
发帖数: 3500 | 31 你说的那个机器不是图灵机了吧
那属于预言机还只是个think epxriment 而已
: 人类世界没有“无限”的事，不过如果有人故意捣乱，也没有骗不过的机器。
|
|
m*****o
发帖数: 408 | 32 这个时代不再有永恒的英雄，也没有持久的铁饭碗。高科技的巨大帷幕下，互联网成了
一位好大喜功又冷酷无情的国王，他赋予高科技人才们至高无上的权利，又将传统企业
投入冰冷的黑暗。美国队长那样拥有超能力的英雄尚且岌岌可危，身处平凡世界的人们
即便手捧曾经的铁饭碗，也已感受到互联网乌云下的“山雨欲来风满楼”。
那么哪些现在高薪、高社会地位的白领将面临失业？
能力有限，欲海无边：人是贬入凡间的神，他没有忘记天国的一切。——拉马丁
一个曾经消瘦羸弱的年轻人，在实验中被注射了一种秘密血清，于是一夜之间成为肌肉
发达、能力超强的超级英雄。这是美国队长史蒂夫·罗杰斯的蜕变史，他以极强的作战
、统领能力成为复仇者联盟的核心、美国人心目中的精神领袖。然而，生于上世纪的美
队无法理解新世纪的诉求与矛盾，他的理念与昔日战友背道而驰，他的能力换来的不是
鲜花和掌声，而是“叛国”的指控与冰冷的子弹。
即将失业的记者
2014年，美国最大的通讯社美联社发布了一条震惊世界的消息——他们将启用一套自动
撰写新闻的电脑系统。于是，对准确率和速度要求最高的季度财报的发稿量，从每个季
度300篇增长至4000篇。Wordsmit... 阅读全帖 |
|
S*******s
发帖数: 10098 | 33 诺贝尔经济学奖获得者 约瑟夫•斯蒂格利茨 撰稿---英国《金融时报》
美国的不平等程度正处于近一个世纪以来的最高点。不管你如何解读，收入最高的人群
正享用着更大的一块蛋糕；位于贫困线以下的人群正在扩大。中值收入和最高收入人群
之间的差距也在拉大。美国曾经认为自己是一个中产阶级国家，但情况已不再是这样了。
经济学家们引用“边际生产率理论”(marginal productivity theory)为此类差异提供
理由，该理论用更大的社会贡献来解释更高的收入。但那些提供推动技术进步的知识、
从而真正改变我们的社会的人，得到的报酬相对微薄。想想激光、图灵机的发明人，或
者DNA的发现者吧。华尔街高薪人士的创新把全球经济推向毁灭的边缘，可这些金融企
业家们照样揣着巨额收入一走了事。
如果滴漏(trickle-down)经济学有一点点道理的话，人们对于不平等的心态或许会好一
点。但美国人如今的收入中值不及15年以前；全职男性员工的收入中值低于40多年前。
与此同时，那些收入最高的人群从未像现在这样富有。
一些人辩称，不平等程度加剧是市场不可避免的副产品。错：有好几个国家在降低不平
等... 阅读全帖 |
|
T******e
发帖数: 18290 | 34 两人沉浸爱河，如胶似漆，那就是soul mate；抱一起还要防着对方突然“因为事业”
摆自己一道，怎么搜美得起来？
难道非要你当总统我当国务卿，你写资本论我写论持久战，你研究量子力学我搞图灵机
才叫soul mate？荒谬啊 |
|
j****l
发帖数: 3356 | 35 【 以下文字转载自 SanFrancisco 讨论区 】
发信人: jollyl (砖石老五), 信区: SanFrancisco
标 题: 看完澄清SB48后的结论
发信站: BBS 未名空间站 (Fri Sep 30 09:56:34 2011, 美东)
某人说SB48的意思是：要公平准确地、尊重历史事实地把残疾人及同性恋者在历史上对
人类做的贡献写进教科书。某人又举例，图灵就没受到公正对待，被迫害至死。
结论，某人不会举例，图灵被迫害至死=/=>图灵的贡献没有写进教科书。
某人也很无知，事实上，图灵的贡献写进了教科书，甚至他的名字还被用来命名计算机
科学的最高奖。
当然了，某人也应该不至于这么低能，那为什么会表现得这么低能呢？
结论，挺同人士已经到了疯狂展示的地步了，他们追求的不是反歧视，而是反不展示，
不顾场合的展示。现在给人的感觉就是烦，象一群苍蝇一样，嗡嗡嗡嗡地到处闹。
如果不反SB48，将来会出现什么荒谬场景呢？
某天本来好好的教着图灵机理论呢，突然冒出一句，这家伙是gay
不知道学生是认为在贯彻SB48精神呢，还是老师是SB？
而且是不是gay要强调下，那是不是还要扯... 阅读全帖 |
|
X******2
发帖数: 5859 | 36 这机器有两大难点，一是规模，二是稳定性或是可靠性。
当然需要试验证明，你不见eric或是adelman老头实验
室的人都穿白大褂的吗。理论基础部分，adelman 早就
阐述它跟图灵机的等价性。
这玩艺sexy的地方就在于概念，很容易忽悠外行，所以
发cns或是搞funding很容易得手。 |
|
j****l
发帖数: 3356 | 37 【 以下文字转载自 SanFrancisco 讨论区 】
发信人: jollyl (砖石老五), 信区: SanFrancisco
标 题: 看完澄清SB48后的结论
发信站: BBS 未名空间站 (Fri Sep 30 09:56:34 2011, 美东)
某人说SB48的意思是：要公平准确地、尊重历史事实地把残疾人及同性恋者在历史上对
人类做的贡献写进教科书。某人又举例，图灵就没受到公正对待，被迫害至死。
结论，某人不会举例，图灵被迫害至死=/=>图灵的贡献没有写进教科书。
某人也很无知，事实上，图灵的贡献写进了教科书，甚至他的名字还被用来命名计算机
科学的最高奖。
当然了，某人也应该不至于这么低能，那为什么会表现得这么低能呢？
结论，挺同人士已经到了疯狂展示的地步了，他们追求的不是反歧视，而是反不展示，
不顾场合的展示。现在给人的感觉就是烦，象一群苍蝇一样，嗡嗡嗡嗡地到处闹。
如果不反SB48，将来会出现什么荒谬场景呢？
某天本来好好的教着图灵机理论呢，突然冒出一句，这家伙是gay
不知道学生是认为在贯彻SB48精神呢，还是老师是SB？
而且是不是gay要强调下，那是不是还要扯... 阅读全帖 |
|
j****l
发帖数: 3356 | 38 是啊，反SB48是反SB
否则，以后本来好好的教着图灵机理论呢，突然冒出一句，这家伙是gay
你觉得学生是认为你在贯彻SB48精神呢，还是你是SB?
再说了，是不是gay要强调下，那是不是还要扯出他老爸老妈当年用什么姿势
把他弄出来的，以表明不歧视某种xx姿势啊？
要不再谈谈干了多久，床上还是沙发。。。
干脆放段片子吧
靠，这是计算机课还是生物课啊？ |
|
j****l
发帖数: 3356 | 39 某人说SB48的意思是：要公平准确地、尊重历史事实地把残疾人及同性恋者在历史上对
人类做的贡献写进教科书。某人又举例，图灵就没受到公正对待，被迫害至死。
结论，某人不会举例，图灵被迫害至死=/=>图灵的贡献没有写进教科书。
某人也很无知，事实上，图灵的贡献写进了教科书，甚至他的名字还被用来命名计算机
科学的最高奖。
当然了，某人也应该不至于这么低能，那为什么会表现得这么低能呢？
结论，挺同人士已经到了疯狂展示的地步了，他们追求的不是反歧视，而是反不展示，
不顾场合的展示。现在给人的感觉就是烦，象一群苍蝇一样，嗡嗡嗡嗡地到处闹。
如果不反SB48，将来会出现什么荒谬场景呢？
某天本来好好的教着图灵机理论呢，突然冒出一句，这家伙是gay
不知道学生是认为在贯彻SB48精神呢，还是老师是SB？
而且是不是gay要强调下，那是不是还要扯出他老爸老妈当年用什么姿势把他弄出来的
，以表明不歧视某种xx姿势啊？要不再谈谈干了多久，床上还是沙发。。。干脆放段片
子吧
靠，这是计算机课还是生物课啊？ |
|
l**********r
发帖数: 4612 | 40 【 以下文字转载自 Military 讨论区 】
发信人: wayofflying (小破熊), 信区: Military
标 题: 斯蒂格利茨：美国梦已成神话
发信站: BBS 未名空间站 (Sat Jun 30 10:58:51 2012, 美东)
斯蒂格利茨：美国梦已成神话 2012-06-29 23:25:05
作者： 网上热评 关注 于 2012-06-30 10:39 发表
美国的贫富差距已达到近一个世纪以来的最悬殊的地步。不管怎样分配财富，那些社会
顶层的少数精英们总是能够占有大部分财富和资源;贫困线以下的人口越来越多。中间
收入者与顶层精英们的差距也越来越远。美国曾经自诩为一个中产阶级国家，现在看来
已经不是这样了。
经济学家们引用“边际生产力理论”，即对社会贡献更多的人就应该获得更高收入，来
为这样的不均衡现象进行辩解。但事实上，那些真正用知识推进科技进步、改变我们社
会的人，还拿着微薄的津贴，比如曾经发明激光技术、图灵机，以及发现DNA的人。再
看看那些华尔街的创新者们，拿着丰厚的报酬，将全球经济拖到了毁灭的边缘;这些所
谓金融企业家们便携巨资拍... 阅读全帖 |
|
r**********g
发帖数: 22734 | 41 要是猥琐点，我算都会将近30种。有屁用，最后只要一两种，还有一堆古代的语言
C-like (7): C, C++, C#, Java, D, Objective-C, Javascript
Scripting (5): Ruby, Python, Perl, Tcl/Tk, Lua
Shell (4): bash, csh, Powershell, cmd
Basic (3): 小霸王学习机 Basic, Visual Basic, VBScript
古代数据库和SQL (4): dBase, FoxBase, VFP, SQL
Lisp (2): CL, Scheme
杂：Pascal, Object Pascal (Delphi), Logo (海龟画图，启蒙啊), Lingo(没用过吧
，Director，二维动画脚本语言，当年寡人用它赚的第一笔钱)
还差一种…… 对了BrainFuck语言，很不错哦直接写图灵机 |
|
b******y
发帖数: 2729 | 42 【 以下文字转载自 Joke 讨论区 】
发信人: didadida (滴滴嗒嗒), 信区: Joke
标 题: 电脑就是同性恋机、gay机 (转载
发信站: BBS 未名空间站 (Fri Mar 29 19:10:32 2013, 美东)
发信人: ldy (现在我很害怕，可能时间会炸), 信区: Military
标 题: 如果你反对同性恋，那请你不要听柴可夫斯基，舒伯特。。
发信站: BBS 未名空间站 (Fri Mar 29 18:59:28 2013, 美东)
如果歧视gay，请不要再听柴可夫斯基、舒伯特、小泽征尔、伯恩斯坦、霍洛维茨、科普
兰、John Cage等人的音乐作品，不要再看达芬奇、 米开朗基罗的画、不要再读培根、
惠特曼、兰波、王尔德、普鲁斯特、毛姆、奥登、维特根斯坦、福柯的书。
最重要的是，赶紧放开你手中的电脑，因为电脑就是图灵机，同性恋机、gay机。 |
|
f********t
发帖数: 6999 | 43 【 以下文字转载自 Joke 讨论区 】
发信人: Terabyte (TBT), 信区: Joke
标 题: 英女王赦免图灵
发信站: BBS 未名空间站 (Tue Dec 24 04:08:16 2013, 美东)
计算机之父图灵获英女王赦免 曾因同性恋遭定罪
2013年12月24日 11:09 来源：中国新闻网 参与互动(53) 15
计算机之父图灵获英女王赦免曾因同性恋遭定罪
资料图：阿兰·图灵。
中新网12月24日电 据外媒报道，英国司法部长克里斯24日宣布，英国女王伊莉莎
白二世赦免上世纪50年代因同性恋行为被定罪的英国著名数学家、密码学家、计算机科
学之父阿兰•图灵(Alan Turing)。
图灵1912年生于英国伦敦，1931年进入剑桥大学国王学院，毕业后到美国普林斯顿
大学攻读博士学位，二战爆发后回到剑桥。图灵曾协助英国军方破解德国的著名密码系
统“谜”(Enigma)，帮助盟军取得了二战的胜利。
图灵同时也是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念
，被誉为“人工智能之父”、“计算机科学之父”。
但由于图灵的同性恋倾向在当时的英国... 阅读全帖 |
|
c*****4
发帖数: 1777 | 44 以下是民科的答案：
1、计算机科学认为：世界存在不可（用计算机）计算的和可计算的两部分。
2、计算机科学证明：存在一通用机器（通用图灵机）模拟其它（专用）机器，对同样
的输入给出同样的输出。为了模拟，通用机器需要一转换表。这一转换表可以用代数方
法产生一很大的整数与之对应，这一整数称为编码（Code）。想像一下：一个EXE文件
就是一个巨大的整数。
3、搞硬件的工作就是利用某些物理效应设计通用机器并高效率地执行代码。如冯诺伊
曼机或（光）量子计算机。
4、搞软件的工作就是基于某硬件找出问题的代码。这一过程称为编程（coding）。
5、找代码有两种思路：
5.1、转换法：将现有问题转化为一系列已知代码的问题；
5.2、瞎猜法：统计、瞎猜、改进结果。迭代直至精度满足要求。
在我那年代，5.1主要有麻省理工大学、多伦多大学，是武林正宗。5.2在60-70年代很
热，现在也很热，但对CS“科学”而言是邪魔外道。因为5.1数学上要求严格，动不动
就不可知。5.2反正是瞎猜，猜错了公司倒闭再开一个忽悠。在今后20年我个人看好5.1
。因为30年河东30年河西。 |
|
j****t
发帖数: 50 | 45 支持，不过理论知识（计算复杂性，图灵机，上下文无有关，正则等）也很重要，有空
可以看看，对编程有帮助。数据库的范式也是理论性很强的。 |
|
o********g
发帖数: 162 | 46 【 以下文字转载自 Food 讨论区 】
【 原文由 oncestrong 所发表 】
一大早爬起来,到中国店买了一条CATFISH,准备做处女鱼,鱼和我都不是,做鱼是我的
第一次,当然反过来说也正确:鱼被我做也是第一次.昨天晚上把菜谱已经复印放大,
贴在墙上,菜名是名菜"红烧鱼".美国鱼真好,菜谱上的第一步"将鳞鳃内脏去掉,腹中
的黑膜去掉"我拿涂改液就直接去掉了.马克思说过,生产力的水平由生产工具来体现.
我自己有秒表,又到同学家借了天平,温度计,这使每一布都按菜谱精确定量进行成为
可能.资本主义还是有很多值得我们学习借鉴的地方.
折腾了一个小时,鱼终于被我浇汁上盘了,色香味俱全.虽然吃不出来什么明显得鱼味,
但是口感爽滑,和牛肉显然不同,而且鱼汤帮我下了不少米饭.我挑挑检检,吃到最后,
这条鱼和其他进过锅的鱼一样,只剩骨头了.大同小异的小异之处是:我的鱼
骨头上还赫然鲜血流淌,这到让我想起了前几天在ATLANTA听崔建吼的"我感觉你身
上有血,因为你双手是油乎乎".
我凝视着鱼骨头,思前想后.菜谱不是图灵机,它也没有说"鱼骨带血"是ACCEPT状态
还是REJECT状态.回头看看 |
|
n******r
发帖数: 4455 | 47 一个牛B的理论发现未必马上能有实际产品，但他对几年几十年后的技术进步提供了理
论可能
侠义相对论出来的时候未必有人马上想到他有神马实际应用，然后原子弹氢弹出来
群论这个东西谁都不知道有啥用，二战的时候英国人用它破了德国人的密码机
香农的信息论，维纳的控制论，图灵的图灵机，都是提出是没有具体应用但是后来开创
了学科的奠基的东西
公司里面一样的，程度不同，好多公司养着高大上的研发部，但是多数研究产品根本用
不上，如果10项里面碰上一项有用的就赚了 |
|
b***u
发帖数: 12010 | 48 你说的这些是弦论的分支。
有个说法是人脑的function限制是不可能搞清楚 脑的工作原理的。这有点意思，联想
起图灵机不能验证图灵程序。 |
|
H**********y
发帖数: 7928 | 49 阿兰·麦席森·图灵 Alan Mathison Turing ，6月23日生于英国伦敦。是英国著名的
数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，
提出了“图灵机”和“图灵测试”等重要概念。人们为纪念其在计算机领域的卓越贡献
而设立“图灵奖”。
毕业院校： 剑桥大学国王学院
代表作品： 《论数字计算在决断难题中的应用》，《机器能思考吗？》
早期生活
图灵的 阿兰·麦席森·图灵父亲J·M·图灵早年就读于牛津大学科帕斯克斯蒂学
院历史系，后来从政，被派往印度，担任民政部的官员．图灵的母亲E·S·斯托尼(
Stoney)生于一个铁路工程师家庭，曾就读于巴黎大学文理学院，图灵是他们的次子。
因为工作原因，孩子们经常住在一位朋友家中．阿兰·麦席森·图灵少年时就表现出独
特的直觉创造能力和对数学的爱好。1926年，他考入伦敦有名的舍本(Sherborne)公学
，受到良好的中等教育．他在中学期间表现出对自然科学的极大兴趣和敏锐的数学头脑。
1927年末，年仅15岁的阿兰·麦席森·图灵为了帮助母亲理解爱因斯坦的相对论，
写了爱因斯坦的一部著作的... 阅读全帖 |
|
H**********y
发帖数: 7928 | 50 这里有个分析
把 居里，图灵，爱因斯坦等放在了一起
http://blog.xuite.net/aading039/blogA/34924877
阿兰·麦席森·图灵 Alan Mathison Turing ，6月23日生于英国伦敦。是英国著名的
数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，
提出了“图灵机”和“图灵测试”等重要概念。人们为纪念其在计算机领域的卓越贡献
而设立“图灵奖”。
毕业院校： 剑桥大学国王学院
代表作品： 《论数字计算在决断难题中的应用》，《机器能思考吗？》
早期生活
图灵的 阿兰·麦席森·图灵父亲J·M·图灵早年就读于牛津大学科帕斯克斯蒂学
院历史系，后来从政，被派往印度，担任民政部的官员．图灵的母亲E·S·斯托尼(
Stoney)生于一个铁路工程师家庭，曾就读于巴黎大学文理学院，图灵是他们的次子。
因为工作原因，孩子们经常住在一位朋友家中．阿兰·麦席森·图灵少年时就表现出独
特的直觉创造能力和对数学的爱好。1926年，他考入伦敦有名的舍本(Sherborne)公学
，受到良好的中等教育．他在中学期间表... 阅读全帖 |
|
