w***g
发帖数: 5958 | 1 再为老邢做点贡献。
没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
基本粒子乱七八糟还是很多，所以要找更基本的building block。人脑是细胞层次
的自组织现象。细胞在脑出现之前很久很久就已经有了，神经元细胞出现晚点，但
也是很久很久以前就有了，但是没有智能。只有组织成脑这个形态的时候才出现了
智能。这本身就说明智能不是building block的问题，而是一个组织结构问题。
人工智能和物理学的发展，一个是building block往上，一个是building block
往下，中间隔了细胞到分子这么大一个gap，我觉得将来出交集的可能性很小。
我这个推理不严密，但至少是有根据的educated guess。 |
w********m
发帖数: 1137 | |
g****t
发帖数: 31659 | 3 我手边有本彭桓武写的物理书。周光召写的前言。
我觉得总体方法上来讲，他们说的是对的。物理是分层的。
粒子物理逻辑上是优先的。但是做实验的人，或者做别层物理的人大可以不鸟
这些框架性的言论。
粒子物理假设全部远离都清楚了，那么固体物理就解决了吗？
别说固体物理了，就是牛顿力学的物理全解决了吗？差远了。
vehicle dynamics，甚至轮胎和地面的摩擦都是相当相当高科技的物理学。
基本粒子到各其他层物理现象的联系，只有一些启发式的说法。
实操是不可能的。你不可能从粒子物理推论出汽车的模型。这个不是经验事实。
我认为原理上是不可能的。因为数学不够。本身数学就不是和物理
在一个方向的东西。试图用算法或者数学，从一层的物理走到另一层，
原理上不可能（虽然这层纸会越来越薄）。除非图灵机不需要时间，不然什么
算法永远都是不够描述物理的。
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
g****t
发帖数: 31659 | 4 另外我同意ai是个图灵机上的算法问题。
但是这个必须只能在图灵机不需要时间的情况下才能获得解决。
所以物理世界里，ai永远是open的。
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
T********i
发帖数: 2416 | 5 都是一码事。物理上海森堡不确定性对应哥德尔不完备定理。不管是观测引入误差还是
物质本身属性其实都不所谓。即使你能够不影响粒子运行来观测，你就是上帝了么？
已知任何时刻的例子的位置和速度，用小球碰撞的算法，你会得到一个确定性系统么？
已经有论文证明了，其实这还是一个图灵停机问题。你说是图灵机计算精度问题也好，
是物质固有属性也好。其实还是一码事。 |
T********i
发帖数: 2416 | 6 参见我的帖子，这个甚至和时间都没关系。一旦等价停机问题，就有陷入死循环的可能
性。
【在 g****t 的大作中提到】
: 另外我同意ai是个图灵机上的算法问题。
: 但是这个必须只能在图灵机不需要时间的情况下才能获得解决。
: 所以物理世界里，ai永远是open的。
|
g****t
发帖数: 31659 | 7 符号是没有时间的。物理对象有时间损耗。
: 参见我的帖子，这个甚至和时间都没关系。一旦等价停机问题，就有陷入死循环
的可能
: 性。
【在 T********i 的大作中提到】
: 参见我的帖子，这个甚至和时间都没关系。一旦等价停机问题，就有陷入死循环的可能
: 性。
|
v*******e
发帖数: 11604 | |
d******c
发帖数: 2407 | 9 之所以许多AI讨论容易扯上量子力学，有两种原因：
1. AI有实干型和空想型，实干型注重实现，空想可以干想只说。空想型可以牵扯很多
哲学问题，能够扯上量子力学。但是对实干型没有什么意义。
2. 为什么没用意义，因为你还得在现有计算机体系上实现。如果量子力学的突破要改
变AI，也首先会从硬件起，产生了新的计算机器，然后发展不同的理论和实现方式。
已有的量子计算机还不算真正突破，到底是个什么我不太清楚。
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
a*****e
发帖数: 1700 | 10 你这个标题没取好，AI 显然是无法超出图灵机模型，因为它叫 AI 啊！没有人对这个
有疑问吧
有疑问的是，AI 是否能达到人脑的程度，或者说人的智能（就是 I 没有 A）是否超出
图灵机模型
仔细读一下 https://en.wikipedia.org/wiki/Philosophy_of_artificial_
intelligence 就能了解各方观点了
至于量子力学的联系，可以参见 Penrose 的皇帝新脑一书，里面认为人的智能超出图
灵机模型的机理和量子力学有关。 |
|
|
n******e
发帖数: 163 | 11 Stuart Hameroff 是麻醉医生/教授，老早就从事人脑意识研究，他老真是从实践出发
去寻找大脑神经产生意识的机制，最终发现只有量子理论有可能给出答案，导致了他与
Roger Penrose 走到了一起，共同提出了量子意识理论。尽管一度被认为是有争议，最
新实验结果却站在这边。请注意更多的跨学科的动态，在嗅觉机制研究领域，偏偏是最
有争议的量子嗅觉机制近来获得实验强有力的支持，还有欧洲的一种候鸟准确的定位能
力等等...理论物理学牛人都已经定调，理论物理是一门信息科学，信息的本质是什么
？难道搞算法不需要知道更深？搞化学不想知道周期表能走下去？ |
k****i
发帖数: 101 | 12 走夜路吹口哨
有点意思
：再为老邢做点贡献。
： |
d*******r
发帖数: 3299 | 13 wdong 你觉得强人工智能，或者强人工智能入门的算法,
和现在这些DL多层灌数据, extract features/patterns的东西, 还差多远?
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
w***g
发帖数: 5958 | 14 我觉得20年之内强人工智能系统能出现，破图灵测试。
算法不好说，核心算法可能已经有了，只不过大家都不知道。
从CNN的成功看来，有的算法需要规模大到一定的程度才能起作用。
到时候的人可能会看着终端猜测，这东西到底有没有意识。
【在 d*******r 的大作中提到】
: wdong 你觉得强人工智能，或者强人工智能入门的算法,
: 和现在这些DL多层灌数据, extract features/patterns的东西, 还差多远?
|
v*******e
发帖数: 11604 | 15 说实话我根本不相信彭罗斯那说法。我认为多读书有害，特别是多读垃圾信息有害。我
进入AI领域读的第一个东西就是Chinese room那些争论。现在我认为那些争论毫无意义
。人脑是不是机器？我认为是的，你做的每一件事情，说的每一句话，都是有前因的。
不行你说一句试试看，然后再回忆一下说这句话的原因。智力没什么，就是联想。意识
没什么，就是幻觉。我觉得容许他们争论，等到我们做出来AGI，让他们和AGI相互辩论
去，我们看热闹即可。
: 你这个标题没取好，AI 显然是无法超出图灵机模型，因为它叫 AI 啊！没有人
对这个
: 有疑问吧
: 有疑问的是，AI 是否能达到人脑的程度，或者说人的智能（就是 I 没有 A）是
否超出
: 图灵机模型
: 仔细读一下 https://en.wikipedia.org/wiki/Philosophy_of_artificial_
: intelligence 就能了解各方观点了
: 至于量子力学的联系，可以参见 Penrose 的皇帝新脑一书，里面认为人的智能
超出图
: 灵机模型的机理和量子力学有关。
【在 a*****e 的大作中提到】
: 你这个标题没取好，AI 显然是无法超出图灵机模型，因为它叫 AI 啊！没有人对这个
: 有疑问吧
: 有疑问的是，AI 是否能达到人脑的程度，或者说人的智能（就是 I 没有 A）是否超出
: 图灵机模型
: 仔细读一下 https://en.wikipedia.org/wiki/Philosophy_of_artificial_
: intelligence 就能了解各方观点了
: 至于量子力学的联系，可以参见 Penrose 的皇帝新脑一书，里面认为人的智能超出图
: 灵机模型的机理和量子力学有关。
|
v*******e
发帖数: 11604 | 16 还有施一公，好像还有朱清时，都来人云亦云。我对他们的评价都是：胡说八道。我相
信人脑就是机器，其功能能用机器实现，这机器可以用现有的计算机实现。
: 说实话我根本不相信彭罗斯那说法。我认为多读书有害，特别是多读垃圾信息有
害。我
: 进入AI领域读的第一个东西就是Chinese room那些争论。现在我认为那些争论毫
无意义
: 。人脑是不是机器？我认为是的，你做的每一件事情，说的每一句话，都是有前
因的。
: 不行你说一句试试看，然后再回忆一下说这句话的原因。智力没什么，就是联想
。意识
: 没什么，就是幻觉。我觉得容许他们争论，等到我们做出来AGI，让他们和AGI相
互辩论
: 去，我们看热闹即可。
: 对这个
: 否超出
: 超出图
【在 v*******e 的大作中提到】
: 说实话我根本不相信彭罗斯那说法。我认为多读书有害，特别是多读垃圾信息有害。我
: 进入AI领域读的第一个东西就是Chinese room那些争论。现在我认为那些争论毫无意义
: 。人脑是不是机器？我认为是的，你做的每一件事情，说的每一句话，都是有前因的。
: 不行你说一句试试看，然后再回忆一下说这句话的原因。智力没什么，就是联想。意识
: 没什么，就是幻觉。我觉得容许他们争论，等到我们做出来AGI，让他们和AGI相互辩论
: 去，我们看热闹即可。
:
:
: 你这个标题没取好，AI 显然是无法超出图灵机模型，因为它叫 AI 啊！没有人
: 对这个
:
: 有疑问吧
|
v*******e
发帖数: 11604 | 17 我认为还有7年10个月就能实现。
: 我觉得20年之内强人工智能系统能出现，破图灵测试。
: 算法不好说，核心算法可能已经有了，只不过大家都不知道。
: 从CNN的成功看来，有的算法需要规模大到一定的程度才能起作用。
: 到时候的人可能会看着终端猜测，这东西到底有没有意识。
【在 w***g 的大作中提到】
: 我觉得20年之内强人工智能系统能出现，破图灵测试。
: 算法不好说，核心算法可能已经有了，只不过大家都不知道。
: 从CNN的成功看来，有的算法需要规模大到一定的程度才能起作用。
: 到时候的人可能会看着终端猜测，这东西到底有没有意识。
|
d*******r
发帖数: 3299 | 18 那现在这些黑盒子算法... 如果再给他们加上求生本能, 想想挺可怕...
【在 w***g 的大作中提到】
: 我觉得20年之内强人工智能系统能出现，破图灵测试。
: 算法不好说，核心算法可能已经有了，只不过大家都不知道。
: 从CNN的成功看来，有的算法需要规模大到一定的程度才能起作用。
: 到时候的人可能会看着终端猜测，这东西到底有没有意识。
|
h*i
发帖数: 3446 | 19 量子计算好像也不一定是微观层面上的现象。前两天听最近google买下的UC做量子计算
的整个一个研究组的头头讲，他们这个量子计算机的也是在一般的片子上做的，不过需
要在比较低的温度下运行，这样片子上的微波探测线路才能正常工作。号称他们今年要
做50个qbit的量子计算机，云云。这个量子计算机似乎没用什么量子力学的东东。这是
我听他说才知道的，比较吃惊。
至于把量子力学和哥德尔不完全定理扯在一起，试图证明存在什么不可知的深奥东东的
同学，我觉得是属于屁都不懂人云亦云之辈。哥德尔不完全定理在范畴论来看，是属于
初等数学，可以在范畴论的科普读物就证明给你看的东西，没啥深奥的。量子力学啥的
，我不太懂，但看现代理论物理学界这种行为艺术大行其道的架势，估计也是数学和实
验观测工具的不足带来的故弄玄虚。
回到智能问题上，无论如何，没有什么证据表明大脑不是用的一般的生物化学机制来运
行的。我以前在这儿也科普过，甚至这个生物化学机制也是在实现一种相当数字化的计
算，无非是其编码机制还不清楚而已。当然从信息论角度看，这一点也不奇怪，要实现
神经系统各部分之间的鲁棒通信，可能是得数字化。
至于AI，我和卫东的观点相似，应该没有什么原理上的不可逾越的奥秘，可能还是一个
计算能力和数据量的问题。我以前说过，下一个突破其实不远了。当然我是在做这个事
的，有些话不能说多了。
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
g****t
发帖数: 31659 | 20 哥德尔不完全性定理确实是初等数学，比微积分容易多了。他的论文网上有。任何一个
人坐下来一礼拜就搞定了。
比较困难的是前面43条定理，是罗素的数学原理的一个总括。还有后面一些后续研究技
术性比较强。
哥德尔完全性定理，基本就是斯克伦的东西。也很容易理解。
但是哥德尔不完全定理recast到范畴论里面，这个工作没有正式完成。我记得是说有人
做过，论文只是传阅。这就好比把c代码翻译成lisp,不是那么容易。
AI的问题是，突破以后人类会用AI造新的经验事实，就得下一轮AI.人的意识不仅仅是
个人的东西，自然语言里的一些pattern通过时间和空间会进入人脑。自然语言是活的
。那么
AI的实践结果也
是如此。简单说人因为ai会变的。更具体的说，twitter现在15%都是机器人贴，AI进步
的话，
情况会更复杂。未来的微信肯定也是如此。
最后还有一个集体无意识的问题。这方面我不懂就不说了。
另外量子计算我的理解是一台机器只能跑一个算法，
没有通用图灵机这回事。就是说不能编写程序。有点类似于
模拟电路组成的微分方程solver。之前看到说加拿大的机器是跑的模拟退火算法。可以
做优化问题。（不确切）
: 量子计算好像也不一定是微观层面上的现象。前两天听最近google买下的
UC做量
子计算
: 的整个一个研究组的头头讲，他们这个量子计算机的也是在一般的片子上
做的，
不过需
: 要在比较低的温度下运行，这样片子上的微波探测线路才能正常工作。号
称他们
今年要
: 做50个qbit的量子计算机，云云。这个量子计算机似乎没用什么量子力学
的东东
。这是
: 我听他说才知道的，比较吃惊。
: 至于把量子力学和哥德尔不完全定理扯在一起，试图证明存在什么不可知
的深奥
东东的
: 同学，我觉得是属于屁都不懂人云亦云之辈。哥德尔不完全定理在范畴论
来看，
是属于
: 初等数学，可以在范畴论的科普读物就证明给你看的东西，没啥深奥的。
量子力
学啥的
: ，我不太懂，但看现代理论物理学界这种行为艺术大行其道的架势，估计
也是数
学和实
: 验观测工具的不足带来的故弄玄虚。
【在 h*i 的大作中提到】
: 量子计算好像也不一定是微观层面上的现象。前两天听最近google买下的UC做量子计算
: 的整个一个研究组的头头讲，他们这个量子计算机的也是在一般的片子上做的，不过需
: 要在比较低的温度下运行，这样片子上的微波探测线路才能正常工作。号称他们今年要
: 做50个qbit的量子计算机，云云。这个量子计算机似乎没用什么量子力学的东东。这是
: 我听他说才知道的，比较吃惊。
: 至于把量子力学和哥德尔不完全定理扯在一起，试图证明存在什么不可知的深奥东东的
: 同学，我觉得是属于屁都不懂人云亦云之辈。哥德尔不完全定理在范畴论来看，是属于
: 初等数学，可以在范畴论的科普读物就证明给你看的东西，没啥深奥的。量子力学啥的
: ，我不太懂，但看现代理论物理学界这种行为艺术大行其道的架势，估计也是数学和实
: 验观测工具的不足带来的故弄玄虚。
|
|
|
h*i
发帖数: 3446 | 21 用范畴论解释哥德尔不完全性定理可以看看范畴论的科普读物《概念数学》，Lawvere
& Schanuel, Conceptual Mathematics: A first introduction to categories,
Cambridge press, 2009, 2nd edition, 第302-309页。
不复杂，就是一般数学理论用错了理想化的场景的问题。因为一般数学理论的理想化与
实际要解决的问题不是属于同一个范畴的，所以会产生出貌似悖论的现象。具体来说，
就是很多问题的真值域不是{true, false}，而是其真值构成了问题范畴本身的一个
object；再比如说，“想象自然数N，0，1，2，...“这种理想化，其实其范畴不是N，
而是2^N。哈哈。
说来说去，就是一般数学家做数学还不够严谨，他们的态度其实还是“够用就行了，以
能出结果为准”，较起真来的话，就要出“悖论”了。其实不是悖论，而是假设不清楚
，或者假设就是错的。这与其他的科学工作者没什么不同。哈哈。
所以你看不到Lawvere的东西在数学教课书上，因为政治不正确，与数学家要保持的数
学高大上的形象不符。哈哈。
【在 g****t 的大作中提到】
: 哥德尔不完全性定理确实是初等数学，比微积分容易多了。他的论文网上有。任何一个
: 人坐下来一礼拜就搞定了。
: 比较困难的是前面43条定理，是罗素的数学原理的一个总括。还有后面一些后续研究技
: 术性比较强。
: 哥德尔完全性定理，基本就是斯克伦的东西。也很容易理解。
: 但是哥德尔不完全定理recast到范畴论里面，这个工作没有正式完成。我记得是说有人
: 做过，论文只是传阅。这就好比把c代码翻译成lisp,不是那么容易。
: AI的问题是，突破以后人类会用AI造新的经验事实，就得下一轮AI.人的意识不仅仅是
: 个人的东西，自然语言里的一些pattern通过时间和空间会进入人脑。自然语言是活的
: 。那么
|
n******e
发帖数: 163 | 22 自然最讲究节俭，自然之所以采用量子机制是因为最经济！老将、小将们，你的计算复
杂性降得越低，你的算法越smart，如果所有的过程算法都逼到irreducible
simplicity的境界，它们会很similar， 你就会发现自然早就这么干了，OMG！ |
h*i
发帖数: 3446 | 23 自然最讲究节俭不假，不过你不知道她节俭的啥，其实她节俭的不是你想要的那个东西。
自然不关心如何用最简单的机制产生出智能来，而是讲究如何用已有的机制产生出智能
，这个已有的机制，可能不是最简单的。比如鸟飞的机制不是最简单的，不过是自然利
用现成材料最容易作出来的而已，人要造飞机，模仿鸟的机制就会悲剧，因为人没有那
个材料。人工智能也是如此。
【在 n******e 的大作中提到】
: 自然最讲究节俭，自然之所以采用量子机制是因为最经济！老将、小将们，你的计算复
: 杂性降得越低，你的算法越smart，如果所有的过程算法都逼到irreducible
: simplicity的境界，它们会很similar， 你就会发现自然早就这么干了，OMG！
|
S*******n
发帖数: 305 | |
n******e
发帖数: 163 | 25 鸟和飞机这么比，还不能得出你想要的支持，鸟吃几条虫够它飞好远吧，给你拿去推动
一同重量的飞机模型会怎样？飞机也并不简单。
西。
【在 h*i 的大作中提到】
: 自然最讲究节俭不假，不过你不知道她节俭的啥，其实她节俭的不是你想要的那个东西。
: 自然不关心如何用最简单的机制产生出智能来，而是讲究如何用已有的机制产生出智能
: ，这个已有的机制，可能不是最简单的。比如鸟飞的机制不是最简单的，不过是自然利
: 用现成材料最容易作出来的而已，人要造飞机，模仿鸟的机制就会悲剧，因为人没有那
: 个材料。人工智能也是如此。
|
g****t
发帖数: 31659 | 26 鎴戜互鍓嶅康杩囪寖鐣磋鐨勬暀鏉愶紝杈句笉鍒扮湅鐮旂┒璁烘枃鐨勬按骞炽
(1)
Godel涓嶅畬鍏ㄥ畾鐞嗗ぇ姒傚涓嬶細
This was studied by Andr茅 Joyal in 1973 with the goal of proving G枚del's
Incompleteness Theorems in a categorical fashion. However, Andr茅 never
published anything and many people have tried without success to obtain any
notes from him. I went to his office in Montr茅al in 1991 to get them, but
just came away with a copy of Lawvere's thesis.
浣嗘棤璁轰粈涔堢郴缁燂紝鍙浣犳湁鐨簹璇鸿嚜鐒舵暟绯荤粺锛実odel 閮芥槸
閫傜敤鐨勩閫夋嫨鍏悊锛屾帓涓緥锛屽疄鏁拌繛缁粺杩欎簺鍊掕繕濂姐
(2)
鑼冪暣璁烘垜鏄寜寮变竴鐐圭殑闆嗗悎璁烘潵鐞嗚В鐨勩鍙兘杩欎釜绯荤粺鑰佷
簡鐐广
Identity morphisms寤虹珛浠ュ悗锛屽氨鏈変簡element 鍜岄泦鍚堢殑灞炰簬鍏崇郴浜
嗐杩欐牱姣旇緝绗﹀悎鎴戠殑鐩磋銆備竴鍒楁暟鎹湰韬篃鏄釜鏄犲皠鎴栬
lookup table,濡傛灉浣犲缓绔嬩簡涓釜identity morphism浣滀负鍩虹銆傚湪璁＄
畻鏈鸿瑷噷闈紝闄や簡鏁版嵁锛杩欎釜鏁板瓧瀹屽叏涔熷彲浠ユ槸涓嚱鏁般
銆鍦hci(娴疯灪瀛 鐨勫ぇ浣滀腑鎻愬埌: 銆br />
: 鐢ㄨ寖鐣磋瑙ｉ噴鍝ュ
痉灏斾笉瀹屽叏鎬у畾鐞嗗彲浠ョ湅鐪嬭寖鐣磋鐨勭鏅鐗┿姒傚康鏁板銆
嬶紝Lawvere
: |
g****t
发帖数: 31659 | 27 飞机为什么会飞，这事可不是那么容易解释....
飞机实际上是和鱼更类似，不是鸟。
: 鸟和飞机这么比，还不能得出你想要的支持，鸟吃几条虫够它飞好远吧，
给你拿
去推动
: 一同重量的飞机模型会怎样？飞机也并不简单。
: 西。
【在 n******e 的大作中提到】
: 鸟和飞机这么比，还不能得出你想要的支持，鸟吃几条虫够它飞好远吧，给你拿去推动
: 一同重量的飞机模型会怎样？飞机也并不简单。
:
: 西。
|
v*******e
发帖数: 11604 | 28 我这看都是乱马
any
65533;
【在 g****t 的大作中提到】
: 飞机为什么会飞，这事可不是那么容易解释....
: 飞机实际上是和鱼更类似，不是鸟。
:
:
: 鸟和飞机这么比，还不能得出你想要的支持，鸟吃几条虫够它飞好远吧，
: 给你拿
: 去推动
:
: 一同重量的飞机模型会怎样？飞机也并不简单。
:
: 西。
:
|
h**********c
发帖数: 4120 | 29 不牛逼敢来得瑟吗？
不过建议楼主研究几个非线性模型。
【在 S*******n 的大作中提到】
: 你们都好牛逼的样子
|
x****u
发帖数: 44466 | 30 图灵机没错，但是是非确定图灵机的变体，不是一般意义的确定图灵机
除非有理论依据把所有随机都去掉才行
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
|
|
v*******e
发帖数: 11604 | 31
和风筝类似。依靠翅膀迎风面和水平面成一个角度。至于翅膀上方为什么是用凸面，那
原因是要空气平滑通过，防止产生涡流。
【在 g****t 的大作中提到】
: 飞机为什么会飞，这事可不是那么容易解释....
: 飞机实际上是和鱼更类似，不是鸟。
:
:
: 鸟和飞机这么比，还不能得出你想要的支持，鸟吃几条虫够它飞好远吧，
: 给你拿
: 去推动
:
: 一同重量的飞机模型会怎样？飞机也并不简单。
:
: 西。
:
|
v*******e
发帖数: 11604 | 32
加个随机发生器做输入就行了。我认为随机性不是重要的，只是个无关的东西。
【在 x****u 的大作中提到】
: 图灵机没错，但是是非确定图灵机的变体，不是一般意义的确定图灵机
: 除非有理论依据把所有随机都去掉才行
|
x****u
发帖数: 44466 | 33 随机是避免过拟合，减少死神经元的重要手段啊。不随机你训练不出来的。
【在 v*******e 的大作中提到】
:
: 加个随机发生器做输入就行了。我认为随机性不是重要的，只是个无关的东西。
|
h**********c
发帖数: 4120 | 34 总体感觉是象是带着工程中的实际问题，一脚踩在棉花上，看国内同学的微信，很让人
失落。I was amolst there.
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
n******e
发帖数: 163 | 35 和鸟等同体重的飞机出了机械部分，还得有控制部件吧，飞快飞慢，飞平飞稳，能量不
足时、遇到狂风暴雨时知道如何应对，几条虫的能量不够吧？
西。
【在 h*i 的大作中提到】
: 自然最讲究节俭不假，不过你不知道她节俭的啥，其实她节俭的不是你想要的那个东西。
: 自然不关心如何用最简单的机制产生出智能来，而是讲究如何用已有的机制产生出智能
: ，这个已有的机制，可能不是最简单的。比如鸟飞的机制不是最简单的，不过是自然利
: 用现成材料最容易作出来的而已，人要造飞机，模仿鸟的机制就会悲剧，因为人没有那
: 个材料。人工智能也是如此。
|
h**********c
发帖数: 4120 | 36 一加仑航空煤油是33百万卡，记得练跑步时候算一公斤牛肉是10，000卡
一加仑2.6升，大概是2.6g公斤。
http://www.convertunits.com/from/calories/to/gallon+[U.S.]+of+kerosene+type+jet+fuel
【在 n******e 的大作中提到】
: 和鸟等同体重的飞机出了机械部分，还得有控制部件吧，飞快飞慢，飞平飞稳，能量不
: 足时、遇到狂风暴雨时知道如何应对，几条虫的能量不够吧？
:
: 西。
|
v*******e
发帖数: 11604 | 37
飞机翅膀形状的原因来了，myth buster，哈哈。所有给你画图的时候把下面的平面画
成和水平面平行的，都是在骗你呢。当然下面也不需要是平的，内凹一点也常见。稍微
凸一点也可以。
【在 v*******e 的大作中提到】
:
: 加个随机发生器做输入就行了。我认为随机性不是重要的，只是个无关的东西。
|
h**********c
发帖数: 4120 | 38 F35载8吨燃油，一加仑一千公斤牛肉，8000个一千，是8千头牛（不算皮骨）消化掉的
热量。 |
Y******d
发帖数: 1938 | 39 人类的历史是很复杂的，包括技术军事文化很多方面。想象一个图灵机能产生这些东西
的核心--人所有具有的智能。恐怕没这么简单。
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
g****t
发帖数: 31659 | 40 上面要是凹面，牛顿定理就算出来不对了，总力向下了
: 和风筝类似。依靠翅膀迎风面和水平面成一个角度。至于翅膀上方为什么是用凸
面，那
: 原因是要空气平滑通过，防止产生涡流。
【在 v*******e 的大作中提到】
:
: 飞机翅膀形状的原因来了，myth buster，哈哈。所有给你画图的时候把下面的平面画
: 成和水平面平行的，都是在骗你呢。当然下面也不需要是平的，内凹一点也常见。稍微
: 凸一点也可以。
|
|
|
g****t
发帖数: 31659 | 41 莱特兄弟解决的就是飞起来不掉下来这个控制问题。有个自行车把手类似的东西不停的
人工调节机翼。话说波音第一任总工程师是中国人。
但这个问题非常复杂。我记得
不同速度的飞机有不同的物理假设。
: 和鸟等同体重的飞机出了机械部分，还得有控制部件吧，飞快飞慢，飞平
飞稳，
能量不
: 足时、遇到狂风暴雨时知道如何应对，几条虫的能量不够吧？
: 西。
【在 n******e 的大作中提到】
: 和鸟等同体重的飞机出了机械部分，还得有控制部件吧，飞快飞慢，飞平飞稳，能量不
: 足时、遇到狂风暴雨时知道如何应对，几条虫的能量不够吧？
:
: 西。
|
h*i
发帖数: 3446 | 42 上面我们在讨论原理最简单的机制，你跟我扯能量干什么？ 思维不够严谨哦。飞机的
原理显然比鸟飞的原理简单多了。鸟飞的原理很复杂，现在可能还没研究明白吧，不同
的鸟，飞行原理还不同。
所以自然节俭的其实不是原理，而是其他东西。可能节省能量是一个标准，但最重要的
标准，其实还是“不要浪费已有的设计”。所有新设计都是在原有的设计上变出来的，
决不新造东西，也就是所谓进化论。
只要生物是进化出来的，就不要指望自然的方案是最优的，肯定不是。
【在 n******e 的大作中提到】
: 鸟和飞机这么比，还不能得出你想要的支持，鸟吃几条虫够它飞好远吧，给你拿去推动
: 一同重量的飞机模型会怎样？飞机也并不简单。
:
: 西。
|
Y******d
发帖数: 1938 | 43 很多东西光知道原理是没用的，有可能无法计算，或者本质上是不确定的。
比如你知道牛顿第二定律，能据此推导出ns方程。这个方程是高度非线性的，你怎么也
想不出为什么湍流也符合这个方程，根据这个方程你也得不出湍流的具体机制。
这是一个看起来很平凡，里面幺蛾子不是一般的多的问题。已经研究了100多年，可以
说连这个问题的毛都没碰着。 |
g****t
发帖数: 31659 | 44 你找块石头桌子上转一下，这就是不可积的问题。有足够对称的物体例如球就好办。
所以ANN用autocoder是很高明的。对X,label问题来说，
找到一个f使得f(X)=X非常重要。
: 很多东西光知道原理是没用的，有可能无法计算，或者本质上是不确定的。
: 比如你知道牛顿第二定律，能据此推导出ns方程。这个方程是高度非线性的，你
怎么也
: 想不出为什么湍流也符合这个方程，根据这个方程你也得不出湍流的具体机制。
: 这是一个看起来很平凡，里面幺蛾子不是一般的多的问题。已经研究了100多年
，可以
: 说连这个问题的毛都没碰着。
【在 Y******d 的大作中提到】
: 很多东西光知道原理是没用的，有可能无法计算，或者本质上是不确定的。
: 比如你知道牛顿第二定律，能据此推导出ns方程。这个方程是高度非线性的，你怎么也
: 想不出为什么湍流也符合这个方程，根据这个方程你也得不出湍流的具体机制。
: 这是一个看起来很平凡，里面幺蛾子不是一般的多的问题。已经研究了100多年，可以
: 说连这个问题的毛都没碰着。
|
Y******d
发帖数: 1938 | 45 举这个例子是觉得楼主太乐观了。人类发现发明了这么多东西，人类的技术军事文化等
等都非常之丰富复杂。而楼主说一台图灵机的算法就能替代这个智能，是不是过早。
【在 g****t 的大作中提到】
: 你找块石头桌子上转一下，这就是不可积的问题。有足够对称的物体例如球就好办。
: 所以ANN用autocoder是很高明的。对X,label问题来说，
: 找到一个f使得f(X)=X非常重要。
:
:
: 很多东西光知道原理是没用的，有可能无法计算，或者本质上是不确定的。
:
: 比如你知道牛顿第二定律，能据此推导出ns方程。这个方程是高度非线性的，你
: 怎么也
:
: 想不出为什么湍流也符合这个方程，根据这个方程你也得不出湍流的具体机制。
:
: 这是一个看起来很平凡，里面幺蛾子不是一般的多的问题。已经研究了100多年
: ，可以
|
n******e
发帖数: 163 | 46 Prefer 某种机制总会有个缘由，总得有某种权衡，或是时间，或为距离，能量有比较
一致的对比性，你说呢？
【在 h*i 的大作中提到】
: 上面我们在讨论原理最简单的机制，你跟我扯能量干什么？ 思维不够严谨哦。飞机的
: 原理显然比鸟飞的原理简单多了。鸟飞的原理很复杂，现在可能还没研究明白吧，不同
: 的鸟，飞行原理还不同。
: 所以自然节俭的其实不是原理，而是其他东西。可能节省能量是一个标准，但最重要的
: 标准，其实还是“不要浪费已有的设计”。所有新设计都是在原有的设计上变出来的，
: 决不新造东西，也就是所谓进化论。
: 只要生物是进化出来的，就不要指望自然的方案是最优的，肯定不是。
|
n******e
发帖数: 163 | 47 量子力学可以帮助我们求证世界观，如果算法违背了最根本的、正确的世界观，AI就只
是梦想而已。 |
w***g
发帖数: 5958 | 48 你这个就跟说一堆基本粒子演化不出来人类历史似的。
【在 Y******d 的大作中提到】
: 举这个例子是觉得楼主太乐观了。人类发现发明了这么多东西，人类的技术军事文化等
: 等都非常之丰富复杂。而楼主说一台图灵机的算法就能替代这个智能，是不是过早。
|
g****t
发帖数: 31659 | 49 最后一关，引力不能量子化，哈哈
【在 w***g 的大作中提到】
: 你这个就跟说一堆基本粒子演化不出来人类历史似的。
|
n******e
发帖数: 163 | 50 量子力学最关键的突破就是再次纠正世界观，引力的量子picture，直接关系到运动与
存在的根本理解。
【在 g****t 的大作中提到】
: 最后一关，引力不能量子化，哈哈
|
|
|
a****a
发帖数: 5763 | 51
鸟飞行分扑翼和滑翔，扑翼原理不复杂，问题在于没法放大到飞机上， 原因是因为材
料的刚性目前只能随尺度平方增长，而物体的重量随尺度是三次方增长，人类目前没有
材料的刚性／密度能达到飞机需求
同样的道理陆地上的动物不可能太大， 太大的话重量随尺度三次方增长，骨骼强度顶
多是平方（横截面）
【在 h*i 的大作中提到】
: 上面我们在讨论原理最简单的机制，你跟我扯能量干什么？ 思维不够严谨哦。飞机的
: 原理显然比鸟飞的原理简单多了。鸟飞的原理很复杂，现在可能还没研究明白吧，不同
: 的鸟，飞行原理还不同。
: 所以自然节俭的其实不是原理，而是其他东西。可能节省能量是一个标准，但最重要的
: 标准，其实还是“不要浪费已有的设计”。所有新设计都是在原有的设计上变出来的，
: 决不新造东西，也就是所谓进化论。
: 只要生物是进化出来的，就不要指望自然的方案是最优的，肯定不是。
|
a****a
发帖数: 5763 | 52
这个是给小学生的解释，根本无法解释为什么战斗机可以倒着飞行
实际上现代飞机能飞的根本原因是在机翼尾部形成的涡 (vortex ) 提供的升力。白努
力定律提供的那点环流基本可以忽略不计
这几乎是流体力学课的101了
【在 v*******e 的大作中提到】
:
: 飞机翅膀形状的原因来了，myth buster，哈哈。所有给你画图的时候把下面的平面画
: 成和水平面平行的，都是在骗你呢。当然下面也不需要是平的，内凹一点也常见。稍微
: 凸一点也可以。
|
g****t
发帖数: 31659 | 53 我竟无言以对
【在 n******e 的大作中提到】
: 量子力学最关键的突破就是再次纠正世界观，引力的量子picture，直接关系到运动与
: 存在的根本理解。
|
a****a
发帖数: 5763 | 54
我不觉得从粒子物理推到汽车模型有任何理论上的困难或者不可行性，只是没人干而已
，太无聊
就像当年薛定谔提出生命的本质是负熵， 大家都说牛逼的很，承认对，但是没人真正
去算，后来90年代一个中国人貌似真的算了一把，文章发了NS吧
从物理上来看，粒子物理推到汽车模型大概也就是需要几次近似，从量子电动力学到经
典电磁学的近似，经典电磁学到固体力学的近似，统计力学到热力学上的近似，仅此而已
从目前来看，大部分所谓的物理问题，本质上是计算问题，说白了，不会算， 这个只
能怪数学手段不够， 很直接的例子比如三维伊欣模型，到现在连个正确的近似都找不
到，所有的二维可用的近似办法到三维都失效，你说问题定义不够清楚吗，非常清楚，
配分函数写好在物理上来说，这个问题已经解决完了，没解决完的唯一原因是，不会算
【在 g****t 的大作中提到】
: 我手边有本彭桓武写的物理书。周光召写的前言。
: 我觉得总体方法上来讲，他们说的是对的。物理是分层的。
: 粒子物理逻辑上是优先的。但是做实验的人，或者做别层物理的人大可以不鸟
: 这些框架性的言论。
: 粒子物理假设全部远离都清楚了，那么固体物理就解决了吗？
: 别说固体物理了，就是牛顿力学的物理全解决了吗？差远了。
: vehicle dynamics，甚至轮胎和地面的摩擦都是相当相当高科技的物理学。
: 基本粒子到各其他层物理现象的联系，只有一些启发式的说法。
: 实操是不可能的。你不可能从粒子物理推论出汽车的模型。这个不是经验事实。
: 我认为原理上是不可能的。因为数学不够。本身数学就不是和物理
|
Y******d
发帖数: 1938 | 55 我没那么说。我是觉得你说的太早了。而且计算机图灵机模型是一个确定的模型，人是
有创造性的，是开放的机器。我不相信固定的算法这么快就能模拟人的大脑
【在 w***g 的大作中提到】
: 你这个就跟说一堆基本粒子演化不出来人类历史似的。
|
a****a
发帖数: 5763 | 56
实际上不需要相对论，量子力学本身就是一次世界观的改变
从量子力学现在来看，所谓的客观存在，物质实体，都不一定是可靠的概念
即使不考虑相对论，只考虑x p的对易关系，我们可以得到一个结论，那就是量子力学
的相空间本身是非对易几何，换句话说，你如果要结合广义相对论和量子力学，就首先
要解决非对易几何的问题
我估计物理学最终的突破是在这里，从用非对易几何描述目前的物理理论开始
【在 g****t 的大作中提到】
: 我竟无言以对
|
Y******d
发帖数: 1938 | 57 湍流一方面是很难真正的来计算因为自由度太大。一个是因为NS方程的基本问题没办法
解，物理上也没有大牛给出正确的清晰的物理模型。这问题就早着呢，非线性这一块，
并不是光是计算的问题。
而已
【在 a****a 的大作中提到】
:
: 实际上不需要相对论，量子力学本身就是一次世界观的改变
: 从量子力学现在来看，所谓的客观存在，物质实体，都不一定是可靠的概念
: 即使不考虑相对论，只考虑x p的对易关系，我们可以得到一个结论，那就是量子力学
: 的相空间本身是非对易几何，换句话说，你如果要结合广义相对论和量子力学，就首先
: 要解决非对易几何的问题
: 我估计物理学最终的突破是在这里，从用非对易几何描述目前的物理理论开始
|
a****a
发帖数: 5763 | 58
实际人工智能这个词就是在忽悠
充其量也就是辅助计算
单纯的计算，计算机早超过人类了
归类什么的简单东西，可以用统计学习解决的，本质上还是机械计算
相比起来目前的学术界的人工智能，我倒是觉得西部世界的说法挺有意思，先让机器人
学会做梦再说
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
a****a
发帖数: 5763 | 59
NS equation 在添加一定的连续性假设的情况下，是能从 BOLTZMANN EQUATION推导出
来的，当然 Boltzmann equation 远比 NS 复杂， 但是2010年有人证明了 Boltzmann
方程是 well define 的， 而且是微扰稳定的。
当然这不代表NS equation本身一定就是对的，说不定哪一个假设就是错了
【在 Y******d 的大作中提到】
: 湍流一方面是很难真正的来计算因为自由度太大。一个是因为NS方程的基本问题没办法
: 解，物理上也没有大牛给出正确的清晰的物理模型。这问题就早着呢，非线性这一块，
: 并不是光是计算的问题。
:
: 而已
|
s***d
发帖数: 15421 | 60 我们ee认为有限状态机肯定不行,psudo 无限状态机应该可以
【在 w***g 的大作中提到】
: 再为老邢做点贡献。
: 没有DL前我搞过多年图像识别。那时候别的很多曾经认为是AI的题目都被解决了。
: 包括下围棋，虽然下不成世界第一，但是秒普通人妥妥的。那时有一种说法，就是
: 很多问题没解决前都被认为是AI，但解决了以后发现都是机械的方法。当时就觉得
: 图像识别就是不是真AI，也需要特别复杂的算法了。结果还是机械的方法，还很
: 简单。原理是什么对结论并不重要，因为原理不可能比implementation更复杂。
: 只是目前可能还没有合适的概念和语言用来表述这个原理。版上说的DL原理不复杂，
: 正好支持图灵机强大的capacity。这些证据足够我相信AI就是图灵机上的算法问题。
: 在这个版上提量子力学或者未知物理机制的，我觉得物理应该也没学好还有神秘感。
: 大图景：物理研究的是building block的问题，目前到了基本粒子层次，无奈的是
|
|
|
v*******e
发帖数: 11604 | 61 为啥有限状态机不行？我看可以；有限状态机 无限的输入可能性=无限的输出可能性；
人就是这样的。
: 我们ee认为有限状态机肯定不行,psudo 无限状态机应该可以
【在 s***d 的大作中提到】
: 我们ee认为有限状态机肯定不行,psudo 无限状态机应该可以
|
v*******e
发帖数: 11604 | 62 我这正好可以解释飞机为什么可以倒着飞----关键是攻角，就是风筝模型。至于那伯努
力方程的解释，不能对付倒飞。
: 这个是给小学生的解释，根本无法解释为什么战斗机可以倒着飞行
: 实际上现代飞机能飞的根本原因是在机翼尾部形成的涡 (vortex ) 提供的升力
。白努
: 力定律提供的那点环流基本可以忽略不计
: 这几乎是流体力学课的101了
【在 a****a 的大作中提到】
:
: NS equation 在添加一定的连续性假设的情况下，是能从 BOLTZMANN EQUATION推导出
: 来的，当然 Boltzmann equation 远比 NS 复杂， 但是2010年有人证明了 Boltzmann
: 方程是 well define 的， 而且是微扰稳定的。
: 当然这不代表NS equation本身一定就是对的，说不定哪一个假设就是错了
|
c*******9
发帖数: 9032 | 63 上面有的讨论没有分清意识和智能。就智能来说，没有任何理论能证明人能解决的问题
，机器解决不了。 |
c*******9
发帖数: 9032 | 64 广义的计算，计算机很难说超过人类了。
【在 a****a 的大作中提到】
:
: NS equation 在添加一定的连续性假设的情况下，是能从 BOLTZMANN EQUATION推导出
: 来的，当然 Boltzmann equation 远比 NS 复杂， 但是2010年有人证明了 Boltzmann
: 方程是 well define 的， 而且是微扰稳定的。
: 当然这不代表NS equation本身一定就是对的，说不定哪一个假设就是错了
|
Y******d
发帖数: 1938 | 65 人干的很多工作机器都干不了。比如证明一个数学问题，机器能自己想出一个solution
来吗？
【在 c*******9 的大作中提到】
: 上面有的讨论没有分清意识和智能。就智能来说，没有任何理论能证明人能解决的问题
: ，机器解决不了。
|
v*******e
发帖数: 11604 | 66 我认为能。我正在研究这么个机器。请耐心等7年，乎乎
: 人干的很多工作机器都干不了。比如证明一个数学问题，机器能自己想出一个
solution
: 来吗？
【在 Y******d 的大作中提到】
: 人干的很多工作机器都干不了。比如证明一个数学问题，机器能自己想出一个solution
: 来吗？
|
v*******e
发帖数: 11604 | 67 也没有(科学)理论说人具备的意识，机器不能具备。
: 上面有的讨论没有分清意识和智能。就智能来说，没有任何理论能证明人能解决
的问题
: ，机器解决不了。
【在 c*******9 的大作中提到】
: 广义的计算，计算机很难说超过人类了。
|
c*******9
发帖数: 9032 | 68 就推理而言机器已经能做到。机器要自己提出数学概念，可能需要模拟人的感知。
solution
【在 Y******d 的大作中提到】
: 人干的很多工作机器都干不了。比如证明一个数学问题，机器能自己想出一个solution
: 来吗？
|
c*******9
发帖数: 9032 | 69 但是意识还无法形式化描述，智能问题至少能近似描述。
【在 v*******e 的大作中提到】
: 也没有(科学)理论说人具备的意识，机器不能具备。
:
:
: 上面有的讨论没有分清意识和智能。就智能来说，没有任何理论能证明人能解决
: 的问题
:
: ，机器解决不了。
:
|
d*******g
发帖数: 1978 | 70 human brain is just a turing machine+fussy impact on a turing machine |
|
|
Y******d
发帖数: 1938 | 71 机器没办法证明自己是正确的。因为不能停机
【在 c*******9 的大作中提到】
: 就推理而言机器已经能做到。机器要自己提出数学概念，可能需要模拟人的感知。
:
: solution
|
v*******e
发帖数: 11604 | 72 说说我的project吧。一个生活在二维世界的人工智能，能看到二维世界，能听到人说
话。能在二维世界移动，有一个手指可以指东西，能学习说话。我在二维世界有个代理
，是个老师，也有个手指，可以指示目标。第一阶段目标是教会她叫爸爸，教会认识各
种形状，叫出它们的名字。如果成功，第二阶段目标是教她平面几何，或者加进感情。 |
c*******9
发帖数: 9032 | 73 这方面，机器不行的人也不行。
【在 Y******d 的大作中提到】
: 机器没办法证明自己是正确的。因为不能停机
|
Y******d
发帖数: 1938 | 74 你的基本观点就是 人和机器本质一样。无论这中间要经过多少步 有多艰难，机器能变
成人。
【在 c*******9 的大作中提到】
: 这方面，机器不行的人也不行。
|
c*******9
发帖数: 9032 | 75 不是。机器能不能产生意识是个问题。但智能和意识不是一回事。
【在 Y******d 的大作中提到】
: 你的基本观点就是 人和机器本质一样。无论这中间要经过多少步 有多艰难，机器能变
: 成人。
|
v*******e
发帖数: 11604 | 76 这是唯物主义的自然结论。
: 你的基本观点就是 人和机器本质一样。无论这中间要经过多少步 有多艰难，机
器能变
: 成人。
【在 Y******d 的大作中提到】
: 你的基本观点就是 人和机器本质一样。无论这中间要经过多少步 有多艰难，机器能变
: 成人。
|
N*****m
发帖数: 42603 | 77 是的。alphago就是，它有些棋人也不懂。
【在 c*******9 的大作中提到】
: 这方面，机器不行的人也不行。
|
Y******d
发帖数: 1938 | 78 意识就像容器，除了装智能，还有一堆东西。但是没有意识，智能根本没办法运作，我
怀疑。
所以什么机器像人还早呢
【在 c*******9 的大作中提到】
: 不是。机器能不能产生意识是个问题。但智能和意识不是一回事。
|
N*****m
发帖数: 42603 | 79 意识也没那么夸张，智能程度高了，自然就有意识了。
【在 Y******d 的大作中提到】
: 意识就像容器，除了装智能，还有一堆东西。但是没有意识，智能根本没办法运作，我
: 怀疑。
: 所以什么机器像人还早呢
|
S*****e
发帖数: 6676 | 80 “第一阶段目标是教会她叫爸爸，教会认识各种形状，叫出它们的名字，”你这个形状
、名字是怎么grounding的？
【在 v*******e 的大作中提到】
: 说说我的project吧。一个生活在二维世界的人工智能，能看到二维世界，能听到人说
: 话。能在二维世界移动，有一个手指可以指东西，能学习说话。我在二维世界有个代理
: ，是个老师，也有个手指，可以指示目标。第一阶段目标是教会她叫爸爸，教会认识各
: 种形状，叫出它们的名字。如果成功，第二阶段目标是教她平面几何，或者加进感情。
|
|
|
T*******x
发帖数: 8565 | 81 生活在二维世界的人看到的东西都是一维的。呵呵。
【在 v*******e 的大作中提到】
: 说说我的project吧。一个生活在二维世界的人工智能，能看到二维世界，能听到人说
: 话。能在二维世界移动，有一个手指可以指东西，能学习说话。我在二维世界有个代理
: ，是个老师，也有个手指，可以指示目标。第一阶段目标是教会她叫爸爸，教会认识各
: 种形状，叫出它们的名字。如果成功，第二阶段目标是教她平面几何，或者加进感情。
|
v*******e
发帖数: 11604 | 82 你们用的词我不懂，得查字典才知道grounding的意思。当然是靠associative memory
。靠反复教。现在还是设想阶段，八字还没一撇。我觉得我这个project是一个很好的
突破口，我觉得能成功。
: “第一阶段目标是教会她叫爸爸，教会认识各种形状，叫出它们的名字，”你这
个形状
: 、名字是怎么grounding的？
【在 S*****e 的大作中提到】
: “第一阶段目标是教会她叫爸爸，教会认识各种形状，叫出它们的名字，”你这个形状
: 、名字是怎么grounding的？
|
v*******e
发帖数: 11604 | 83 我给它上帝视角。这就行了
: 生活在二维世界的人看到的东西都是一维的。呵呵。
【在 T*******x 的大作中提到】
: 生活在二维世界的人看到的东西都是一维的。呵呵。
|
s*****l
发帖数: 7106 | |
S*****e
发帖数: 6676 | 85 那你查查symbol grounding
memory
【在 v*******e 的大作中提到】
: 你们用的词我不懂，得查字典才知道grounding的意思。当然是靠associative memory
: 。靠反复教。现在还是设想阶段，八字还没一撇。我觉得我这个project是一个很好的
: 突破口，我觉得能成功。
:
:
: “第一阶段目标是教会她叫爸爸，教会认识各种形状，叫出它们的名字，”你这
: 个形状
:
: 、名字是怎么grounding的？
:
|
