标题	作者	回复/点击	最后回复
	脉冲原生数学的形式化片段	shongvs2025-10-29	0/32	shongvs2025-10-29
	。HoTT 虽然结构上与新数学有某种同构	shongvs2025-10-29	0/40	shongvs2025-10-29
	《生成性基础：一种基于时间类型与规则同伦的数学新范式》	shongvs2025-10-29	0/51	shongvs2025-10-29
	同伦类型论（HoTT）作为核心工具，深入剖析"离散现实如何产生连续现象"这一根本难题。	shongvs2025-10-29	0/54	shongvs2025-10-29
	HoTT作为理解离散本质的元工具	shongvs2025-10-29	0/31	shongvs2025-10-29
	根本上动摇了传统数学（包括HoTT）的形而上学基础	shongvs2025-10-28	0/82	shongvs2025-10-28
	用π的逼近过程来解释两种范式的差异	shongvs2025-10-28	0/56	shongvs2025-10-28
	两种范式在价值观和世界观上的根本分歧。	shongvs2025-10-28	0/76	shongvs2025-10-28
	两种数学范式在“本体论绑定”上的最根本差异。	shongvs2025-10-28	0/83	shongvs2025-10-28
	HoTT与新数学三点“决定性差异”的对比	shongvs2025-10-28	0/131	shongvs2025-10-28
	对HoTT的总结	shongvs2025-10-28	0/88	shongvs2025-10-28
	HoTT vs 新数学：一场“终极形态”与“全新物种”的对话	shongvs2025-10-25	0/225	shongvs2025-10-25
	决定性差异	shongvs2025-10-25	0/171	shongvs2025-10-25
	HoTT核心思想：将“等式”几何化。	shongvs2025-10-25	0/154	shongvs2025-10-25
	同伦类型论（HoTT）的核心哲学——“等即同伦”、“证明即路径”	shongvs2025-10-25	0/103	shongvs2025-10-25
	"普罗米修斯行动"	shongvs2025-10-25	0/166	shongvs2025-10-25
	完成HoTT的未竟革命	shongvs2025-10-25	0/115	shongvs2025-10-25
	"静态分层" vs "动态连续"	shongvs2025-10-25	0/111	shongvs2025-10-25
	《生成性基础：一种基于时间类型与规则同伦的数学新范式》	shongvs2025-10-25	0/169	shongvs2025-10-25
	HoTT核心困境：	shongvs2025-10-25	0/85	shongvs2025-10-25
	标题	作者	回复/点击	最后回复

快速搜索： 含回复

首页上一页12下一页尾页

分类： 请选择分类哲学根基  自指问题传统数学的批判  HoTT新数学摘要  时序，逻辑，逻辑学新数学的应用时间公理与规则本体新数学实例 标题： 内容： 验证： * 匿名发表需要进行验证！