为什么电脑不能自己写代码？ (转载) - 未名空间MITBBS历史存档

为什么电脑不能自己写代码？ (转载)# Programming - 葵花宝典

d*s2017-02-25 08:02

1 楼

【以下文字转载自 Tiger_Mom_Direct 俱乐部】
发信人: doglovers (家有乐乐), 信区: Tiger_Mom_Direct
标题: 【咨询】中信代签
发信站: BBS 未名空间站 (Tue Jul 31 11:09:33 2012, 美东)
就带ds160的确认页就行了吧？不用带ds160的表格。还需要带辅助材料么，比如房照
，户口本，银行卡之类的。

t*x2017-02-25 08:02

2 楼

【以下文字转载自 SanFrancisco 讨论区】
发信人: tomatofx (fxfx), 信区: SanFrancisco
标题: 全职转半职 Part-time employee or contractor
发信站: BBS 未名空间站 (Fri Jul 25 13:57:44 2014, 美东)
请问一下，本来是full time的转成part time的，是作为part-time employee好还是作
为hourly contractor好
应该都是没有PTO没有保险了, 工资应该是原来的多少比较合理？

h*i2017-02-25 08:02

3 楼

【以下文字转载自 Military 讨论区】
发信人: woaibainiu (), 信区: Military
标题: 为什么电脑不能自己写代码？
发信站: BBS 未名空间站 (Sat Feb 25 11:56:26 2017, 美东)
现在人工智能阿法狗那么牛逼，为什么不能写马自动化？

h*o2017-02-25 08:02

4 楼

项目不公开而已

a*o2017-02-25 08:02

5 楼

哥德尔的不完备性定理。
简单一点讲，就是从根本上，电脑不能判断代码写的对不对。

【在 h*********i 的大作中提到】

: 【以下文字转载自 Military 讨论区】
: 发信人: woaibainiu (), 信区: Military
: 标题: 为什么电脑不能自己写代码？
: 发信站: BBS 未名空间站 (Sat Feb 25 11:56:26 2017, 美东)
: 现在人工智能阿法狗那么牛逼，为什么不能写马自动化？

f*t2017-02-25 08:02

6 楼

人也不能啊

【在 a****o 的大作中提到】

: 哥德尔的不完备性定理。
: 简单一点讲，就是从根本上，电脑不能判断代码写的对不对。

x*u2017-02-25 08:02

7 楼

因为今天搞dl不用这么高级的功能就很挣钱了

【在 h*********i 的大作中提到】

: 【以下文字转载自 Military 讨论区】
: 发信人: woaibainiu (), 信区: Military
: 标题: 为什么电脑不能自己写代码？
: 发信站: BBS 未名空间站 (Sat Feb 25 11:56:26 2017, 美东)
: 现在人工智能阿法狗那么牛逼，为什么不能写马自动化？

x*u2017-02-25 08:02

8 楼

你这个理解不对啊
明明是图灵停机问题，而且深度学习显然不是图灵机模型啊

【在 a****o 的大作中提到】

: 哥德尔的不完备性定理。
: 简单一点讲，就是从根本上，电脑不能判断代码写的对不对。

W*o2017-02-25 08:02

9 楼

电脑其实啥都不会做，你如果不告诉它怎么做，它就是一堆废物。

w*s2017-02-25 08:02

10 楼

大牛，假如告诉AI它的目标是永生，
给它摄像头，压力sensor,温度sensor,...
它需要发明工具来探索这个世界，
比如根据抛苹果来理解物理，
探索地球发现水，火，风以及不同元素，
你觉得它会进化吗？

【在 W***o 的大作中提到】

: 电脑其实啥都不会做，你如果不告诉它怎么做，它就是一堆废物。

W*o2017-02-25 08:02

11 楼

你比 God 都牛
人都做不到的事，AI怎么能做成？

【在 w*s 的大作中提到】

