参考资料与构造记录
下列资料按正文引用编号排列。作者提供的理论底本与新建构，不作为外部实证验证；程序记录仅支持公开范围内的构造检查。
[1] 王德生. 为何要学习符号学／逻辑学／数学？. 2026-02-14 作者提供PDF，23页；粒子第4页，逻辑第6—7页，数学第9页。
[2] 王德生. 改写人生的符号学、逻辑学与数学：命运重编码九宫格. 2026-01-01 作者提供PDF，20页；三模态并立互依第6—7页。
[3] 《大模型的三态地基：符号学、逻辑学与数学——AI时代信息处理机器的底层学科重构》. 作者提供稿，未标日期，DOCX。
[4] 王德生. 本书理论总纲与概念修订说明. 2026年10月8日，作者研究总纲。
[5] 王德生. 从三视角的123原理到SDE的三原理. https://sdeuniverses.com/column/ontology-grid/123-to-three-principles/ （核对：2026-10-08）
[6] SDE Universes. 连‘逻辑’，都不止一套——特征纠缠·信息模态（E2）. https://sdeuniverses.com/column/ontology-grid/e2/ （核对：2026-10-08）
[7] NobelPrize.org. The Nobel Prize in Physics 2024: Prize motivation. https://www.nobelprize.org/prizes/physics/2024/hopfield/facts/ （核对：2026-10-08）
[8] NobelPrize.org. The Nobel Prize in Physiology or Medicine 2015. https://www.nobelprize.org/prizes/medicine/2015/summary/ （核对：2026-10-08）
[9] 中共中央、国务院／教育部公开页. 关于深化教育教学改革全面提高义务教育质量的意见. 2019-06-23（公开页2019-07-08） https://www.moe.gov.cn/jyb_xxgk/moe_1777/moe_1778/201907/t20190708_389416.html （核对：2026-10-08）
[10] Hamsa Bastani et al.. Generative AI without guardrails can harm learning: Evidence from high school mathematics. 2025-06-25 PNAS 122(26), e2422633122. DOI: 10.1073/pnas.2422633122. https://doi.org/10.1073/pnas.2422633122 （核对：2026-10-08）
[11] Ashish Vaswani et al.. Attention Is All You Need. 2017 https://arxiv.org/abs/1706.03762 （核对：2026-10-08）
[12] 三方程有限关系与布尔函数系统检查. 本书实际执行的构造检查。源代码：checks/finite_models.py；结果：checks/finite_results.json。范围：模三关系及全部4096组三个二元布尔函数系统
[13] 有限图可达闭包检查. 本书实际执行的构造检查。源代码：checks/finite_models.py；结果：checks/finite_results.json。范围：四顶点64张无向简单图及六卡片案例
[14] 三元素运算表枚举. 本书实际执行的构造检查。源代码：checks/finite_models.py；结果：checks/finite_results.json。范围：固定三元素集合上的19683张运算表
[15] 共同资源整体约束检查. 本书实际执行的构造检查。源代码：checks/finite_models.py；结果：checks/finite_results.json。范围：三个二值占用、容量为二的八种状态
[16] 转位签、预算路径、非结合拟群及加权最短路径检查. 本书实际执行的构造检查。源代码：checks/advanced_models.py；结果：checks/advanced_results.json。范围：有限编码、64张图及64组三角边权，另有明确代数反例
[17] 有版本可撤回知识记录的有限模型. 本书实际执行的构造检查。源代码：checks/knowledge_records.py；结果：checks/knowledge_records_results.json。范围：两个有依赖论断的状态、长度至多六的合法历史与路径组合
[18] 增厚稿有限构造复核：闭合、商表达、预算状态、替代支持与结构归纳. 本书实际执行的构造检查。源代码：checks/revision_models.py；结果：checks/revision_results.json。范围：512个三点有向关系、19683组包含比较、256个预算扩展图、4096个查询、2056棵二叉树及明确反例。