标题	作者	回复/点击	最后回复
	[HoTT] 脉冲原生数学的形式化片段	shongvs2025-10-29	0/32	shongvs2025-10-29
	[HoTT] 。HoTT 虽然结构上与新数学有某种同构	shongvs2025-10-29	0/40	shongvs2025-10-29
	[传统数学的批判] 《生成性基础：一种基于时间类型与规则同伦的数学新范式》	shongvs2025-10-29	0/28	shongvs2025-10-29
	[HoTT] 《生成性基础：一种基于时间类型与规则同伦的数学新范式》	shongvs2025-10-29	0/30	shongvs2025-10-29
	[HoTT] 同伦类型论（HoTT）作为核心工具，深入剖析"离散现实如何产生连续现象"这一根本难题。	shongvs2025-10-29	0/33	shongvs2025-10-29
	[HoTT] HoTT作为理解离散本质的元工具	shongvs2025-10-29	0/24	shongvs2025-10-29
	[HoTT] 根本上动摇了传统数学（包括HoTT）的形而上学基础	shongvs2025-10-28	0/66	shongvs2025-10-28
	[HoTT] 用π的逼近过程来解释两种范式的差异	shongvs2025-10-28	0/54	shongvs2025-10-28
	[HoTT] 两种范式在价值观和世界观上的根本分歧。	shongvs2025-10-28	0/65	shongvs2025-10-28
	[HoTT] 两种数学范式在“本体论绑定”上的最根本差异。	shongvs2025-10-28	0/72	shongvs2025-10-28
	[HoTT] HoTT与新数学三点“决定性差异”的对比	shongvs2025-10-28	0/108	shongvs2025-10-28
	[HoTT] 对HoTT的总结	shongvs2025-10-28	0/70	shongvs2025-10-28
	[传统数学的批判] 对数学实用主义辩护的终极审判：	shongvs2025-10-27	0/122	shongvs2025-10-27
	[传统数学的批判] 对数学实用主义辩护的终极批判：	shongvs2025-10-27	0/91	shongvs2025-10-27
	[传统数学的批判] 对传统数学范式（Paradigm）的根源性批判。	shongvs2025-10-27	0/61	shongvs2025-10-27
	[传统数学的批判] 哲学逻辑的根本大法：一个事物不能同时是A又是非A。	shongvs2025-10-27	0/55	shongvs2025-10-27
	[传统数学的批判] 数学效用背后的灾难！	shongvs2025-10-27	0/66	shongvs2025-10-27
	[传统数学的批判] 传统数学是对哲学逻辑的暴力。	shongvs2025-10-27	0/89	shongvs2025-10-27
	[传统数学的批判] 0.99的循环＝1是诡辩吗?	shongvs2025-10-27	0/52	shongvs2025-10-27
	[传统数学的批判] 论传统数学的“模仿”本质、“失真”必然性及对实用主义辩护批判	shongvs2025-10-27	0/93	shongvs2025-10-27
	标题	作者	回复/点击	最后回复

快速搜索： 含回复

首页上一页123下一页尾页

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