把「实验可验证性」做成逻辑原语，团队征集希尔伯特第六问题合作者

CatAstro_Piyush · x · 2026-10-19

转发者指出，科学尚未有坚实的数学基础：希尔伯特第六问题（物理学公理化）仍未解决，甚至缺少一种把「实验可验证性」作为核心原语的逻辑体系。这已成为构建可信科学推理验证器（AI x Science 的核心引擎）的关键瓶颈之一。作者团队最近找到一条推进该问题的具体路径并对此感到兴奋，但仍有大量工作要做，现公开征集深入思考过希尔伯特第六问题的合作者，可通过私信联系。附图展示了「实验可验证性」的形式化框架：将陈述分为可验证、不可判定与可证伪部分，并与 Borel 集等拓扑结构对应。