找到2个数据集

标签: 符号学一致性

过滤结果

  • AHXIOM框架下F_A_P猜想形式化证明数据集

    2025年12月23日 30 173 135

    数据集概述 本数据集是AHXIOM框架下F=A+P猜想的形式化证明文档，包含证明的核心步骤、逻辑符号定义、运算符说明及AHXIOM系统内的验证过程，围绕猜想的假设、断言、接受和准入四阶段展开，为理解该猜想的逻辑结构提供支持。 文件详解 文件名称: Conjetura F=A+P_ Demostración Formal en AHXIOM...
    packageimg

  • AHXIOM框架下量子力学与Kastrup思想分析数据集

    2025年12月6日 30 204 170

    数据集概述 本数据集是基于AHXIOM框架对Bernardo Kastrup关于量子力学的文章进行深度再评估的分析资料。核心内容围绕AHXIOM的逻辑结构、五无限理论、逻辑十字、APS与SPA等工具，对量子力学概念与Kastrup思想的语义、句法和符号学一致性展开分析。 文件详解 数据集包含一个PDF格式的分析文档，具体说明如下： - 文件名称:...
    packageimg