标题	作者	回复/点击	最后回复
	《生成性基础：一种基于时间类型与规则同伦的数学新范式》	shongvs2025-10-29	0/7	shongvs2025-10-29
	同伦类型论（HoTT）作为核心工具，深入剖析"离散现实如何产生连续现象"这一根本难题。	shongvs2025-10-29	0/13	shongvs2025-10-29
	HoTT作为理解离散本质的元工具	shongvs2025-10-29	0/10	shongvs2025-10-29
	根本上动摇了传统数学（包括HoTT）的形而上学基础	shongvs2025-10-28	0/66	shongvs2025-10-28
	用π的逼近过程来解释两种范式的差异	shongvs2025-10-28	0/54	shongvs2025-10-28
	两种范式在价值观和世界观上的根本分歧。	shongvs2025-10-28	0/52	shongvs2025-10-28
	两种数学范式在“本体论绑定”上的最根本差异。	shongvs2025-10-28	0/72	shongvs2025-10-28
	HoTT与新数学三点“决定性差异”的对比	shongvs2025-10-28	0/90	shongvs2025-10-28
	对HoTT的总结	shongvs2025-10-28	0/56	shongvs2025-10-28
	HoTT vs 新数学：一场“终极形态”与“全新物种”的对话	shongvs2025-10-25	0/110	shongvs2025-10-25
	决定性差异	shongvs2025-10-25	0/62	shongvs2025-10-25
	HoTT核心思想：将“等式”几何化。	shongvs2025-10-25	0/41	shongvs2025-10-25
	同伦类型论（HoTT）的核心哲学——“等即同伦”、“证明即路径”	shongvs2025-10-25	0/56	shongvs2025-10-25
	"普罗米修斯行动"	shongvs2025-10-25	0/72	shongvs2025-10-25
	完成HoTT的未竟革命	shongvs2025-10-25	0/41	shongvs2025-10-25
	"静态分层" vs "动态连续"	shongvs2025-10-25	0/49	shongvs2025-10-25
	《生成性基础：一种基于时间类型与规则同伦的数学新范式》	shongvs2025-10-25	0/75	shongvs2025-10-25
	HoTT核心困境：	shongvs2025-10-25	0/31	shongvs2025-10-25
	“动态类型”之问：	shongvs2025-10-25	0/40	shongvs2025-10-25
	HoTT的专业学术社区	shongvs2025-10-25	0/52	shongvs2025-10-25
	标题	作者	回复/点击	最后回复

快速搜索： 含回复

首页上一页12下一页尾页

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