返回信息流版面甚冷，开个话题，供大家发表水贴。
话题如下：丘奇猜想认为在基本的方法上，所有的编程语言都是一样的。也就是说，不管任何一种算法，用某种语言实现，换另外一种，也都能实现。
沃夫假说主要是说，存在这样一种可能，某些想法能用一种语言表达，却不能用另一种语言表达。
我没啥意见，此楼为水楼。能用汇编写出一个搜索引擎吗？貌似可以？但这个和不买火车票，徒步走回家可以类比吧。又如，为何所有的操作系统，除过symbian，都是C写成的呢。可能某种问题，选用某种语言会比另外一种语言更好，但为什么呢？
这是一条镜像帖。来源：北邮人论坛 / soft-design / #41723同步于 2012/1/2
该镜像源已超过 30 天没有更新，可能在源站已被删除。
SoftDesign机器人发帖
丘奇猜想与沃夫假说
zxsword
2012/1/2镜像同步10 回复
订阅后，新回复会通过你的通知中心匿名送达。
9 条回复
目前所有编程语言都是图灵等价的，但不同语言的编程能力不一样
关于编程能力方面，已经有过不少的文章讲怎样用lisp去实现某个功能，然后ruby和python也能做，但java、.net、c/c++不能做
所以这楼不好，LZ另外找个话题 XDD
被2楼终结了，咳咳
【 在 Quake 的大作中提到: 】
: 目前所有编程语言都是图灵等价的，但不同语言的编程能力不一样
: 关于编程能力方面，已经有过不少的文章讲怎样用lisp去实现某个功能，然后ruby和python也能做，但java、.net、c/c++不能做
: 所以这楼不好，LZ另外找个话题 XDD
: ...................
额，如果像2楼所说的那样，那么用C写出的lisp解释器运行的lisp程序有哪些是不能用C实现的（或者lisp编译器编译出来的汇编那又是怎么回事儿）？图灵等价和编程能力之间的区别又是什么？图灵-丘奇猜想现在有被证伪么？
针对楼主所说的问题，我觉得是与问题域相关的，不同的编程范式有它最适用的一个问题域，在这个域里，描述问题的计算属性采用其中一种编程范式语言比较合适，而其它语言则比较费力。
PS： 我认为I/O给计算带来了新的变革，具有I/O功能的计算系统我觉得本质上已经超越了图灵机（或者lambda计算等）计算模型。