最小作用量 / 对称性原理被目的论化大体检——终极因冒充动力因
最小作用量 / 对称性原理被目的论化大体检——终极因冒充动力因：从 Maupertuis 神学到 Planck「目的论性质」再到现代对称崇拜
那个奇迹是一张有效性地图，不是一条宇宙定律
数学的「不合理有效性」大体检——那个奇迹是一张有效性地图，不是一条宇宙定律
简单性是强大的工具；「简单就是真／宇宙本质简单」是把工具读成了定律
奥卡姆剃刀大体检——「简单就是真／宇宙本质简单」是把一把价值中性的认识论卫生工具，从方法论偷换成了本体论定律
P≠NP 是没证明的猜想；「创造力不可自动化」是两道滑动偷换出来的
P vs NP 的哲学外推大体检——「P≠NP 给创造力上了数学保险」是沿认识论×语义两道滑动偷换出来的
哥德尔证明了算术的界限，却被念成了心灵的无界
哥德尔不完备的滥用大体检——从「算术不完备」到「心灵超越机器」