传统数学的批判-新数学论坛

版主:shongvs
主题：46

标题	作者	回复/点击	最后回复
[传统数学的批判] “连续性的幽灵”之问：	shongvs2025-10-25	0/50	shongvs2025-10-25
[HoTT] HoTT的专业学术社区	shongvs2025-10-25	0/52	shongvs2025-10-25
[HoTT] 一个形式化的构想：时序类型论	shongvs2025-10-25	0/28	shongvs2025-10-25
[HoTT] 当前HoTT（以及大多数经典数学框架）的一个核心局限：	shongvs2025-10-25	0/27	shongvs2025-10-25
[HoTT] HoTT的“连续”根基：确然的依赖	shongvs2025-10-25	0/36	shongvs2025-10-25
[传统数学的批判] 数学的认知鸿沟：符号功能混淆及其系统性失效	shongvs2025-10-22	0/103	shongvs2025-10-22
标题	作者	回复/点击	最后回复