该论文提出了一种基于概率图灵机的计算形式化的 QUERY 抽象，通过条件模拟捕获概率条件，从而将常识推理转化为观察到的统计模型中不确定的世界的概率推断。

Dec, 2012

通过引入 Trotter 分解并给出显式误差界，我们证明一个开放的量子系统的时间演化可以通过一个单位量子电路进行模拟，其大小在模拟时间和系统大小上呈多项式缩放，这意味着耗散量子计算没有超过该模型的功率，并提供了一个实用的工具进行数值模拟。

May, 2011

研究人工智能机器展现特定行为的逻辑可能性所需的条件，提出了一种与形式语言理论数学上不同但类似的形式化方法，并描述了判定给定任意机器是否具有某种特性的逻辑可能性所需的条件。与先前研究结果不同，发现计算可行性理论中的 Rice 定理通常无法确定任意机器是否具有给定特性，因此决定任意机器是否具有智能、可控性、道德性等特性并不一定是逻辑上不可能的。

Feb, 2024

本文从细胞自动机领域到任何可计算函数 f 的通用领域探讨了分析计算不可约性的几个概念，并提出了一个稳健的形式化定义；通过定义 “在没有遵循模拟自动机或函数的相同路径的情况下无法计算第 n 步骤” 这一概念，我们证明了如果一个对象的行为是计算不可约的，则其第 n 个状态的计算速度不可能比模拟本身更快。

Nov, 2011

本文讨论了意识和智能的关系，提出了计算智能与感知意识是独立的，并将其在人类、动物和机器中的表现作了比较，进而探讨了这一结论对社会的重要影响。

Aug, 2022

研究了一种限制性的量子计算模式 —— 瞬间量子计算架构和抽象模型，利用二元骨架理论，证明了该模式足够丰富，使得从经典角度无法高效准确采样的概率分布能够采样；研究了可用于证明量子效应存在的简单交互证明游戏，而且只需使用比 Shor 算法所需更少的量子位。

Sep, 2008

提供 von Neumann 的通用构造器和通用复制器的部分实现，利用最简的假设使用三种简单的构建块，构造图灵机和自复制图灵机，允许变异，提供简单的描述语言。

Jun, 2023

该研究说明若闭合时间类曲线存在，那么量子计算机和经典计算机的计算能力相同，都属于复杂性问题类 PSPACE，并讨论了在存在闭合时间类曲线情况下的计算复杂性。

Aug, 2008

我们在 Coq 证明助手中开发了在归纳构造计算（CIC）中的合成 oracle 可计算性和 Turing 约简的概念，并使用连续函数的顺序连续性来描述有效拓扑中基于连续函数的定义。

Jul, 2023

通过论证，如果意识对状态的时间演变是有影响的，即它是动态相关的，则 AI 系统无法具有意识，因为它们运行的处理器被设计和验证为遵循计算动力学，该动力学系统地排除或抑制偏差，尤其是潜在与意识相关的动力学效应。

Apr, 2023