: 大牛，假如告诉AI它的目标是永生，
: 给它摄像头，压力sensor,温度sensor,...
: 它需要发明工具来探索这个世界，
: 比如根据抛苹果来理解物理，
: 探索地球发现水，火，风以及不同元素，
: 你觉得它会进化吗？

w*s2017-02-25 08:02

12 楼

人永生靠细胞，机器人永生换零件，难度不一样。
当然不排除将来细胞器官可以换，我不懂生物。

你比 God 都牛

【在 W***o 的大作中提到】

: 你比 God 都牛
: 人都做不到的事，AI怎么能做成？

a*o2017-02-25 08:02

13 楼

任何有计算机实现的程序，都要受到图灵停机问题的限制。深度学习也不例外。
打个比方，深度学习用筛法来证明歌德巴赫猜想，也许真的证明出1+1=2，但是计算机
本身可能无法自己检查自己的证明是不是正确。

【在 x****u 的大作中提到】

: 你这个理解不对啊
: 明明是图灵停机问题，而且深度学习显然不是图灵机模型啊

x*u2017-02-25 08:02

14 楼

尽信书不如无书啊
图灵停机的前提是确定性，现在大规模神经网络训练基本都满足不了。为了提高效率，
分布运算都会放弃严格确定性。

【在 a****o 的大作中提到】

: 任何有计算机实现的程序，都要受到图灵停机问题的限制。深度学习也不例外。
: 打个比方，深度学习用筛法来证明歌德巴赫猜想，也许真的证明出1+1=2，但是计算机
: 本身可能无法自己检查自己的证明是不是正确。

a*o2017-02-25 08:02

15 楼

放弃严格确定性可以避免死循环，但是仍不能证明计算机自己的对错，所以说对于深度
学习来说，也受到不完备性的限制。

【在 x****u 的大作中提到】

: 尽信书不如无书啊
: 图灵停机的前提是确定性，现在大规模神经网络训练基本都满足不了。为了提高效率，
: 分布运算都会放弃严格确定性。

x*u2017-02-25 08:02

16 楼

只要有非确定性，任何事情都可能发生

率，

【在 a****o 的大作中提到】

: 放弃严格确定性可以避免死循环，但是仍不能证明计算机自己的对错，所以说对于深度
: 学习来说，也受到不完备性的限制。

w*m2017-02-25 08:02

17 楼

假设有一天，出现了会写程序的牛逼AI。
然后来了个有钱的傻逼老板，想写程序。
问题是，牛逼AI怎么才能知道傻逼老板有什么奇葩想法了？
于是，要有个马仔，帮忙把老板的想法整理一下，然后告诉AI。与AI沟通的方法可以是
说话，跳舞，或者打键盘。
这个马仔就叫程序员。他跟AI沟通的方法叫程序语言。
所以程序员这个职业是不会消失的。

a*o2017-02-25 08:02

18 楼

对。

【在 x****u 的大作中提到】

: 只要有非确定性，任何事情都可能发生
:
: 率，

l*02017-02-25 08:02

19 楼

人类语言的不确定性和程序语言确定性之间的分歧很难解决，如果通过另一种确定性的
高级语言来解决，其实我们已经解决了一部分，java->中间语言->jit->native code。
无非将来在java的前头再多加另一层确定性的高级语言，不过这种代码性能肯定成问题
，到时候需要调优员，代码生成器维护者，一般人也干不了，还是程序员。

v*e2017-02-25 08:02

20 楼

你这是瞎扯蛋。第一个AI是会说话的AI。傻逼老板直接和AI说话，说我要这样这样做。
AI说好。就这样。

【在 w********m 的大作中提到】

: 假设有一天，出现了会写程序的牛逼AI。
: 然后来了个有钱的傻逼老板，想写程序。
: 问题是，牛逼AI怎么才能知道傻逼老板有什么奇葩想法了？
: 于是，要有个马仔，帮忙把老板的想法整理一下，然后告诉AI。与AI沟通的方法可以是
: 说话，跳舞，或者打键盘。
: 这个马仔就叫程序员。他跟AI沟通的方法叫程序语言。
: 所以程序员这个职业是不会消失的。

