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

版主:shongvs
主题：46

标题	作者	回复/点击	最后回复
[传统数学的批判] “逻辑上自洽是因为推理的时间还不足够长”	shongvs2025-10-27	0/49	shongvs2025-10-27
[传统数学的批判] “潜无限”与“实无限”：同一枚硬币的两面	shongvs2025-10-27	0/28	shongvs2025-10-27
[传统数学的批判] 1. 无限是否是传统数学的根基？	shongvs2025-10-27	0/4	shongvs2025-10-27
[传统数学的批判] 传统微积分：动态现实的静态快照	39.186.187.*2025-10-27	0/32	39.186.187.*2025-10-27
[传统数学的批判] 抽象的“载体”或“位置”	shongvs2025-10-26	0/27	shongvs2025-10-26
[传统数学的批判] 两个问题	shongvs2025-10-26	0/46	shongvs2025-10-26
[传统数学的批判] 两种根本不同的技术路径。	39.186.187.*2025-10-26	0/65	39.186.187.*2025-10-26
[HoTT] HoTT vs 新数学：一场“终极形态”与“全新物种”的对话	shongvs2025-10-25	0/110	shongvs2025-10-25
[HoTT] 决定性差异	shongvs2025-10-25	0/62	shongvs2025-10-25
[HoTT] HoTT核心思想：将“等式”几何化。	shongvs2025-10-25	0/41	shongvs2025-10-25
[传统数学的批判] "生成即存在"和"过程即验证"	shongvs2025-10-25	0/61	shongvs2025-10-25
[HoTT] 同伦类型论（HoTT）的核心哲学——“等即同伦”、“证明即路径”	shongvs2025-10-25	0/56	shongvs2025-10-25
[传统数学的批判] 宇宙观的根本对立	shongvs2025-10-25	0/39	shongvs2025-10-25
[HoTT] "普罗米修斯行动"	shongvs2025-10-25	0/72	shongvs2025-10-25
[HoTT] 完成HoTT的未竟革命	shongvs2025-10-25	0/41	shongvs2025-10-25
[HoTT] "静态分层" vs "动态连续"	shongvs2025-10-25	0/49	shongvs2025-10-25
[HoTT] 《生成性基础：一种基于时间类型与规则同伦的数学新范式》	shongvs2025-10-25	0/75	shongvs2025-10-25
[HoTT] HoTT核心困境：	shongvs2025-10-25	0/31	shongvs2025-10-25
[HoTT] “动态类型”之问：	shongvs2025-10-25	0/40	shongvs2025-10-25
[传统数学的批判] “宇宙层级”之问：	shongvs2025-10-25	0/34	shongvs2025-10-25
标题	作者	回复/点击	最后回复