标题	作者	回复/点击	最后回复
	[传统数学批判与HoTT] "静态分层" vs "动态连续"	shongvs2025-10-25	0/49	shongvs2025-10-25
	[传统数学批判与HoTT] 《生成性基础：一种基于时间类型与规则同伦的数学新范式》	shongvs2025-10-25	0/58	shongvs2025-10-25
	[传统数学批判与HoTT] HoTT核心困境：	shongvs2025-10-25	0/31	shongvs2025-10-25
	[传统数学批判与HoTT] “动态类型”之问：	shongvs2025-10-25	0/40	shongvs2025-10-25
	[传统数学批判与HoTT] “宇宙层级”之问：	shongvs2025-10-25	0/34	shongvs2025-10-25
	[传统数学批判与HoTT] “连续性的幽灵”之问：	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-25	0/68	shongvs2025-10-25
	[哲学根基] 《阴阳辩证动态数学》	shongvs2025-10-25	0/74	shongvs2025-10-25
	[哲学根基] 新数学宣言：基于时间公理与规则本体的动态数学架构	shongvs2025-10-23	0/140	shongvs2025-10-23
	[哲学根基] “奔跑的豹子”与“录像”的数学比喻	39.186.187.*2025-10-23	0/153	39.186.187.*2025-10-23
	[新数学实例] 新数学核心实例八：数的本质与逻辑推理的数学化	shongvs2025-10-22	0/171	shongvs2025-10-22
	[新数学实例] 新数学核心实例七：物理粒子系统	shongvs2025-10-22	0/126	shongvs2025-10-22
	[新数学实例] 新数学核心实例六：π的规则家族	shongvs2025-10-22	0/118	shongvs2025-10-22
	[新数学实例] 新数学核心实例五：实时几何点	shongvs2025-10-22	0/75	shongvs2025-10-22
	[新数学实例] 新数学核心实例四：简单交替序列	shongvs2025-10-22	0/68	shongvs2025-10-22
	[新数学实例] 新数学核心实例三：斐波那契数列	shongvs2025-10-22	0/137	shongvs2025-10-22
	标题	作者	回复/点击	最后回复

快速搜索： 含回复

首页 上一页 1234567下一页尾页

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