h*i2017-02-25 08:02

21 楼

【以下文字转载自 Military 讨论区】
发信人: woaibainiu (), 信区: Military
标题: 为什么电脑不能自己写代码？
发信站: BBS 未名空间站 (Sat Feb 25 11:56:26 2017, 美东)
现在人工智能阿法狗那么牛逼，为什么不能写马自动化？

h*o2017-02-25 08:02

22 楼

项目不公开而已

a*o2017-02-25 08:02

23 楼

哥德尔的不完备性定理。
简单一点讲，就是从根本上，电脑不能判断代码写的对不对。

【在 h*********i 的大作中提到】

: 【以下文字转载自 Military 讨论区】
: 发信人: woaibainiu (), 信区: Military
: 标题: 为什么电脑不能自己写代码？
: 发信站: BBS 未名空间站 (Sat Feb 25 11:56:26 2017, 美东)
: 现在人工智能阿法狗那么牛逼，为什么不能写马自动化？

f*t2017-02-25 08:02

24 楼

人也不能啊

【在 a****o 的大作中提到】

: 哥德尔的不完备性定理。
: 简单一点讲，就是从根本上，电脑不能判断代码写的对不对。

x*u2017-02-25 08:02

25 楼

因为今天搞dl不用这么高级的功能就很挣钱了

【在 h*********i 的大作中提到】

: 【以下文字转载自 Military 讨论区】
: 发信人: woaibainiu (), 信区: Military
: 标题: 为什么电脑不能自己写代码？
: 发信站: BBS 未名空间站 (Sat Feb 25 11:56:26 2017, 美东)
: 现在人工智能阿法狗那么牛逼，为什么不能写马自动化？

x*u2017-02-25 08:02

26 楼

你这个理解不对啊
明明是图灵停机问题，而且深度学习显然不是图灵机模型啊

【在 a****o 的大作中提到】

: 哥德尔的不完备性定理。
: 简单一点讲，就是从根本上，电脑不能判断代码写的对不对。

W*o2017-02-25 08:02

27 楼

电脑其实啥都不会做，你如果不告诉它怎么做，它就是一堆废物。

w*s2017-02-25 08:02

28 楼

大牛，假如告诉AI它的目标是永生，
给它摄像头，压力sensor,温度sensor,...
它需要发明工具来探索这个世界，
比如根据抛苹果来理解物理，
探索地球发现水，火，风以及不同元素，
你觉得它会进化吗？

【在 W***o 的大作中提到】

: 电脑其实啥都不会做，你如果不告诉它怎么做，它就是一堆废物。

W*o2017-02-25 08:02

29 楼

你比 God 都牛
人都做不到的事，AI怎么能做成？

【在 w*s 的大作中提到】

: 大牛，假如告诉AI它的目标是永生，
: 给它摄像头，压力sensor,温度sensor,...
: 它需要发明工具来探索这个世界，
: 比如根据抛苹果来理解物理，
: 探索地球发现水，火，风以及不同元素，
: 你觉得它会进化吗？

w*s2017-02-25 08:02

30 楼

人永生靠细胞，机器人永生换零件，难度不一样。
当然不排除将来细胞器官可以换，我不懂生物。

你比 God 都牛

【在 W***o 的大作中提到】

: 你比 God 都牛
: 人都做不到的事，AI怎么能做成？

a*o2017-02-25 08:02

31 楼

任何有计算机实现的程序，都要受到图灵停机问题的限制。深度学习也不例外。
打个比方，深度学习用筛法来证明歌德巴赫猜想，也许真的证明出1+1=2，但是计算机
本身可能无法自己检查自己的证明是不是正确。

【在 x****u 的大作中提到】

: 你这个理解不对啊
: 明明是图灵停机问题，而且深度学习显然不是图灵机模型啊

x*u2017-02-25 08:02

32 楼

