論文の概要: What Distributed Computing Got Wrong: The Category Mistake That Turned Design Choices into Laws of Nature

• arxiv url: http://arxiv.org/abs/2602.18723v1
• Date: Sat, 21 Feb 2026 05:16:56 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-24 17:42:02.264181
• Title: What Distributed Computing Got Wrong: The Category Mistake That Turned Design Choices into Laws of Nature
• Title（参考訳）: 分散コンピューティングの誤り:デザイン選択を自然の法則に変えるカテゴリー
• Authors: Paul Borrill,
• Abstract要約: フィッシャー・リンチ・パターソンの定理、二元問題、CAPの定理は、座標の物理的極限に関する発見として広く理解されている。 この論文は、それらはどんな種類のものでもないと論じている。 これらはカテゴリーミスの結果であり、フォワード・イン・タイム・オンリー(FITO)情報フローを自然法則として扱う。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The foundational impossibility results of distributed computing -- the Fischer-Lynch-Paterson theorem, the Two Generals Problem, the CAP theorem -- are widely understood as discoveries about the physical limits of coordination. This paper argues that they are nothing of the sort. They are consequences of a category mistake: treating Forward-In-Time-Only (FITO) information flow as a law of nature rather than recognizing it as a design choice inherited from Shannon's channel model and Lamport's happened-before relation. We develop this argument in six steps. First, we introduce the category mistake framework from Ryle through Spekkens' ontic/epistemic distinction in quantum foundations. Second, we identify FITO as the hidden axiom that unifies the classical impossibility results. Third, we apply Spekkens' Leibnizian principle to show that FITO-based models contain surplus ontological structure. Fourth, we develop the counterfactual: what changes when FITO is dropped. Fifth, we demonstrate that the impossibility theorems are theorems about FITO systems, not about physics. Sixth, we sketch the transactional alternative -- bilateral interactions that dissolve the apparent impossibilities by replacing unidirectional message passing with atomic bilateral transactions. The implication is that distributed computing has spent fifty years optimizing within the wrong design space.
• Abstract（参考訳）: 分散コンピューティングの基本的不可能性(Fischer-Lynch-Paterson theorem)、二元問題、CAP theorem)は、協調の物理的限界に関する発見として広く理解されている。 この論文は、それらはどんな種類のものでもないと論じている。 フォワード・イン・タイム・オンリー(FITO:Forward-In-Time-Only)情報フローを自然の法則として扱い、シャノンのチャンネルモデルとランポートの偶然の関係から受け継がれた設計選択として認識するよりはむしろ、カテゴリーミスの結果である。 この議論は6つのステップで展開する。 まず、Ryle から、量子基底における Spekkens のオンティック/エピステミックな区別を通じて、カテゴリーミスの枠組みを導入する。 第2に、FITOを古典的不合理結果を統一する隠蔽公理とみなす。 第三に、スパイケンスのライプニッツの原理を適用し、FITOベースのモデルが余剰な存在論的構造を含むことを示す。 第4に,FITOを落とすとどのような変化が起こるか,という対策を考案する。 第5に、不合理定理は物理ではなく、FITO系に関する定理であることを示す。 第6に、一方向のメッセージパッシングをアトミックな双方向トランザクションに置き換えることで、明らかな不確実性を解消するトランザクション代替案をスケッチする。 つまり、分散コンピューティングは、間違った設計空間内で最適化するのに50年を費やしたということだ。

関連論文リスト

• On the Fundamental Impossibility of Hallucination Control in Large Language Models [0.0]
  不合理性理論:非自明な知識集約を行うLLMは、真理的な知識表現、意味情報保存、関連する知識の啓示を同時に達成できない。 提案手法は,アイデアのオークションとして推論をモデル化し,分散コンポーネントが符号化された知識を用いて応答に影響を与えることを証明している。 幻覚と想像力は数学的に同一であり、どちらも4つの重要な性質のうちの少なくとも1つに反する。
  論文  参考訳（メタデータ） (2025-06-04T23:28:39Z)
• Local theories with parallel realities and the epistemic view of the quantum state [1.2891210250935148]
  単一世界の理論のランダム性と多様な事例の共存を組み合わせた一般的な枠組みを導入する。 このフレームワークは、量子通信の複雑さに関連があり、新しい技術的な問題を引き起こす。
  論文  参考訳（メタデータ） (2025-02-19T15:19:08Z)
• Some consequences of Sica's approach to Bell's inequalities [55.2480439325792]
  ルイ・シカ(Louis Sica)は、ベルの不等式は、あるステーションで観測された結果の時系列が、他のステーションの設定が変更されても変化しないという仮説から導いた。 本稿では,Sicaのアプローチを非理想的効率と実時間構造に拡張する。
  論文  参考訳（メタデータ） (2024-03-05T13:59:52Z)
• Efficient Computation of Counterfactual Bounds [44.4263314637532]
  我々は,構造因果モデルのサブクラスにおけるクレダルネットのアルゴリズムを用いて,正確な反ファクト境界を計算する。 近似の精度を信頼性のある間隔で評価する。
  論文  参考訳（メタデータ） (2023-07-17T07:59:47Z)
• Connecting classical finite exchangeability to quantum theory [45.76759085727843]
  交換性は確率論と統計学の基本的な概念である。 観測順序が重要でない状況のモデル化を可能にする。 両定理が有限交換可能な列に対して成り立たないことはよく知られている。
  論文  参考訳（メタデータ） (2023-06-06T17:15:19Z)
• Provable Adversarial Robustness in the Quantum Model [0.966840768820136]
  Bshouty と Jackson が導入した量子PAC学習モデルに類似したモデルを考える。 我々の削減は、モデルにおける逆問題を解決するために、単一の距離の概念を考えるのに十分であるということを保証します。
  論文  参考訳（メタデータ） (2021-12-17T16:54:18Z)
• Bayesian Inference Forgetting [82.6681466124663]
  忘れられる権利は多くの国で合法化されているが、機械学習の施行は耐え難いコストを引き起こすだろう。 本稿では,ベイズ推論において忘れられる権利を実現するための it bayesian inference forgetting (bif) フレームワークを提案する。
  論文  参考訳（メタデータ） (2021-01-16T09:52:51Z)
• Causal Expectation-Maximisation [70.45873402967297]
  ポリツリーグラフを特徴とするモデルにおいても因果推論はNPハードであることを示す。 我々は因果EMアルゴリズムを導入し、分類的表現変数のデータから潜伏変数の不確かさを再構築する。 我々は、反事実境界が構造方程式の知識なしにしばしば計算できるというトレンドのアイデアには、目立たずの制限があるように思える。
  論文  参考訳（メタデータ） (2020-11-04T10:25:13Z)
• From Checking to Inference: Actual Causality Computations as Optimization Problems [79.87179017975235]
  本稿では、最適化問題として二元非巡回モデルよりも、因果推論の異なる概念を定式化するための新しいアプローチを提案する。 8000ドル以上の変数を持つモデルを用いて,MaxSAT が ILP を上回り,数秒単位でチェック処理を行う場合が多い。
  論文  参考訳（メタデータ） (2020-06-05T10:56:52Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。