1707610919
世界因何美妙而优雅地运行 140TINBERGEN’S QUESTIONS廷贝亨的提问
1707610920
1707610921
艾琳·佩珀伯格（Irene Pepperberg）
1707610922
1707610923
哈佛大学心理学系研究助理兼讲师，著有《亚历克斯与我》（Alex & Me）。
1707610924
1707610925
为 什么我们和其他的生物会产生行为？其答案其实并不存在。恰恰由于这个原因，我才选择在此讨论行为学家和鸟类学家尼古拉斯·廷贝亨（Nikolaas Tinbergen）的问题，因为有时候并不存在深邃、美妙又优雅的阐释。廷贝亨践行着“授人以鱼，不如授人以渔”的理念，他并没有试图提供一个大而全的解释，而是为我们观察到的个别行为模式提供一个支架，让我们自己去构建答案。这个支架，不仅能够用于让廷贝亨成名的行为学典范，也可以用于任何领域任何行为的形式。廷贝亨言简意赅地发问道：
1707610926
1707610927
◎ 机制是什么？它是如何运转的？
1707610928
1707610929
◎ 个体发育是什么？我们如何随着时间来观察它的发展？
1707610930
1707610931
◎ 它的功能是什么？所有可能的原因是什么？
1707610932
1707610933
◎ 它源自何物？从它可以发展出哪些方面？
1707610934
1707610935
当我们试图回答这些问题时，我们至少得去思考关于基因和环境的相互作用，关于其背后的过程，包括神经解剖学、神经生理学、荷尔蒙等，关于其诱发和时机当中有什么优缺点是平衡的，以及随着时间的推移会如何改变。
1707610936
1707610937
此外，不像大多数“最为心仪”的解释会被淘汰那样，廷贝亨的问题经久不衰。回答他的问题往往反映当前科学界的时代精神，当有新的补充知识之后，答案也会发生改变。无论我们的研究领域是什么，每当另一组数据出现在我们的范围内，廷贝亨的问题就会挑战我们，使我们重新思考基本假设。我们人类对美雅并臻的回答的痴迷，让我想到英国作家道格拉斯·亚当斯（Doug Adams）的追求：我们或许能发现“42”，但除非我们知道如何提出恰如其分的问题，否则答案并无意义。
1707610938
1707610939
1707610940
1707610941
1707610943
世界因何美妙而优雅地运行 141THE UNIVERSAL TURING MACHINE通用图灵机
1707610944
1707610945
格洛丽亚·奥里吉（Gloria Origgi）
1707610946
1707610947
法国国家科研中心琼·尼科德（Jean Nicod）研究所哲学家。
1707610948
1707610949
“天 地之大，万物生长，远非你的智慧所能想象。”哈姆雷特跟他的朋友霍雷肖如是说道。他以如此优雅的方式一语道破了我们生活中所有无法解决、无法处理的棘手问题。一个历来最美妙的证明最终却总会得到同样令人感到悲哀的结论：有些数学难题根本无法解决。
1707610950
1707610951
1936年，英国数学家阿兰·图灵构思了有史以来最为简洁和优雅的计算机，它是一种这样的设备，如他后来于1948年的论文《智能机》所描述的：
1707610952
1707610953
把无限长的胶带区分成许多方格的式样，将其作为无穷的存储空间，每个方格都印上符号。任何时候，机器里只会读取到其中一个符号，该符号被称为扫描符。该机器可以更改被扫描到的符号，机器的这个行为部分由那个扫描符来决定，但胶带上的其他符号不会影响机器的行为。胶带可以在机器里前进或后退，而这是机器的基本操作之一。
1707610954
1707610955
利用一个天才的心智，构思出一台抽象的机器，从而解决了一个曾经无法解决的决策难题。即对于每个理论的逻辑公式，是否有可能在有限的步骤内，来判定这个公式在该理论中是否有效？然而图灵指出没有这个可能性。决策问题或可判定性问题，已被数学家所熟知：1900年，在达维德·希尔伯特（David Hilbert）所列出的数学界的未解答问题列表中，决策问题排名第10位，并由此决策问题进入了20世纪大多数数学研究的日程表。其核心问题是，在有限步骤内，是否真的能够通过机械化过程来决定公式的有效性，或决定一个函数是否可以计算。于是图灵开始反问自己：“机械化过程是何含义？”而他的回答是，机械化过程就是一个可以通过机器实现的过程。这个答案非常显而易见，不是吗？
1707610956
1707610957
接着，图灵为每个初阶逻辑的可能公式，以及每个可能的自然数的递归函数设计出了一台机器。他是在哥德尔的不完整定理中，在初阶逻辑的公式集合和自然数的递归函数集合之间证明的逻辑等价性的基础上才完成的。而且，依据图灵的简单定义，我们确实可以在每个胶带上写下一串0和1来描述某个函数，然后给机器一张简单的指令列表（向左移动，向右移动，停止），以此让机器写下函数的证明，然后停止。
1707610958
1707610959
这就是他的通用图灵机。所谓通用，是因为它可以采取任何可能的字符串作为输入的符号来描述函数，并将其作为输出示范。但如果你在通用图灵机输入它对自己的描述，机器就不会停止，机器会无限地生成0和1。如此这般，所有计算机之母、数字时代的灵魂，其设计的目的都是，万物并非都能够简化为图灵机。天地之大，万物生长，远非我们的智慧所能想象。
1707610960
1707610961
1707610962
1707610963
1707610965
世界因何美妙而优雅地运行 142A MATTER OF POETICS诗歌的问题
1707610966
1707610967
理查德·福尔曼（Richard Foreman）
[
上一页 ]
[ :1.707610918e+09 ]
[
下一页 ]