科学的发展很难预测

[forecasting]

吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广，Groubner basis 更系统，Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控，没有上界。

吴算法呢？应该只是Buchberger's algorithm和Grobners Basis片段，或许计算复杂性会低一些。我没兴趣去看，因为有Buchberger's algorithm和Hilbert Nullstellensatz，还有Tarski定理，这问题在理论上已经没有意义，在算法上应该也没有超过Buchberger's algorithm。而且是因为官员操作而炒起来的，所以让人很难愿意花时间。
国内数理逻辑界有人私下表明了态度，但吴也去世，私下表态度的也去世，就算了吧。不说了。
Tarski的算法计算复杂度是双指数的。我估计Buchberger's algorithm也是。Tarski是逻辑的方法，Buchberger's algorithm是用代数几何的方法或者代数方法得出来的，运气好啊，唉。

[forecasting]

你看看，搞 computer 的 又来碰瓷 数学了，真是 不知道 说什么好。

数学 已经发展了 2千多年了，人类 最聪明的 前辈们 前赴后继 一代代研究，才发展到了今天。还要 继续发展下去

computer 何德何能 和 数学比啊？也就和 汽车 可以 比一比，当然多了个 软件层，变化更多端 而已

我说你的计算机是国内教出来的，你还恼火，看看显示出来了吧？ 。NP=P?这个千禧年问题就是计算复杂性理论的题目。哥德尔不完备定理，图灵机，递归函数，λ定义，乃至范畴论都是计算机的东西。下面人身攻击一句：你连这个都不知道，还这么大声，不觉得害臊？ ，

[forecasting]

你看看，搞 computer 的 又来碰瓷 数学了，真是 不知道 说什么好。

数学 已经发展了 2千多年了，人类 最聪明的 前辈们 前赴后继 一代代研究，才发展到了今天。还要 继续发展下去

computer 何德何能 和 数学比啊？也就和 汽车 可以 比一比，当然多了个 软件层，变化更多端 而已

计算机何德何能？口气大起天，知识小起光子 看看Fields奖得主Vladimir Voevodsky的工作，他英年早逝，不然你这话可以把普林高等研究院的Fileds奖得主的工作和普林高研院的项目一句话否定了。
https://www.ias.edu/math/sp/univalent/goals
https://www.math.ias.edu/vladimir/current_work

国内教出来的井底之蛙。

[forecasting]

是有这种说法。如果是真的，量子计算就全完了。

基于量子纠缠的量子通信也完了，两者其实在这个问题上同解或无解。

[bigbendan]

哲学思想可以理解。

就是滚雪球，越发展越快。

spiral up.

[Jack12345]

我说你的计算机是国内教出来的，你还恼火，看看显示出来了吧？ 。NP=P?这个千禧年问题就是计算复杂性理论的题目。哥德尔不完备定理，图灵机，递归函数，λ定义，乃至范畴论都是计算机的东西。下面人身攻击一句：你连这个都不知道，还这么大声，不觉得害臊？ ，

我又不是 没学过 离散数学 和 数据结构，也没有特别难的。数学系里 有些课程 可以折腾的你 死去活来

NP=P 就是那个机构有点钱，列了 7个问题，权威性 和 希尔伯特 那23个题目差远了。然后就和 黎曼猜想 碰瓷了？数学界 有把 NP=P 当作主流方向吗？
数学界里 没解决的问题 多如牛毛，比如 证明 e 是 无理数。也不差一个 NP=P 了，只不过现在 搞计算机的 有钱了。

哥德尔不完备定理 也属于 计算机领域了？不会吧？难道 公理系统 逻辑学 集合论 也属于 计算机了？
EDA 软件 也用到 图论的理论，难道 图论 也属于 计算机了？不会吧？
网上电子商务 要用到 密码学的知识，难道 密码学 也属于计算机了？不会吧？
工程软件里 要用到 有限元理论，难道 有限元方法 也属于计算机了？不会吧？

[mmking]

数学不是science，数学也不是art, period

Computer is a tool, so it falls under engineering in human’s definition. 你不一定在工学院拿过CS的degree，但肯定不是在数学系或者艺术系拿的

你要是认为数学是science，那么计算机至少一大半是science，如果认为数学是艺术，那么计算机一大半也是艺术。你学的计算机是国内教出来的，所以只能算工程。

[Caravel]

跟Peter Shor吵了几年，他最后也只承认遇到了fundamental difficulty。我认为忽略掉的因素应该能在量子场论找到，各种方案或失败或毫无进展，外加理论方面有一些地方没法确定，基本可以断定不可能实现，只是一个理论计算模型。

吹牛逼找错人了，Peter shor只是个计算机科学家，不是物理学家。QEC的困难和进展都在物理学里面，你们计算机的什么计算复杂性都只能在外围玩玩。

[FoxMe]

“数学界里 没解决的问题 多如牛毛，比如 证明 e 是 无理数。也不差一个 NP=P 了，”

尼玛不会吧，几百年前就证明了。

[Jack12345]

“数学界里 没解决的问题 多如牛毛，比如 证明 e 是 无理数。也不差一个 NP=P 了，”

尼玛不会吧，几百年前就证明了。

那记错了，有可能是 pi + e。反正 数学里 没有证明的问题 多如牛毛

[FoxMe]

所有这些算法应该叫朱世杰算法：

