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

版主:shongvs
主题：48

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