并发计算中的不确定性

并发计算中的不确定性关注的是并发计算中不确定性的影响。计算是一个不确定性变得越来越重要的领域，因为网络和多核计算机架构的出现导致了并发性的大量增加。这些计算机系统使用了引起不确定性的仲裁器。

Actor模型利用仲裁来确定被并发发送多个消息的Actor的到达顺序中哪个消息是下一个。这引入了到达顺序的不确定性。由于到达顺序是不确定的，它们不能仅仅通过数理逻辑从先前的信息中推导出来。因此，数理逻辑不能在开放系统中实现并发计算。作者声称，虽然在他们看来，数理逻辑不能实现一般的并发，但它可以实现并发计算的一些特殊情况，例如，顺序计算和包括λ微积分在内的某些种类的并行计算。

仲裁器中的不确定性会产生行为体中的不确定性。我们等待结果的原因是，由于不确定性，我们没有其他选择。重要的是，要清楚已发表的关于数理逻辑局限性的主张的基础。这不仅仅是说行为者一般不能在数理逻辑中实现。公布的说法是，由于行动者模型的物理基础的不确定性，没有任何一种演绎的数理逻辑可以摆脱这种限制。后来，当研究人员试图将Prolog(它在逻辑编程方面有一些基础)扩展到使用消息传递的并发计算时，这一点变得很重要。行为体的数学理论对此有什么说法？一个封闭的系统被定义为一个不与外界交流的系统。

这样一来，S的行为就可以通过其所有可能的行为来进行数学上的表征。所以，数理逻辑可以表征(而不是实现)一个封闭的行动者系统的所有可能的计算。由于缺乏信息，逻辑的局限性一个开放的行为体系统S是指在计算过程中，外部行为体的地址可以被传递到S中，以便S可以与这些外部行为体通信。然后，这些外部行为体又可以使用S提供的地址与S内部的行为体进行通信。由于无法推断到达顺序的限制，对外部发送的消息的了解将无法推断S的响应。当其他的并发系统模型（如进程计算）被用来实现开放系统时，这些系统也会有依赖于到达时间顺序的行为，因此不能通过逻辑推理来实现。