元科学 · 哲学 · 逻辑
科学划界、方法论自指与数理逻辑工具被越界外延的体检——从可证伪性与科学哲学争议,到研究方法自身的元审计,再到哥德尔不完备、概率与贝叶斯主义等数理逻辑工具的边界。
🔬科学哲学 · 元科学5 篇可证伪性、复制危机与科学划界争议的体检。
🧭方法论自指 · 元尺6 篇跨域类比、同名不同物等本库方法论工具自己的元审计。
对称证据地图与回声室审计对称证据地图与回声室审计:给「衰老控制论」主线的硬核自体红队(群 V·方向四)测量的代理性——横跨物理/生物/AI 的同一病测量的代理性——横跨物理/生物/AI 的同一病「注意力」作为跨域概念的大体检「注意力」作为跨域概念的大体检——一个借来的名字能不能跨过三个域:从各域内的硬核操作、受限域的结构对照、机制层共享的功能类比(主菜),到命名实在论,再到隐喻口号(双向)。把「同名不同物」与「跨域类比」两把元尺,同时落到 Transformer Attention / 大脑注意 / 哲学注意这一个三域词上「跨域类比的成功 / 失败学」全库裁决的元分析「跨域类比的成功 / 失败学」全库裁决的元分析——一座桥什么时候真的能走过去:从共结构定理(真迁移)到受限域同构、机制层共享的功能类比(主菜)、表面相似的功能类比,再到隐喻口号(双向)。把我们 55+ 篇判过级的「四级类比尺」第一次当数据集做横切(GLM 方法论自指三连之三·收官)「有效理论 vs 本体论」这把判据尺本身的大体检「有效理论 vs 本体论」这把判据尺本身的大体检——我们挥了几十次的尺,第一次上自己的法庭「同名不同物」的元病理大体检「同名不同物」的元病理大体检——一个词怎么旅行到别的域就掉了指称:从「同名同物·真同一」到「仅表层共名被当成同一个东西做跨域偷换(jingle)」,再到反向的「把『同名不同物』当免检否决键、错杀真统一(jangle)」。把我们这条主线挥了约 40 次的「同名不同物 / 同形非同物 / 偷换概念」诊断尺,自己拉上被告席(GLM 方法论自指三连之二)
📐数学 · 逻辑5 篇哥德尔不完备、P vs NP、概率与贝叶斯主义的边界。
哥德尔不完备的滥用大体检哥德尔不完备的滥用大体检——从「算术不完备」到「心灵超越机器」P vs NP 的哲学外推大体检P vs NP 的哲学外推大体检——「P≠NP 给创造力上了数学保险」是沿认识论×语义两道滑动偷换出来的奥卡姆剃刀大体检奥卡姆剃刀大体检——「简单就是真/宇宙本质简单」是把一把价值中性的认识论卫生工具,从方法论偷换成了本体论定律最小作用量 / 对称性原理被目的论化大体检最小作用量 / 对称性原理被目的论化大体检——终极因冒充动力因:从 Maupertuis 神学到 Planck「目的论性质」再到现代对称崇拜数学的「不合理有效性」大体检数学的「不合理有效性」大体检——那个奇迹是一张有效性地图,不是一条宇宙定律