智力与编译器 - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Programming - 葵花宝典

智力与编译器

智力与编译器# Programming - 葵花宝典

I*82019-03-23 07:03

1 楼

http://www.mitbbs.com/article_t/EB23/31516755.html

d*j2019-03-23 07:03

2 楼

【以下文字转载自 ebiz 讨论区】
发信人: djmj (We do our best), 信区: ebiz
标题: 懂行的神医给说说
发信站: BBS 未名空间站 (Mon May 23 17:44:04 2011, 美东)
卖了一个全新未开封的i5-2500k的cpu出去。今天收到如下来信。
Hello dear,
I need your urgent help.
Received the processor today and opened it for a quick inspection.
I immediately noticed some of the pins weren't normal.
I put the processor on my board and it did no boot up,i tried the i5
2500(non K) of my friend and everything was normal.
I have pictures if you need them,please tell me your email address to send
the pictures and let me know what you think。
i5-2500k不是没针脚的吗？这个是摆明过来骗的吧。大家能够说说该怎么办吗？

j*w2019-03-23 07:03

3 楼

如果智力和编译器之间有某种类比关系的话：
编译器是可以 bootstrap 的，意思是，你可以从机器语言来写一个汇编语言的编译器
，然后用这个汇编语言的编译器写一个基本的 C 语言的编译器，再用它写下一个版本
的 C 编译器，一直下去...
那么根据一些人的想法，智力也是可以 bootstrap 的，一个基本智力可以产生高一层
的智力，就像写一个更高版本的编译器，然后是更高一层的智力，一直下去...
智力可以 bootstrap 的理论是奇点理论的基础，也产生了其他的变体，比如说冯诺伊
曼探测器（von Neumann probe），简单地说是机器人自我繁殖。
但是这里面有一个逻辑环节常常避而不谈：并不是任何一个编译器都可以产生下一个更
好的编译器，有缺陷的编译器（比如无法编译某些指令）是无法产生比自己更加完备的
编译器的。而且从概率上来说，产生有缺陷的编译器的概率要远大与正常工作的编译器
。换句话说，编译器的功能要达到某个 threshold，才能产生比自己更加完备的编译器
，而这是非常小概率事件。
那么智力是否存在这样的 threshold？是否智力在达到这样的 threshold 之前，无法
产生更高一层的智力？人达到了吗？

o*y2019-03-23 07:03

4 楼

不错，佩服佩服！不过你的预测没有我的神准。一是你没有明确写出是二月的排期；二
是你虽写了2010年1月但没有明确写出是2010年1月1日

A*s2019-03-23 07:03

5 楼

我不是神医，但是我觉得直接向ebay举报吧。。。

【在 d**j 的大作中提到】

: 【以下文字转载自 ebiz 讨论区】
: 发信人: djmj (We do our best), 信区: ebiz
: 标题: 懂行的神医给说说
: 发信站: BBS 未名空间站 (Mon May 23 17:44:04 2011, 美东)
: 卖了一个全新未开封的i5-2500k的cpu出去。今天收到如下来信。
: Hello dear,
: I need your urgent help.
: Received the processor today and opened it for a quick inspection.
: I immediately noticed some of the pins weren't normal.
: I put the processor on my board and it did no boot up,i tried the i5

t*n2019-03-23 07:03

6 楼

编译器产生下一层更高级的编译器不是它自己做的，是程序员做的。
在这个意义上，智力也能产生更好的智力，比如你夫妻两个生出了更聪明的儿子。这个
进化也不是你们自己做的。是上帝做的。

I*82019-03-23 07:03

7 楼

其实，排期可能还会再前进的，希望demand 永远上不去，大家都早日current。

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

: 不错，佩服佩服！不过你的预测没有我的神准。一是你没有明确写出是二月的排期；二
: 是你虽写了2010年1月但没有明确写出是2010年1月1日

d*j2019-03-23 07:03

8 楼

i5-2500k有针脚吗？怎么会针脚看起来不正常呢？

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

: 我不是神医，但是我觉得直接向ebay举报吧。。。

g*t2019-03-23 07:03

9 楼

只要是图灵完备的语言，就有universal Turing machine. 就有固定点，就有自我扩展
的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
C用宏进行扩展也很容易。
我念的课本上，语言系统是从有限状态机讲起的。不存在universal finite machine,
就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
法，或者信息论都可以证明。
简单的讲，从使用的角度出发，可以认为只要可以进行皮亚诺自然数公理系统规定的自
然数计算的形式语言系统，都有固定点。都有universal machine. 例如中國古代的算
盤。它是圖靈完備的。中國過去的算盤專家，也有很多很厲害的算法。據說第一個核武
器就是在上海找了一組算盤專家計算的。
所以你說的能和不能，这个问题的threshold就是自然数系统。至於編譯器的好壞，或
者性能等等。是另一個方面的問題了。
Formal language最早是弗雷格給出明確的定義的。王垠大師折騰了那麼多年，後來也
去讀弗雷格了。

s*n2019-03-23 07:03

10 楼

别扯蛋了，都是夏梦。
你current了么？

【在 I****8 的大作中提到】

: http://www.mitbbs.com/article_t/EB23/31516755.html

d*j2019-03-23 07:03

11 楼

用过的给说说啊。

【在 d**j 的大作中提到】

: i5-2500k有针脚吗？怎么会针脚看起来不正常呢？

j*w2019-03-23 07:03

12 楼

是的，编程语言里，图灵完备应该是 bootstrap 的前提。

武i

【在 g****t 的大作中提到】

: 只要是图灵完备的语言，就有universal Turing machine. 就有固定点，就有自我扩展
: 的能力。这里没什么不清楚的啊。lisp写个domain specific language就几行的事情。
: C用宏进行扩展也很容易。
: 我念的课本上，语言系统是从有限状态机讲起的。不存在universal finite machine,
: 就是说没有哪个有限状态机可以模拟所有其他的有限状态机。用formal language的办
: 法，或者信息论都可以证明。
: 简单的讲，从使用的角度出发，可以认为只要可以进行皮亚诺自然数公理系统规定的自
: 然数计算的形式语言系统，都有固定点。都有universal machine. 例如中國古代的算
: 盤。它是圖靈完備的。中國過去的算盤專家，也有很多很厲害的算法。據說第一個核武
: 器就是在上海找了一組算盤專家計算的。

A*s2019-03-23 07:03

13 楼

nope
http://semiaccurate.com/2011/01/02/intel-core-i7-2500k-review/
我的意思就是：这是纯欺诈，光这一封邮件就铁证如山了
你还可以讹诈他一笔，就是不知道有多少油水可以敲

【在 d**j 的大作中提到】

: 用过的给说说啊。