朱世杰（1249年—1314年），字汉卿，号松庭，燕山人，元代数学家兼教育家，毕生从事数学教育。朱世杰在当时天元术的基础上发展出“四元术”，也就是列出四元高次多项式方程，以及消元求解的方法。

princeton 写了： ↑昨天, 9:19 pm
吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广，Groubner basis 更系统，Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控，没有上界。

吴算法呢？应该只是Buchberger's algorithm和Grobners Basis片段，或许计算复杂性会低一些。我没兴趣去看，因为有Buchberger's algorithm和Hilbert Nullstellensatz，还有Tarski定理，这问题在理论上已经没有意义，在算法上应该也没有超过Buchberger's algorithm。而且是因为官员操作而炒起来的，所以让人很难愿意花时间。
国内数理逻辑界有人私下表明了态度，但吴也去世，私下表态度的也去世，就算了吧。不说了。
Tarski的算法计算复杂度是双指数的。我估计Buchberger's algorithm也是。Tarski是逻辑的方法，Buchberger's algorithm是用代数几何的方法或者代数方法得出来的，运气好啊，唉。

[forecasting]

所有这些算法应该叫朱世杰算法：

朱世杰（1249年—1314年），字汉卿，号松庭，燕山人，元代数学家兼教育家，毕生从事数学教育。朱世杰在当时天元术的基础上发展出“四元术”，也就是列出四元高次多项式方程，以及消元求解的方法。

princeton 写了： ↑昨天, 9:19 pm
吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广，Groubner basis 更系统，Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控，没有上界。

四元玉鉴。Knuth也在TAO里说过。往大处说，就是Buchburger's algorithm或者Hilbert Nullstellenstullsatz的思想，这样就联系上代数几何了。所以代数几何尤其算术几何里很多问题或其证明是现成的算法，Curry-Howard定理早就提示了证明（严格说，形式化的证明就是一个程序，这就是princeton高研院那个项目的主要思想之一）和算法等价，https://en.wikipedia.org/wiki/Curry%E2% ... espondence。
另外一个思路就是，Diophantine equation 无算法解（希尔伯特第十问题），研究其解，即算术代数几何，就是在 Matiyasevich's theorem or the MRDP theorem 定理之下用代数几何方法研究方程的解集。https://en.wikipedia.org/wiki/Hilbert%27s_tenth_problem。
那几个无知的家伙在撒泼打滚，不仅没学问，也没人品，我不屑于跟他们啰嗦。谁有兴趣，可以教给他们一些基本知识，他们学的不是computer science and technology，是信息工程，没基本的知识，丢死人了。谁敢亮出是哪个老师的学生，小心自己老师知道了真实水平开了他，那可就给华人丢脸了。 我啥时候也民族主义了？

[forecasting]

数学不是science，数学也不是art, period

Computer is a tool, so it falls under engineering in human’s definition. 你不一定在工学院拿过CS的degree，但肯定不是在数学系或者艺术系拿的

你是一个新人，回答你一句：计算机专业一开始不是在数学系就是在电子工程或者物理专业。芝加哥大学计算机系一直在数学系，现在才弄进一些做工程的。你看做AM（就是IP证明）的，做自然证明（natural proof）的，还有做可计算理论 computability的，就是做递归论的，都在哪个系。Anil Nerode还在Cornell计算机系。

[princeton]

确实， Gil Strang 的最后一节课，第一件事就是说，高斯消元法应叫中国人消元法

所有这些算法应该叫朱世杰算法：

朱世杰（1249年—1314年），字汉卿，号松庭，燕山人，元代数学家兼教育家，毕生从事数学教育。朱世杰在当时天元术的基础上发展出“四元术”，也就是列出四元高次多项式方程，以及消元求解的方法。

princeton 写了： ↑昨天, 9:19 pm
吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广，Groubner basis 更系统，Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控，没有上界。

[verdelite]

又一名中科院量子院士诞生。
科学的发展一般不是理论先行。
工程的发展当然靠人力的积累。

段路明？现在在清华大学。
你说的又一个中科院量子院士是谁？

[verdelite]

是他，不是刚当选院士嘛

人家是清华大学的，不是中科院的。

[Caravel]

又一名中科院量子院士诞生。
科学的发展一般不是理论先行。
工程的发展当然靠人力的积累。

段路明是做理论的啊

[Oldsea]

自然界核苷酸只有4种，氨基酸20个
构成的生命种类是天文数字
人在自然面前就是个婴儿

[forecasting]

错：AGI：成功（有人这样的意识、会做科研）。
不确定：聚变发电：还是不成。
不全对：量子纠缠、量子通信、量子计算：彻底证伪。量子纠缠已经证明，你就算了，不懂就别说了。量子通信、量子计算就是瞎搞，纠错速度不可能超过消相干速度。

今年 的发展和我的预判，对比一下。

这个帖子下显出了这个版面上各个id的素养

[Pegasi]

下一次真得靠聚变发电了

现代农业让人类大吃饱不成问题，才分化出大量依靠纯脑力劳动的工作，但绝大部分人还是得靠出卖脑力体力糊口

能源无限才能让更多的人生下来就衣食无忧，释放创造力

下面5年：

AGI：成功（有人这样的意识、会做科研）。
聚变发电：还是不成。
量子纠缠、量子通信、量子计算：彻底证伪。