发表了就算证明吗
发表了就等于证明了吗——abc 猜想与宇宙际 Teichmüller 理论从 2012 年预印本、2021 年 PRIMS 发表到 2026 年 Lean 形式化的七层承重测试
最小作用量 / 对称性原理被目的论化大体检
最小作用量 / 对称性原理被目的论化大体检——终极因冒充动力因：从 Maupertuis 神学到 Planck「目的论性质」再到现代对称崇拜
数学的「不合理有效性」大体检
数学的「不合理有效性」大体检——那个奇迹是一张有效性地图，不是一条宇宙定律
奥卡姆剃刀大体检
奥卡姆剃刀大体检——「简单就是真／宇宙本质简单」是把一把价值中性的认识论卫生工具，从方法论偷换成了本体论定律
P vs NP 的哲学外推大体检
P vs NP 的哲学外推大体检——「P≠NP 给创造力上了数学保险」是沿认识论×语义两道滑动偷换出来的
哥德尔不完备的滥用大体检
哥德尔不完备的滥用大体检——从「算术不完备」到「心灵超越机器」