我怀疑现有的物理学单位系统不是图灵完备的# Programming - 葵花宝典
p*g
1 楼
比如看了牛顿的三定律后说，好简单啊，早生了几百年而已，要不然我也能搞出来。总
之就是看了结果之后，忽略人家发现问题以及解决问题的过程，对人家research嗤之以
鼻。。
之就是看了结果之后，忽略人家发现问题以及解决问题的过程，对人家research嗤之以
鼻。。
w*n
2 楼
小姨昨天去相亲，一坐下妹子妞妞就说：看你的面相，应该挺有钱的吧。
小姨心想：这妹子还挺会说话的。遂回了句：妹子还会看相啊！
谁知道妹子妞妞笑了笑说：非也，我就不信这年头有长的丑，还没钱的敢来相亲的人
小姨心想：这妹子还挺会说话的。遂回了句：妹子还会看相啊！
谁知道妹子妞妞笑了笑说：非也，我就不信这年头有长的丑，还没钱的敢来相亲的人
g*t
3 楼
量纲其实就是字符串游戏。例如根据牛顿定律，牛顿 可以 用 千克 米 ／秒 ／秒消除
。牛顿定律就是个unit消除的rule。消除字符串的rule，本身也可以用字符串编码。这
就是后来Lisp那些人鼓吹的数据和代码是一回事。所以量纲系统是可能有判定问题的。
我怀疑现有的物理学的量纲消除的rule因为非常有限，本身是没有停机问题的。也就是
说不是图灵完备的。简单说，对所有的可能的物理学应用得到的方程这个空间。都可以
用符号计算语言，例如Lisp通过pattern match化简出来量纲。不会导致不可停机问题
。（
实战的NP困难不考虑。）
一个学问最后的极限，以我的浅见，就是把自己推到无效。物理学导致自己无效的指向
，很可能就是发现新的自然律和带某种单位的物理常数，导致方程的单位化简不可判定。
最后物理学的极限，应该会导致给你一堆工程计算的方程，你连最后的单位是啥都化简
不出来。
或者说，存在一个方程:
1.左边单位是牛顿，右边一堆米，千克，秒，...最后这个方程
右边的单位无法用程序判定出来。
2.这个方程是未来的某个物理定律应用的结果。
那么物理学的努力方向应该是寻找这样的物理定律来耗尽其所驻的符号空间。
而不是有涯逐无涯的向外努力。这样还有个好处。物理学可以有自己的内部表示。名正
言顺的universe内蕴包含其他的universe。
。牛顿定律就是个unit消除的rule。消除字符串的rule，本身也可以用字符串编码。这
就是后来Lisp那些人鼓吹的数据和代码是一回事。所以量纲系统是可能有判定问题的。
我怀疑现有的物理学的量纲消除的rule因为非常有限，本身是没有停机问题的。也就是
说不是图灵完备的。简单说，对所有的可能的物理学应用得到的方程这个空间。都可以
用符号计算语言，例如Lisp通过pattern match化简出来量纲。不会导致不可停机问题
。（
实战的NP困难不考虑。）
一个学问最后的极限，以我的浅见，就是把自己推到无效。物理学导致自己无效的指向
，很可能就是发现新的自然律和带某种单位的物理常数，导致方程的单位化简不可判定。
最后物理学的极限，应该会导致给你一堆工程计算的方程，你连最后的单位是啥都化简
不出来。
或者说，存在一个方程:
1.左边单位是牛顿，右边一堆米，千克，秒，...最后这个方程
右边的单位无法用程序判定出来。
2.这个方程是未来的某个物理定律应用的结果。
那么物理学的努力方向应该是寻找这样的物理定律来耗尽其所驻的符号空间。
而不是有涯逐无涯的向外努力。这样还有个好处。物理学可以有自己的内部表示。名正
言顺的universe内蕴包含其他的universe。
l*o
4 楼
Send you a reply of my advisor.
b*a
5 楼
男人要那么帅干吗
【在 w****n 的大作中提到】
: 小姨昨天去相亲，一坐下妹子妞妞就说：看你的面相，应该挺有钱的吧。
: 小姨心想：这妹子还挺会说话的。遂回了句：妹子还会看相啊！
: 谁知道妹子妞妞笑了笑说：非也，我就不信这年头有长的丑，还没钱的敢来相亲的人
【在 w****n 的大作中提到】
: 小姨昨天去相亲，一坐下妹子妞妞就说：看你的面相，应该挺有钱的吧。
: 小姨心想：这妹子还挺会说话的。遂回了句：妹子还会看相啊！
: 谁知道妹子妞妞笑了笑说：非也，我就不信这年头有长的丑，还没钱的敢来相亲的人
h*i
6 楼
Isn't it obvious?
g*r
7 楼
给我也来一份？
【在 l*****o 的大作中提到】
: Send you a reply of my advisor.
【在 l*****o 的大作中提到】
: Send you a reply of my advisor.
g*t
8 楼
乱枪打鸟的时代到来了。没有什么是obvious 的。
给你几十M大小的多变量方程。量纲哪里去obvious。
生物上来讲，神经网络实际上是电网络。那么DL几百万系数的话。哪个系数的单位是欧
姆？如何算阻抗？
我讲的东西都有实战基础。我在半导体公司最后一个专利是给世界最大公司做的，机器
学习防止芯片爆炸。已经在公示期了。前些时以前公司HR通知我去参加评奖。我说现在
是服务业写java的。属于上等人。你们这些制造业的不要瞎聊。
: Isn't it obvious?
【在 h*i 的大作中提到】
: Isn't it obvious?
给你几十M大小的多变量方程。量纲哪里去obvious。
生物上来讲，神经网络实际上是电网络。那么DL几百万系数的话。哪个系数的单位是欧
姆？如何算阻抗？
我讲的东西都有实战基础。我在半导体公司最后一个专利是给世界最大公司做的，机器
学习防止芯片爆炸。已经在公示期了。前些时以前公司HR通知我去参加评奖。我说现在
是服务业写java的。属于上等人。你们这些制造业的不要瞎聊。
: Isn't it obvious?
【在 h*i 的大作中提到】
: Isn't it obvious?
a*9
9 楼
麻烦给我也发一份？谢谢
h*i
10 楼
算了，你CS基础不牢，对有CS基础的人来说obvioius的东西，对你是个insight很正常。
你也有你的insight, 这儿的人也感兴趣，所以你继续。
【在 g****t 的大作中提到】
: 乱枪打鸟的时代到来了。没有什么是obvious 的。
: 给你几十M大小的多变量方程。量纲哪里去obvious。
: 生物上来讲，神经网络实际上是电网络。那么DL几百万系数的话。哪个系数的单位是欧
: 姆？如何算阻抗？
: 我讲的东西都有实战基础。我在半导体公司最后一个专利是给世界最大公司做的，机器
: 学习防止芯片爆炸。已经在公示期了。前些时以前公司HR通知我去参加评奖。我说现在
: 是服务业写java的。属于上等人。你们这些制造业的不要瞎聊。
:
:
: Isn't it obvious?
:
你也有你的insight, 这儿的人也感兴趣，所以你继续。
【在 g****t 的大作中提到】
: 乱枪打鸟的时代到来了。没有什么是obvious 的。
: 给你几十M大小的多变量方程。量纲哪里去obvious。
: 生物上来讲，神经网络实际上是电网络。那么DL几百万系数的话。哪个系数的单位是欧
: 姆？如何算阻抗？
: 我讲的东西都有实战基础。我在半导体公司最后一个专利是给世界最大公司做的，机器
: 学习防止芯片爆炸。已经在公示期了。前些时以前公司HR通知我去参加评奖。我说现在
: 是服务业写java的。属于上等人。你们这些制造业的不要瞎聊。
:
:
: Isn't it obvious?
:
M*o
11 楼
同求。。谢谢
【在 a******9 的大作中提到】
: 麻烦给我也发一份？谢谢
【在 a******9 的大作中提到】
: 麻烦给我也发一份？谢谢
g*t
12 楼
二十年前，绝大多数人还觉得AI不是CS呢。
那又如何。我对这些对我个人的评论并不介意。
你说obvious 是因为你没做过大规模的pattern match,
尽管这是lisp最适合的地方。
看几本常见的技术书，就是科学了？科学哪有那么容易哦。
: 算了，你CS基础不牢，对有CS基础的人来说obvioius的东西，对你是个
insight
很正常。
: 你也有你的insight, 这儿的人也感兴趣，所以你继续。
【在 h*i 的大作中提到】
: 算了，你CS基础不牢，对有CS基础的人来说obvioius的东西，对你是个insight很正常。
: 你也有你的insight, 这儿的人也感兴趣，所以你继续。
那又如何。我对这些对我个人的评论并不介意。
你说obvious 是因为你没做过大规模的pattern match,
尽管这是lisp最适合的地方。
看几本常见的技术书，就是科学了？科学哪有那么容易哦。
: 算了，你CS基础不牢，对有CS基础的人来说obvioius的东西，对你是个
insight
很正常。
: 你也有你的insight, 这儿的人也感兴趣，所以你继续。
【在 h*i 的大作中提到】
: 算了，你CS基础不牢，对有CS基础的人来说obvioius的东西，对你是个insight很正常。
: 你也有你的insight, 这儿的人也感兴趣，所以你继续。
n*p
13 楼
不要瞎说，AI一直都是cs专业里的一个track。
【在 g****t 的大作中提到】
: 二十年前，绝大多数人还觉得AI不是CS呢。
: 那又如何。我对这些对我个人的评论并不介意。
: 你说obvious 是因为你没做过大规模的pattern match,
: 尽管这是lisp最适合的地方。
: 看几本常见的技术书，就是科学了？科学哪有那么容易哦。
:
:
: 算了，你CS基础不牢，对有CS基础的人来说obvioius的东西，对你是个
: insight
: 很正常。
:
: 你也有你的insight, 这儿的人也感兴趣，所以你继续。
【在 g****t 的大作中提到】
: 二十年前，绝大多数人还觉得AI不是CS呢。
: 那又如何。我对这些对我个人的评论并不介意。
: 你说obvious 是因为你没做过大规模的pattern match,
: 尽管这是lisp最适合的地方。
: 看几本常见的技术书，就是科学了？科学哪有那么容易哦。
:
:
: 算了，你CS基础不牢，对有CS基础的人来说obvioius的东西，对你是个
: insight
: 很正常。
:
: 你也有你的insight, 这儿的人也感兴趣，所以你继续。
g*t
14 楼
在我前後在校三屆。交大電院所有專業。master，phd只有我一個人是AI的畢業論文。
嘴上怎麼說是一回事。身體是很誠實的。
: 不要瞎说，AI一直都是cs专业里的一个track。
【在 n***p 的大作中提到】
: 不要瞎说，AI一直都是cs专业里的一个track。
嘴上怎麼說是一回事。身體是很誠實的。
: 不要瞎说，AI一直都是cs专业里的一个track。
【在 n***p 的大作中提到】
: 不要瞎说，AI一直都是cs专业里的一个track。
n*p
15 楼
我也没说是中国的学校
一个track。
【在 g****t 的大作中提到】
: 在我前後在校三屆。交大電院所有專業。master，phd只有我一個人是AI的畢業論文。
: 嘴上怎麼說是一回事。身體是很誠實的。
:
:
: 不要瞎说，AI一直都是cs专业里的一个track。
:
一个track。
【在 g****t 的大作中提到】
: 在我前後在校三屆。交大電院所有專業。master，phd只有我一個人是AI的畢業論文。
: 嘴上怎麼說是一回事。身體是很誠實的。
:
:
: 不要瞎说，AI一直都是cs专业里的一个track。
:
g*t
16 楼
寫matlab不算CS,這個看法你覺得沒問題吧？
美國基建展開。
咱們等十年再看後果。
: 我也没说是中国的学校
: 一个track。
【在 n***p 的大作中提到】
: 我也没说是中国的学校
:
: 一个track。
美國基建展開。
咱們等十年再看後果。
: 我也没说是中国的学校
: 一个track。
【在 n***p 的大作中提到】
: 我也没说是中国的学校
:
: 一个track。
n*p
17 楼
这还用问吗
【在 g****t 的大作中提到】
: 寫matlab不算CS,這個看法你覺得沒問題吧？
: 美國基建展開。
: 咱們等十年再看後果。
:
:
: 我也没说是中国的学校
:
: 一个track。
:
【在 g****t 的大作中提到】
: 寫matlab不算CS,這個看法你覺得沒問題吧？
: 美國基建展開。
: 咱們等十年再看後果。
:
:
: 我也没说是中国的学校
:
: 一个track。
:
g*t
18 楼
1.AI算computer science
2.做AI的到今天仍然有很多人是寫matlab的。有的還只寫matlab。
结论是什么。
: 这还用问吗
【在 n***p 的大作中提到】
: 这还用问吗
2.做AI的到今天仍然有很多人是寫matlab的。有的還只寫matlab。
结论是什么。
: 这还用问吗
【在 n***p 的大作中提到】
: 这还用问吗
n*p
19 楼
第一和第二有什么联系吗？Matlab又不代表AI.我知道的一堆写MATLAB的不是cs。
【在 g****t 的大作中提到】
: 1.AI算computer science
: 2.做AI的到今天仍然有很多人是寫matlab的。有的還只寫matlab。
: 结论是什么。
:
:
: 这还用问吗
:
【在 g****t 的大作中提到】
: 1.AI算computer science
: 2.做AI的到今天仍然有很多人是寫matlab的。有的還只寫matlab。
: 结论是什么。
:
:
: 这还用问吗
:
g*t
20 楼
你给我带晕了吧？结论是：有的CS的人是主要写matlab的。
所以妳認為写matlab不是CS是错的。
另外，早先Ng的课我记得就是用matlab的。
现在工具发达了，第一选择不是Matlab,不等于过去选matlab为主要工具的AI专家就不
是做AI的。
: 第一和第二有什么联系吗？Matlab又不代表AI.我知道的一堆写MATLAB的
不是cs。
【在 n***p 的大作中提到】
: 第一和第二有什么联系吗？Matlab又不代表AI.我知道的一堆写MATLAB的不是cs。
所以妳認為写matlab不是CS是错的。
另外，早先Ng的课我记得就是用matlab的。
现在工具发达了，第一选择不是Matlab,不等于过去选matlab为主要工具的AI专家就不
是做AI的。
: 第一和第二有什么联系吗？Matlab又不代表AI.我知道的一堆写MATLAB的
不是cs。
【在 n***p 的大作中提到】
: 第一和第二有什么联系吗？Matlab又不代表AI.我知道的一堆写MATLAB的不是cs。
n*p
21 楼
Don't put your words in my mouth.
写matlab不一定是CS
不等于
写matlab不是CS
【在 g****t 的大作中提到】
: 你给我带晕了吧？结论是：有的CS的人是主要写matlab的。
: 所以妳認為写matlab不是CS是错的。
: 另外，早先Ng的课我记得就是用matlab的。
: 现在工具发达了，第一选择不是Matlab,不等于过去选matlab为主要工具的AI专家就不
: 是做AI的。
:
:
: 第一和第二有什么联系吗？Matlab又不代表AI.我知道的一堆写MATLAB的
: 不是cs。
:
写matlab不一定是CS
不等于
写matlab不是CS
【在 g****t 的大作中提到】
: 你给我带晕了吧？结论是：有的CS的人是主要写matlab的。
: 所以妳認為写matlab不是CS是错的。
: 另外，早先Ng的课我记得就是用matlab的。
: 现在工具发达了，第一选择不是Matlab,不等于过去选matlab为主要工具的AI专家就不
: 是做AI的。
:
:
: 第一和第二有什么联系吗？Matlab又不代表AI.我知道的一堆写MATLAB的
: 不是cs。
:
g*t
22 楼
寫matlab不算CS,這個看法你覺得沒問題吧？
你說：這還用問嗎？
我的理解就是妳認為寫matlab的不算CS。這屬於hci說的obvious。
如果我的理解有誤。那我收回前面的話。
回到事實上來。在90年代，有很多AI研究論文提供的是Matlab的數據和代碼，有的還有
包給你用。
: Don't put your words in my mouth.
: 写matlab不一定是CS
: 不等于
: 写matlab不是CS
【在 n***p 的大作中提到】
: Don't put your words in my mouth.
: 写matlab不一定是CS
: 不等于
: 写matlab不是CS
你說：這還用問嗎？
我的理解就是妳認為寫matlab的不算CS。這屬於hci說的obvious。
如果我的理解有誤。那我收回前面的話。
回到事實上來。在90年代，有很多AI研究論文提供的是Matlab的數據和代碼，有的還有
包給你用。
: Don't put your words in my mouth.
: 写matlab不一定是CS
: 不等于
: 写matlab不是CS
【在 n***p 的大作中提到】
: Don't put your words in my mouth.
: 写matlab不一定是CS
: 不等于
: 写matlab不是CS
b*8
23 楼
陷入玄学了。物理学脱离实验，就是这下场，再聪明的如亚里士多德都要闹笑话。
a*g
24 楼
图灵机只是种人类设想的计算模型。
物理学的范畴 比这个大多了。
讨论这个 就如讨论 为啥空间不是无限可分一样
物理学的范畴 比这个大多了。
讨论这个 就如讨论 为啥空间不是无限可分一样
R*e
25 楼
兄弟,啥是图灵完备?如果不是图灵完备,咋实现通用图灵机?
定。
【在 g****t 的大作中提到】
: 量纲其实就是字符串游戏。例如根据牛顿定律，牛顿 可以 用 千克 米 ／秒 ／秒消除
: 。牛顿定律就是个unit消除的rule。消除字符串的rule，本身也可以用字符串编码。这
: 就是后来Lisp那些人鼓吹的数据和代码是一回事。所以量纲系统是可能有判定问题的。
: 我怀疑现有的物理学的量纲消除的rule因为非常有限，本身是没有停机问题的。也就是
: 说不是图灵完备的。简单说，对所有的可能的物理学应用得到的方程这个空间。都可以
: 用符号计算语言，例如Lisp通过pattern match化简出来量纲。不会导致不可停机问题
: 。（
: 实战的NP困难不考虑。）
: 一个学问最后的极限，以我的浅见，就是把自己推到无效。物理学导致自己无效的指向
: ，很可能就是发现新的自然律和带某种单位的物理常数，导致方程的单位化简不可判定。
定。
【在 g****t 的大作中提到】
: 量纲其实就是字符串游戏。例如根据牛顿定律，牛顿 可以 用 千克 米 ／秒 ／秒消除
: 。牛顿定律就是个unit消除的rule。消除字符串的rule，本身也可以用字符串编码。这
: 就是后来Lisp那些人鼓吹的数据和代码是一回事。所以量纲系统是可能有判定问题的。
: 我怀疑现有的物理学的量纲消除的rule因为非常有限，本身是没有停机问题的。也就是
: 说不是图灵完备的。简单说，对所有的可能的物理学应用得到的方程这个空间。都可以
: 用符号计算语言，例如Lisp通过pattern match化简出来量纲。不会导致不可停机问题
: 。（
: 实战的NP困难不考虑。）
: 一个学问最后的极限，以我的浅见，就是把自己推到无效。物理学导致自己无效的指向
: ，很可能就是发现新的自然律和带某种单位的物理常数，导致方程的单位化简不可判定。
R*e
26 楼
别理他,他不懂计算机,更不懂图灵机,递归或者可计算.你让他一边歇着去.
【在 g****t 的大作中提到】
: 乱枪打鸟的时代到来了。没有什么是obvious 的。
: 给你几十M大小的多变量方程。量纲哪里去obvious。
: 生物上来讲，神经网络实际上是电网络。那么DL几百万系数的话。哪个系数的单位是欧
: 姆？如何算阻抗？
: 我讲的东西都有实战基础。我在半导体公司最后一个专利是给世界最大公司做的，机器
: 学习防止芯片爆炸。已经在公示期了。前些时以前公司HR通知我去参加评奖。我说现在
: 是服务业写java的。属于上等人。你们这些制造业的不要瞎聊。
:
:
: Isn't it obvious?
:
【在 g****t 的大作中提到】
: 乱枪打鸟的时代到来了。没有什么是obvious 的。
: 给你几十M大小的多变量方程。量纲哪里去obvious。
: 生物上来讲，神经网络实际上是电网络。那么DL几百万系数的话。哪个系数的单位是欧
: 姆？如何算阻抗？
: 我讲的东西都有实战基础。我在半导体公司最后一个专利是给世界最大公司做的，机器
: 学习防止芯片爆炸。已经在公示期了。前些时以前公司HR通知我去参加评奖。我说现在
: 是服务业写java的。属于上等人。你们这些制造业的不要瞎聊。
:
:
: Isn't it obvious?
:
h*i
27 楼
刚才这位爆我的个人信息，被删了。其实爆的都是版上很多人知道的，比如我老是学心
理学出身，我老做过教授，我老做过研究员，等等。不知道出于什么心态，这个人觉得
爆这些有什么用。
所以我给大家说要做工匠，凭本事吃饭。知人知面不知心，任何人都不能避免怎么就得
罪了一些人，背后想给你使坏。凭本事吃饭，就没有什么他们能使上劲的东西，就这样。
【在 R******e 的大作中提到】
: 别理他,他不懂计算机,更不懂图灵机,递归或者可计算.你让他一边歇着去.
理学出身，我老做过教授，我老做过研究员，等等。不知道出于什么心态，这个人觉得
爆这些有什么用。
所以我给大家说要做工匠，凭本事吃饭。知人知面不知心，任何人都不能避免怎么就得
罪了一些人，背后想给你使坏。凭本事吃饭，就没有什么他们能使上劲的东西，就这样。
【在 R******e 的大作中提到】
: 别理他,他不懂计算机,更不懂图灵机,递归或者可计算.你让他一边歇着去.
d*a
28 楼
是这样，对学CS的人来说，这不是常识吗，呵呵。传统AI是属于CS专业的。现在流行的
机器学习，是很多专业的人在做，他可能搞混了。
【在 n***p 的大作中提到】
: 不要瞎说，AI一直都是cs专业里的一个track。
机器学习，是很多专业的人在做，他可能搞混了。
【在 n***p 的大作中提到】
: 不要瞎说，AI一直都是cs专业里的一个track。
j*w
29 楼
> 我怀疑现有的物理学的量纲消除的rule因为非常有限，本身是没有停机问题的。也就是
说不是图灵完备的。
You are right.
量纲消除用 Combinational logic 即可解决，连 FSM 和 PDA 的计算能力都不用，更
不用 TM。
换句话说，不是图灵完备，也不需要。
说不是图灵完备的。
You are right.
量纲消除用 Combinational logic 即可解决，连 FSM 和 PDA 的计算能力都不用，更
不用 TM。
换句话说，不是图灵完备，也不需要。
相关阅读
有知道machine learning, data mining 的同学吗？French fighter planes grounded by computer virus (转载)如何写入版本信息how to rename a exe file?why g++ cannot find map.hC code参数传递出错可能的原因Does <string> have a function called find_last_of()?问个winedt问题问一个 information retrieval 问题。。。在帮忙看看这个吧 C： int->char*C/C++ 中 & | << 这些运算对哪些数据类型定义了阿？被perl昏倒了, 大家鄙视我吧怎么解决大的压缩文件的随机读写？merge two Binary search tree in O(n) time and O(1) space贡献一c++面试题请大家帮忙看一下：关于AJAX 中加入“Pleas wait... ” messageLinux下如何限制一个命令只能在登陆为指定用户下才能运行？ (转载)ResumeThread一次要多久?Multilanguage Support?如果我有一些.mp3文件，怎样用Java把这些音频文件按照不同时间间隔来合成一个mp3文件？