新未名空间

xiaoju 写了： 2024年 6月 1日 18:27 民科你学过数学物理么？

Caravel 写了： 2024年 6月 1日 18:49 小菊，你就是项立刚，你不要来了，跟你已经没什么好说的了。

弃婴千枝 写了： 2024年 6月 1日 18:51 我是买提唯一数学物理专家

xiaoju 写了： 2024年 6月 1日 18:52 折腾这么久，你搞懂什么叫形式化验证了没有？

妄评自己不懂的东西，你还不如项立刚。

Caravel 写了： 2024年 6月 1日 19:09 跟你这种没有基本学术honesty的没法讨论问题。

我们多个ID早就指出你这个帖子里面讲的几乎每一句话都是错的，你还不是照样打滚不认。

你和项立刚的最大同共同点就是脸皮厚。

xiaoju 写了： 2024年 6月 1日 19:11 我见过无数民科，打滚的特征之一是“你这个帖子里面讲的几乎每一句话都是错的”。。。

实际上你这么愤怒不是因为别人错，而是发现了自己错

Caravel 写了： 2024年 6月 1日 19:14 脸皮之厚，你在菌斑绝对能名列三甲

xiaoju 写了： 2024年 6月 1日 19:16 实际上你已经知道自己出了大洋相

本主题我一开始就在说“程序化验证”，而你上网搜索前甚至不知道这是什么意思

SOD 写了： 2024年 6月 1日 19:19 你一条蠢逼，哪里轮得到贵畜开菊？

等下辈子拿个stem博士欢迎你回来

Havana 写了： 2024年 5月 31日 20:47 现在的问题是科学界正在被论文界取代，如何区分这两者没有好办法。

xiaoju 写了： 2024年 6月 1日 19:21 你爹被双规找习大大闹去，不是我抓的人。

xiaoju 写了： 2024年 6月 1日 18:53 这个大家都知道，但和我的问题无关。

弃婴千枝 写了： 2024年 6月 1日 19:58 你有phd么?

xiaoju 写了： 2024年 6月 1日 19:16 实际上你已经知道自己出了大洋相

本主题我一开始就在说“程序化验证”，而你上网搜索前甚至不知道这是什么意思

Caravel 写了： 2024年 6月 1日 22:53 是你瞎几把胡说“工程学要求论文必须可复现，数学推导必须可以形式化验证满足不了这两个条件的都是基础理论研究”。

连科学都要求复现这种基本都不懂。还自作聪明的认为只有工程要求复现。

数学论文做所谓形式化证明的都寥寥无几，不要说工程论文。这很好的体现了这个人素质，没有任何依据的前提下胡说八道，缺乏基本的学术素养。

xiaoju 写了： 2024年 6月 1日 23:08 是啊，所以说大部分的“基础理论”是伪科学，因为论文复现不了

你今天用人身攻击掩盖昨天无知，属于民科惯用伎俩

Caravel 写了： 2024年 6月 2日 00:16 “所以说大部分的“基础理论”是伪科学”

又开始胡说，你一个没做过一天科学的不要转圈丢人了。和你讨论纯属浪费时间。这是最后一贴。