那记错了,有可能是 pi + e。反正 数学里 没有证明的问题 多如牛毛
科学的发展很难预测
版主: verdelite, Tlexander
-
- 论坛精英
- 帖子: 8186
- 注册时间: 7月 22, 2022, 11:46 am
#58 Re: 科学的发展很难预测
上次由 Jack12345 在 11月 21, 2023, 3:51 pm,总共编辑 1 次。
-
- 论坛点评
- 帖子: 3254
- 注册时间: 7月 26, 2022, 4:46 pm
- 昵称(选填): 令狐
#59 Re: 科学的发展很难预测
所有这些算法应该叫朱世杰算法:
朱世杰(1249年—1314年),字汉卿,号松庭,燕山人,元代数学家兼教育家,毕生从事数学教育。朱世杰在当时天元术的基础上发展出“四元术”,也就是列出四元高次多项式方程,以及消元求解的方法。
princeton 写了: ↑昨天, 9:19 pm
吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广,Groubner basis 更系统,Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控,没有上界。
朱世杰(1249年—1314年),字汉卿,号松庭,燕山人,元代数学家兼教育家,毕生从事数学教育。朱世杰在当时天元术的基础上发展出“四元术”,也就是列出四元高次多项式方程,以及消元求解的方法。
princeton 写了: ↑昨天, 9:19 pm
吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广,Groubner basis 更系统,Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控,没有上界。
forecasting 写了: ↑11月 21, 2023, 5:49 am 吴算法呢?应该只是Buchberger's algorithm和Grobners Basis片段,或许计算复杂性会低一些。我没兴趣去看,因为有Buchberger's algorithm和Hilbert Nullstellensatz,还有Tarski定理,这问题在理论上已经没有意义,在算法上应该也没有超过Buchberger's algorithm。而且是因为官员操作而炒起来的,所以让人很难愿意花时间。
国内数理逻辑界有人私下表明了态度,但吴也去世,私下表态度的也去世,就算了吧。不说了。
Tarski的算法计算复杂度是双指数的。我估计Buchberger's algorithm也是。Tarski是逻辑的方法,Buchberger's algorithm是用代数几何的方法或者代数方法得出来的,运气好啊,唉。
-
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
#60 Re: 科学的发展很难预测
四元玉鉴。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 在 11月 21, 2023, 7:58 pm,总共编辑 1 次。
-
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
#61 Re: 科学的发展很难预测
你是一个新人,回答你一句:计算机专业一开始不是在数学系就是在电子工程或者物理专业。芝加哥大学计算机系一直在数学系,现在才弄进一些做工程的。你看做AM(就是IP证明)的,做自然证明(natural proof)的,还有做可计算理论 computability的,就是做递归论的,都在哪个系。Anil Nerode还在Cornell计算机系。
-
- 小有名气
- 帖子: 31
- 注册时间: 10月 15, 2022, 5:20 pm
- 昵称(选填): wow
#65 Re: 科学的发展很难预测
确实, Gil Strang 的最后一节课,第一件事就是说,高斯消元法应叫中国人消元法
-
- 论坛元老
- 帖子: 15521
- 注册时间: 7月 21, 2022, 11:33 pm
- 昵称(选填): 众傻之傻
-
- 论坛元老
- 帖子: 15521
- 注册时间: 7月 21, 2022, 11:33 pm
- 昵称(选填): 众傻之傻
#70 Re: 科学的发展很难预测
没有光子;也没有量子能级,量子跃迁,量子叠加,量子塌缩和量子纠缠。
-
- 论坛支柱
Caravel 的博客 - 帖子: 12265
- 注册时间: 7月 24, 2022, 5:21 pm
-
- 见习点评
- 帖子: 1398
- 注册时间: 7月 30, 2022, 2:25 pm
- 昵称(选填): Day
#72 Re: 科学的发展很难预测
自然界核苷酸只有4种,氨基酸20个
构成的生命种类是天文数字
人在自然面前就是个婴儿
构成的生命种类是天文数字
人在自然面前就是个婴儿
-
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
#74 Re: 科学的发展很难预测
今年 的发展和我的预判,对比一下。forecasting 写了: ↑11月 20, 2023, 2:31 am 错:AGI:成功(有人这样的意识、会做科研)。
不确定:聚变发电:还是不成。
不全对:量子纠缠、量子通信、量子计算:彻底证伪。量子纠缠已经证明,你就算了,不懂就别说了。量子通信、量子计算就是瞎搞,纠错速度不可能超过消相干速度。
这个帖子下显出了这个版面上各个id的素养
-
- 知名作家
- 帖子: 868
- 注册时间: 10月 22, 2022, 12:50 pm
-
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
#78 Re: 科学的发展很难预测
Yann LeCun也出来骂量子计算的那些人只会炒作自己,就差说出量子计算机不可能实现了。
-
- 论坛支柱
Caravel 的博客 - 帖子: 12265
- 注册时间: 7月 24, 2022, 5:21 pm
#79 Re: 科学的发展很难预测
Lecun一个CS的懂个屁量子力学
-
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
-
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
#82 Re: 科学的发展很难预测
https://www.nature.com/articles/474024a
量子失谐(quantum discord)
觉得量子纠缠是量子计算的必要条件,而量子纠缠不可能长期大规模实现,因此基于量子纠缠的通信和计算就是说说玩玩而已。
量子失谐(quantum discord)
觉得量子纠缠是量子计算的必要条件,而量子纠缠不可能长期大规模实现,因此基于量子纠缠的通信和计算就是说说玩玩而已。
-
- 论坛精英
- 帖子: 6553
- 注册时间: 7月 22, 2022, 3:29 pm
- 昵称(选填): 海螺子
-
- 论坛精英
- 帖子: 6553
- 注册时间: 7月 22, 2022, 3:29 pm
- 昵称(选填): 海螺子
-
- 论坛精英
- 帖子: 6553
- 注册时间: 7月 22, 2022, 3:29 pm
- 昵称(选填): 海螺子
-
- 论坛精英
- 帖子: 6553
- 注册时间: 7月 22, 2022, 3:29 pm
- 昵称(选填): 海螺子
#87 Re: 科学的发展很难预测
CS出自数学,是符合史实的。老一辈的计算机科学家,大多是学数学出身的,他们发明了各种计算机技术,却一辈子没有写过一行程序,这些事实,在现在的一些小朋友看来,是很让人吃惊的。
但是,他们发明的东西,都是挂在低树上的果子,都是些光靠想,就能想到的东西。
现在,CS已经发展成了一门实验科学,不能光靠想了。
但是,他们发明的东西,都是挂在低树上的果子,都是些光靠想,就能想到的东西。
现在,CS已经发展成了一门实验科学,不能光靠想了。
-
- 论坛精英
CanGuanGong 的博客 - 帖子: 7868
- 注册时间: 7月 23, 2022, 6:05 pm
- 昵称(选填): 调戏作风优良能打胜仗的小粉红
#88 Re: 科学的发展很难预测
虽然如此,但毕竟早期还是折腾出了那个图像识别的,具体名字忘了,似乎带个net字样。科技含量虽不高,点子本身还是不错,闪闪发光
======================================================
| 离岸小粉红研究中心首席科学家 +新老买提双料精神领袖兼党组书记 +行为艺术买提第一人 |
=======================================================
| 离岸小粉红研究中心首席科学家 +新老买提双料精神领袖兼党组书记 +行为艺术买提第一人 |
=======================================================