并發計算中的不確定性關注的是并發計算中不確定性的影響。計算是一個不確定性變得越來越重要的領域，因為網絡和多核計算機架構的出現導致了并發性的大量增加。這些計算機系統使用了引起不確定性的仲裁器。

Actor模型利用仲裁來確定被并發發送多個消息的Actor的到達順序中哪個消息是下一個。這引入了到達順序的不確定性。由于到達順序是不確定的，它們不能僅僅通過數理邏輯從先前的信息中推導出來。因此，數理邏輯不能在開放系統中實現并發計算。作者聲稱，雖然在他們看來，數理邏輯不能實現一般的并發，但它可以實現并發計算的一些特殊情況，例如，順序計算和包括λ微積分在內的某些種類的并行計算。

仲裁器中的不確定性會產生行為體中的不確定性。我們等待結果的原因是，由于不確定性，我們沒有其他選擇。重要的是，要清楚已發表的關于數理邏輯局限性的主張的基礎。這不僅僅是說行為者一般不能在數理邏輯中實現。公布的說法是，由于行動者模型的物理基礎的不確定性，沒有任何一種演繹的數理邏輯可以擺脫這種限制。后來，當研究人員試圖將Prolog(它在邏輯編程方面有一些基礎)擴展到使用消息傳遞的并發計算時，這一點變得很重要。行為體的數學理論對此有什么說法？一個封閉的系統被定義為一個不與外界交流的系統。

這樣一來，S的行為就可以通過其所有可能的行為來進行數學上的表征。所以，數理邏輯可以表征(而不是實現)一個封閉的行動者系統的所有可能的計算。由于缺乏信息，邏輯的局限性一個開放的行為體系統S是指在計算過程中，外部行為體的地址可以被傳遞到S中，以便S可以與這些外部行為體通信。然后，這些外部行為體又可以使用S提供的地址與S內部的行為體進行通信。由于無法推斷到達順序的限制，對外部發送的消息的了解將無法推斷S的響應。當其他的并發系統模型（如進程計算）被用來實現開放系統時，這些系統也會有依賴于到達時間順序的行為，因此不能通過邏輯推理來實現。