アクターモデル
アクターモデルの開発と数理論理学との関係は興味深い。その開発の主要な動機として、Planner言語の開発で生じた制御構造問題を扱い、理解するという目的があった。アクターモデルが定義されたとき、「計算は推論に内包される」という Kowalski の主張に関連するモデルの能力を理解するという重要な目標があったのである。Kowalski の主張は、アクターモデルによる並行計算では偽であることが判明した（計算の不確定性参照）。Kowalski の主張は逐次計算やラムダ計算などの一部の並列計算では真であることから、この結論には未だに議論がある。