标题	作者	回复/点击	最后回复
	[HoTT] HoTT核心困境：	shongvs2025-10-25	0/63	shongvs2025-10-25
	[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-25	0/99	shongvs2025-10-25
	[哲学根基] 《阴阳辩证动态数学》	shongvs2025-10-25	0/134	shongvs2025-10-25
	[哲学根基] 新数学宣言：基于时间公理与规则本体的动态数学架构	shongvs2025-10-23	0/161	shongvs2025-10-23
	[哲学根基] “奔跑的豹子”与“录像”的数学比喻	39.186.187.*2025-10-23	0/156	39.186.187.*2025-10-23
	[新数学实例] 新数学核心实例八：数的本质与逻辑推理的数学化	shongvs2025-10-22	0/191	shongvs2025-10-22
	[新数学实例] 新数学核心实例七：物理粒子系统	shongvs2025-10-22	0/153	shongvs2025-10-22
	[新数学实例] 新数学核心实例六：π的规则家族	shongvs2025-10-22	0/135	shongvs2025-10-22
	[新数学实例] 新数学核心实例五：实时几何点	shongvs2025-10-22	0/81	shongvs2025-10-22
	[新数学实例] 新数学核心实例四：简单交替序列	shongvs2025-10-22	0/140	shongvs2025-10-22
	[新数学实例] 新数学核心实例三：斐波那契数列	shongvs2025-10-22	0/212	shongvs2025-10-22
	[新数学实例] 新数学核心实例二：动态自然数系统	shongvs2025-10-22	0/122	shongvs2025-10-22
	[新数学实例] 新数学核心实例一：动态信息聚合规则	shongvs2025-10-22	0/132	shongvs2025-10-22
	标题	作者	回复/点击	最后回复

快速搜索： 含回复

首页 上一页 2345678下一页尾页

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