那肯定还没到结构实在论那个层次，盔甲是把他提升了一下

【 在 hut 的大作中提到: 】
: 所以你觉得你发的ai关于那个问题的解答
: 是结构实在论？！？！
--
FROM 123.121.181.*

再提升也很结构实在论没啥关系
结构实在论还是实在论啊
明明说的是实在论与反实在论的事情
算了，你缺少智识上的正直
不跟你讨论了
你要是想明白，还是多琢磨我的帖子吧

【 在 qianyishi 的大作中提到: 】
: 那肯定还没到结构实在论那个层次，盔甲是把他提升了一下
:
--
FROM 112.2.77.*

还智识上的正直，我最不缺的就是这个了
我觉得你可能会拒绝接受结构实在论
所以我推荐的那个视频你看了么？
【 在 hut 的大作中提到: 】
: 再提升也很结构实在论没啥关系
: 结构实在论还是实在论啊
: 明明说的是实在论与反实在论的事情
: ...................
--
FROM 123.121.181.*

候机时看了一下那个视频。
我挺赞同他的说法的。

这个问题我和家人朋友都讨论过。
AI对数学最显著的作用就是审稿，
有了AI，不再需要一个讨论班审几年了。
这是因为数学本身是形式化的。

数学的机器证明40年前国内吴文俊就在做了。

数学和科学有个非常显著的差别：
数学里的很多难题就在那里，解决了是王道，
就必然NB。

但科学，尤其是物理学，
最重要的是问出正确的问题，而不是解难题。
现在理论物理领域最危险（！）的就是无法判别什么问题才是真正重要的，
才是on the right track!
当然，数学里也有相当一部分，
或者说最重要的部分亦是如此。
而这部分，显然是AI根本看不到希望的。

【 在 qianyishi 的大作中提到: 】
: ai怕出错怕的不行哈哈，人类是个暴脾气。。。
: 理工科文章这样说我还可以接受，但文科的那种什么阴阳啦眀褒实贬之类的文风，我是看着就特别难受
: 话说回来这两天有个陶哲轩的访谈：数学家不做实验？现在我们可以做了。
: 不知你看过没有，有何见教
: 【 在 Myarmor 的大作中提到: 】
: : 这两篇都是既。。。又。。。这种模式。整篇文章看下来，总给人雾里看花的感觉，坚决不做犀利明确的判断。我是很不喜欢读这样的文章的。

--发自 ismth(丝滑版)
--
FROM 171.219.204.*

你咋小小年纪脑子那么僵化了呢？
是，即便你在哲学这块儿上是水木研究老祖宗
那也不能倚老卖老不是
反正盔甲说的结构实在论我第一次知道
甭管它跟这个话题有多大关系
这对我都没关系啊，我学到了新知识
并且学习后我认为他们说的核心是一样的

【 在 hut 的大作中提到: 】
: 搞笑，我在水木上谈结构实在论的时候
: 你们还没听说过这个词呢
: 不过结构实在论跟这个问题没有关系而已
: ...................
--
FROM 123.121.181.*