主题：旧金山 -- 胡里糊涂
共:💬2741 🌺26330 🌵509
数学的发展是很难预测的。
举个例子，海廷提出的直觉主义逻辑，一直没有得到他的老师布劳威尔的认可，布劳威尔甚至把海廷的工作称为“无果实验”。但是墙内开花墙外香，现在交互式定理证明的一种主流框架就是来自于海廷的直觉主义逻辑。
通宝推：桥上,
- 相关回复 上下关系8
压缩 21 层
🙂河里真有厉害的 1 桥上 字0 2023-12-05 22:29:14
🙂你说的可能是吴文俊先生 5 唐家山 字255 2023-12-05 01:49:41
🙂是的，人类的思维方式可分为“归纳型”的和“演绎型” 6 土木辛科 字1666 2023-12-04 02:10:59
🙂最近中美还站在了AI硬件的门槛上，也就是非冯诺依曼架构的 7 onlookor 字541 2023-12-04 02:34:39
🙂我也看到清华大学存算一体技术研究的报道 6 土木辛科 字321 2023-12-04 04:13:22
🙂而且我曾经发现Chatgpt 6 newbird 字218 2023-12-03 22:15:06
🙂AI学的是人的语言文字，是人性的聚类，浓缩和投影 2 eatmoon 字386 2023-12-05 23:59:22
🙂因为热力学第二定律啊 4 赵美成 字224 2023-12-06 02:12:33