项立刚又攻击科学研究了

[Caravel]

我一开始就说了，工程学要求论文必须可复现，数学推导必须可以形式化验证

满足不了这两个条件的都是基础理论研究

不能重复的能叫科学么？
数学推导形式化验证是什么东东？一看就是民科瞎想的东西。

[xiaoju]

陶哲轩也成你嘴里的民科了。。。

能重复和被验证的叫工程，不能重复的叫基础理论，欢迎对号入座

不能重复的能叫科学么？
数学推导形式化验证是什么东东？一看就是民科瞎想的东西。

[Caravel]

陶哲轩也成你嘴里的民科了。。。

能重复和被验证的叫工程，不能重复的叫基础理论，欢迎对号入座

呵呵，陶哲轩说过你这句话么？

满口胡说八道，谁跟你说基础理论不能重复？质能方程不能重复么？广义相对论和量子力学验证的精度远远高于工程。

[xiaoju]

用实验验证物理规律是工程，不是基础理论

基础理论指的是上帝创世，李洪志开天辟地，太阳绕着地球转之类没有依据的故事，中间夹杂着逻辑错误更多的日心说

你一方面说基础理论重要，一方面拼命举工程学例子，这是一种什么样的矛盾心态？

满口胡说八道，谁跟你说基础理论不能重复？质能方程不能重复么？广义相对论和量子力学验证的精度远远高于工程。

[xiaoju]

陶哲轩常年研究数学定理形式化验证，这都没听说过？

因为他知道很大比例的数学论文能发表只是因为看的人太少，找不出里面的错误而已。

呵呵，陶哲轩说过你这句话么？

[Caravel]

用实验验证物理规律是工程，不是基础理论

基础理论指的是上帝创世，李洪志开天辟地，太阳绕着地球转之类没有依据的故事，中间夹杂着逻辑错误更多的日心说

你一方面说基础理论重要，一方面拼命举工程学例子，这是一种什么样的矛盾心态？

胡说八道。你一个一天science没做过的，满嘴胡言。实验科学从来都是基础科学最重要的一部分，物理学化学生物学本质上都是实验科学。

[Caravel]

陶哲轩常年研究数学定理形式化验证，这都没听说过？

因为他知道很大比例的数学论文能发表只是因为看的人太少，找不出里面的错误而已。

数学里面哪些定理是形式化验证的？

[Caravel]

草，我看完了才发现其实这个文的主要目的是黑何炸麻。何炸麻搞越界，抢了文科饭碗。

黑整个科学界，最近是丘成桐和何炸麻。

[xiaoju]

爱因斯坦也研究各种实验，但这不叫基础理论科学。。。

所以说所谓的“基础理论科学”就是民科核深井冰自娱自乐的概念，你是不是被任正非给骗了？

胡说八道。你一个一天science没做过的，满嘴胡言。实验科学从来都是基础科学最重要的一部分，物理学化学生物学本质上都是实验科学。

[xiaoju]

你可以自己看wiki，这是个很庞大的分支。

数学里面哪些定理是形式化验证的？

[Caravel]

你可以自己看wiki，这是个很庞大的分支。

你承认自己是胡扯就行了，can not name one

[xiaoju]

卧槽，你没听说过的都是胡扯

这个领域最有名的例子是上世纪70年代年完成的四色定理的机器证明，因为是机器完成的，所以人类无法验证，也无法排除机器错误的可能

所以几十年后有人有coq做了形式化验证，确认机器没有出错。虽然机器验证一样可能有错，但其可靠性已经超过了绝大部分人类数学论文了

你承认自己是胡扯就行了，can not name one

[Caravel]

卧槽，你没听说过的都是胡扯

这个领域最有名的例子是上世纪70年代年完成的四色定理的机器证明，因为是机器完成的，所以人类无法验证，也无法排除机器错误的可能

所以几十年后有人有coq做了形式化验证，确认机器没有出错。虽然机器验证一样可能有错，但其可靠性已经超过了绝大部分人类数学论文了

四色定理那叫计算机辅助证明，人算太繁琐，其中一些步骤用 程序完成。这不是什么形式化验证。你根本不知道自己在说啥。

[xiaoju]

机器证明和形式化验证是两个不同的东西，中间隔了几十年，你不懂不妨仔细研究一下

四色定理那叫计算机辅助证明，人算太繁琐，其中一些步骤用 程序完成。这不是什么形式化验证。你根本不知道自己在说啥。

[弃婴千枝]

xiaoju这个日本傻毴中专生说

科学研究结果不需要能被他人重复
但是工程研究结果需要100%能被他人重复

我看完问它有没有phd
大日本帝国的xiaoju不肯回答
你妈

[Caravel]

xiaoju这个日本傻毴中专生说

科学研究结果不需要能被他人重复
但是工程研究结果需要100%能被他人重复

我看完问它有没有phd
大日本帝国的xiaoju不肯回答
你妈

和项立刚一样，就是不懂的东西胡说八道，观众一样不懂，还把他捧成大V

[TOP_TOP]

用文艺学文科野鸡来评价科学，这是一个创新

[xiaoju]

民科你学过数学物理么？

xiaoju这个日本傻毴中专生说

科学研究结果不需要能被他人重复
但是工程研究结果需要100%能被他人重复

我看完问它有没有phd
大日本帝国的xiaoju不肯回答
你妈

[xiaoju]

我觉得陶哲轩比你懂得多点，你妄评而已

和项立刚一样，就是不懂的东西胡说八道，观众一样不懂，还把他捧成大V

[Caravel]

我觉得陶哲轩比你懂得多点，你妄评而已

小菊，你就是项立刚，你不要来了，跟你已经没什么好说的了。