尽信书不如无书啊
图灵停机的前提是确定性，现在大规模神经网络训练基本都满足不了。为了提高效率，
分布运算都会放弃严格确定性。

【在 a****o 的大作中提到】

: 任何有计算机实现的程序，都要受到图灵停机问题的限制。深度学习也不例外。
: 打个比方，深度学习用筛法来证明歌德巴赫猜想，也许真的证明出1+1=2，但是计算机
: 本身可能无法自己检查自己的证明是不是正确。

a*o2017-02-25 08:02

33 楼

放弃严格确定性可以避免死循环，但是仍不能证明计算机自己的对错，所以说对于深度
学习来说，也受到不完备性的限制。

【在 x****u 的大作中提到】

: 尽信书不如无书啊
: 图灵停机的前提是确定性，现在大规模神经网络训练基本都满足不了。为了提高效率，
: 分布运算都会放弃严格确定性。

x*u2017-02-25 08:02

34 楼

只要有非确定性，任何事情都可能发生

率，

【在 a****o 的大作中提到】

: 放弃严格确定性可以避免死循环，但是仍不能证明计算机自己的对错，所以说对于深度
: 学习来说，也受到不完备性的限制。

w*m2017-02-25 08:02

35 楼

假设有一天，出现了会写程序的牛逼AI。
然后来了个有钱的傻逼老板，想写程序。
问题是，牛逼AI怎么才能知道傻逼老板有什么奇葩想法了？
于是，要有个马仔，帮忙把老板的想法整理一下，然后告诉AI。与AI沟通的方法可以是
说话，跳舞，或者打键盘。
这个马仔就叫程序员。他跟AI沟通的方法叫程序语言。
所以程序员这个职业是不会消失的。

a*o2017-02-25 08:02

36 楼

对。

【在 x****u 的大作中提到】

: 只要有非确定性，任何事情都可能发生
:
: 率，

l*02017-02-25 08:02

37 楼

人类语言的不确定性和程序语言确定性之间的分歧很难解决，如果通过另一种确定性的
高级语言来解决，其实我们已经解决了一部分，java->中间语言->jit->native code。
无非将来在java的前头再多加另一层确定性的高级语言，不过这种代码性能肯定成问题
，到时候需要调优员，代码生成器维护者，一般人也干不了，还是程序员。

v*e2017-02-25 08:02

38 楼

你这是瞎扯蛋。第一个AI是会说话的AI。傻逼老板直接和AI说话，说我要这样这样做。
AI说好。就这样。

【在 w********m 的大作中提到】

: 假设有一天，出现了会写程序的牛逼AI。
: 然后来了个有钱的傻逼老板，想写程序。
: 问题是，牛逼AI怎么才能知道傻逼老板有什么奇葩想法了？
: 于是，要有个马仔，帮忙把老板的想法整理一下，然后告诉AI。与AI沟通的方法可以是
: 说话，跳舞，或者打键盘。
: 这个马仔就叫程序员。他跟AI沟通的方法叫程序语言。
: 所以程序员这个职业是不会消失的。

m*s2017-02-25 08:02

39 楼

当然可以了。

【在 h*********i 的大作中提到】

: 【以下文字转载自 Military 讨论区】
: 发信人: woaibainiu (), 信区: Military
: 标题: 为什么电脑不能自己写代码？
: 发信站: BBS 未名空间站 (Sat Feb 25 11:56:26 2017, 美东)
: 现在人工智能阿法狗那么牛逼，为什么不能写马自动化？

c*92017-02-25 08:02

40 楼

现在可以写几句简单的。

【在 h*********i 的大作中提到】

: 【以下文字转载自 Military 讨论区】
: 发信人: woaibainiu (), 信区: Military
: 标题: 为什么电脑不能自己写代码？
: 发信站: BBS 未名空间站 (Sat Feb 25 11:56:26 2017, 美东)
: 现在人工智能阿法狗那么牛逼，为什么不能写马自动化？