STEM版,合并数学,物理,化学,科学,工程,机械。不包括生物、医学相关,和计算机相关内容。
版主: verdelite, Tlexander
-
forecasting
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
帖子
由 forecasting »
princeton 写了: ↑11月 20, 2023, 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
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
帖子
由 forecasting »
Jack12345 写了: ↑11月 20, 2023, 1:05 pm
你看看,搞 computer 的 又来碰瓷 数学了,真是 不知道 说什么好。
数学 已经发展了 2千多年了,人类 最聪明的 前辈们 前赴后继 一代代研究,才发展到了今天。还要 继续发展下去
computer 何德何能 和 数学比啊?也就和 汽车 可以 比一比,当然多了个 软件层,变化更多端 而已
我说你的计算机是国内教出来的,你还恼火,看看显示出来了吧?
。NP=P?这个千禧年问题就是计算复杂性理论的题目。哥德尔不完备定理,图灵机,递归函数,λ定义,乃至范畴论都是计算机的东西。下面人身攻击一句:你连这个都不知道,还这么大声,不觉得害臊?
,
-
forecasting
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
帖子
由 forecasting »
FoxMe 写了: ↑11月 20, 2023, 4:30 pm
是有这种说法。如果是真的,量子计算就全完了。
基于量子纠缠的量子通信也完了,两者其实在这个问题上同解或无解。
-
bigbendan
- 职业作家
- 帖子: 456
- 注册时间: 10月 10, 2022, 3:02 am
- 昵称(选填): bigbendan
帖子
由 bigbendan »
哲学思想可以理解。
就是滚雪球,越发展越快。
spiral up.
-
Jack12345
- 论坛精英
- 帖子: 8186
- 注册时间: 7月 22, 2022, 11:46 am
帖子
由 Jack12345 »
forecasting 写了: ↑11月 21, 2023, 6:03 am
我说你的计算机是国内教出来的,你还恼火,看看显示出来了吧?
。NP=P?这个千禧年问题就是计算复杂性理论的题目。哥德尔不完备定理,图灵机,递归函数,λ定义,乃至范畴论都是计算机的东西。下面人身攻击一句:你连这个都不知道,还这么大声,不觉得害臊?
,
我又不是 没学过 离散数学 和 数据结构,也没有特别难的。数学系里 有些课程 可以折腾的你 死去活来
NP=P 就是那个机构有点钱,列了 7个问题,权威性 和 希尔伯特 那23个题目差远了。然后就和 黎曼猜想 碰瓷了?数学界 有把 NP=P 当作主流方向吗?
数学界里 没解决的问题 多如牛毛,比如 证明 e 是 无理数。也不差一个 NP=P 了,只不过现在 搞计算机的 有钱了。
哥德尔不完备定理 也属于 计算机领域了?不会吧?难道 公理系统 逻辑学 集合论 也属于 计算机了?
EDA 软件 也用到 图论的理论,难道 图论 也属于 计算机了?不会吧?
网上电子商务 要用到 密码学的知识,难道 密码学 也属于计算机了?不会吧?
工程软件里 要用到 有限元理论,难道 有限元方法 也属于计算机了?不会吧?
-
mmking
- 职业作家
- 帖子: 666
- 注册时间: 1月 25, 2023, 5:10 am
帖子
由 mmking »
数学不是science,数学也不是art, period
Computer is a tool, so it falls under engineering in human’s definition. 你不一定在工学院拿过CS的degree,但肯定不是在数学系或者艺术系拿的
forecasting 写了: ↑11月 20, 2023, 2:36 am
你要是认为数学是science,那么计算机至少一大半是science,如果认为数学是艺术,那么计算机一大半也是艺术。你学的计算机是国内教出来的,所以只能算工程。
-
Caravel
- 论坛支柱
Caravel 的博客
- 帖子: 12262
- 注册时间: 7月 24, 2022, 5:21 pm
帖子
由 Caravel »
forecasting 写了: ↑11月 21, 2023, 5:39 am
跟Peter Shor吵了几年,他最后也只承认遇到了fundamental difficulty。我认为忽略掉的因素应该能在量子场论找到,各种方案或失败或毫无进展,外加理论方面有一些地方没法确定,基本可以断定不可能实现,只是一个理论计算模型。
吹牛逼找错人了,Peter shor只是个计算机科学家,不是物理学家。QEC的困难和进展都在物理学里面,你们计算机的什么计算复杂性都只能在外围玩玩。
-
FoxMe
- 论坛点评
- 帖子: 3252
- 注册时间: 7月 26, 2022, 4:46 pm
- 昵称(选填): 令狐
帖子
由 FoxMe »
“数学界里 没解决的问题 多如牛毛,比如 证明 e 是 无理数。也不差一个 NP=P 了,”
尼玛不会吧,几百年前就证明了。
-
Jack12345
- 论坛精英
- 帖子: 8186
- 注册时间: 7月 22, 2022, 11:46 am
帖子
由 Jack12345 »
FoxMe 写了: ↑11月 21, 2023, 3:44 pm
“数学界里 没解决的问题 多如牛毛,比如 证明 e 是 无理数。也不差一个 NP=P 了,”
尼玛不会吧,几百年前就证明了。
那记错了,有可能是 pi + e。反正 数学里 没有证明的问题 多如牛毛
上次由 Jack12345 在 11月 21, 2023, 3:51 pm,总共编辑 1 次。
-
FoxMe
- 论坛点评
- 帖子: 3252
- 注册时间: 7月 26, 2022, 4:46 pm
- 昵称(选填): 令狐
帖子
由 FoxMe »
所有这些算法应该叫朱世杰算法:
朱世杰(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是用代数几何的方法或者代数方法得出来的,运气好啊,唉。
-
forecasting
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
帖子
由 forecasting »
FoxMe 写了: ↑11月 21, 2023, 3:49 pm
所有这些算法应该叫朱世杰算法:
朱世杰(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 在 11月 21, 2023, 7:58 pm,总共编辑 1 次。
-
forecasting
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
帖子
由 forecasting »
mmking 写了: ↑11月 21, 2023, 2:41 pm
数学不是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
- 小有名气
- 帖子: 31
- 注册时间: 10月 15, 2022, 5:20 pm
- 昵称(选填): wow
帖子
由 princeton »
确实, Gil Strang 的最后一节课,第一件事就是说,高斯消元法应叫中国人消元法
FoxMe 写了: ↑11月 21, 2023, 3:49 pm
所有这些算法应该叫朱世杰算法:
朱世杰(1249年—1314年),字汉卿,号松庭,燕山人,元代数学家兼教育家,毕生从事数学教育。朱世杰在当时天元术的基础上发展出“四元术”,也就是列出四元高次多项式方程,以及消元求解的方法。
princeton 写了: ↑昨天, 9:19 pm
吴算法和 Groubner Basis都是解多元高次多项式组的高斯消元法的推广,Groubner basis 更系统,Groubner basis 的书里有提吴方法。 遗憾的是它们的计算复杂度不可控,没有上界。
-
verdelite
- 论坛元老
- 帖子: 15518
- 注册时间: 7月 21, 2022, 11:33 pm
- 昵称(选填): 众傻之傻
帖子
由 verdelite »
japamer 写了: ↑11月 22, 2023, 6:33 am
又一名中科院量子院士诞生。
科学的发展一般不是理论先行。
工程的发展当然靠人力的积累。
段路明?现在在清华大学。
你说的又一个中科院量子院士是谁?
没有光子;也没有量子能级,量子跃迁,量子叠加,量子塌缩和量子纠缠。
-
verdelite
- 论坛元老
- 帖子: 15518
- 注册时间: 7月 21, 2022, 11:33 pm
- 昵称(选填): 众傻之傻
帖子
由 verdelite »
japamer 写了: ↑11月 22, 2023, 10:53 am
是他,不是刚当选院士嘛
人家是清华大学的,不是中科院的。
没有光子;也没有量子能级,量子跃迁,量子叠加,量子塌缩和量子纠缠。
-
Caravel
- 论坛支柱
Caravel 的博客
- 帖子: 12262
- 注册时间: 7月 24, 2022, 5:21 pm
帖子
由 Caravel »
japamer 写了: ↑11月 22, 2023, 6:33 am
又一名中科院量子院士诞生。
科学的发展一般不是理论先行。
工程的发展当然靠人力的积累。
段路明是做理论的啊
-
Oldsea
- 见习点评
- 帖子: 1397
- 注册时间: 7月 30, 2022, 2:25 pm
- 昵称(选填): Day
帖子
由 Oldsea »
自然界核苷酸只有4种,氨基酸20个
构成的生命种类是天文数字
人在自然面前就是个婴儿
-
forecasting
- 著名写手
- 帖子: 313
- 注册时间: 4月 17, 2023, 8:26 am
帖子
由 forecasting »
forecasting 写了: ↑11月 20, 2023, 2:31 am
错:AGI:成功(有人这样的意识、会做科研)。
不确定:聚变发电:还是不成。
不全对:量子纠缠、量子通信、量子计算:彻底证伪。量子纠缠已经证明,你就算了,不懂就别说了。量子通信、量子计算就是瞎搞,纠错速度不可能超过消相干速度。
今年 的发展和我的预判,对比一下。
这个帖子下显出了这个版面上各个id的素养
-
Pegasi
- 知名作家
- 帖子: 867
- 注册时间: 10月 22, 2022, 12:50 pm
帖子
由 Pegasi »
下一次真得靠聚变发电了
现代农业让人类大吃饱不成问题,才分化出大量依靠纯脑力劳动的工作,但绝大部分人还是得靠出卖脑力体力糊口
能源无限才能让更多的人生下来就衣食无忧,释放创造力
verdelite 写了: ↑11月 19, 2023, 6:50 pm
下面5年:
AGI:成功(有人这样的意识、会做科研)。
聚变发电:还是不成。
量子纠缠、量子通信、量子计算:彻底证伪。