内側から壊れる構造 — ゲーデルと OSS サボタージュ・マニュアル

形式体系も、組織も、外部から攻撃されるよりも先に、内側から壊れることがあります。20 世紀の数学と諜報史は、この命題に二つの異なる証拠を残したと整理できるでしょう。

形式体系の内的限界 — ゲーデル (1931)

1931 年、25 歳のオーストリアの論理学者 Kurt Gödel (1906–1978) は、雑誌 Monatshefte für Mathematik und Physik (Bd. 38) に短い論文を発表しました¹。タイトルは “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I” ──「『プリンキピア・マテマティカ』と関連体系の形式的に決定不能な命題について」。

論文の核心は二つの定理として整理できます。

1. 第一不完全性定理: 自然数論を含む無矛盾な形式体系には、その体系内では証明も反証もできない命題が存在します。
2. 第二不完全性定理: そのような体系は、自身の無矛盾性を体系の内部からは証明できません。

これは 20 世紀初頭の数学界が共有していた野望 ── David Hilbert のプログラム、すなわち全数学を完備かつ無矛盾な公理系の上に整地する試み ── への終止符だったといえるでしょう。

著者が示したのは、技術的限界ではありません。形式体系が一定の表現力を持ったとき、その内部から自身の無矛盾性を確認することは原理的に不可能になる、という構造的な命題だと読むことができます。完全に閉じた体系という理想は、体系自身の論理によって反証されるわけです。

組織の内的破壊 — OSS サボタージュ・マニュアル (1944)

それから 13 年後、1944 年。第二次大戦中、米国戦略事務局 (Office of Strategic Services, OSS。CIA の前身) は、占領地のレジスタンスや市民向けに Simple Sabotage Field Manual を作成しました²。物理的破壊技法だけでなく、組織を内部から機能不全に陥れる技法 が詳細に列挙されています。マニュアルの「組織と生産への一般的妨害」(General Interference with Organizations and Production) の節からは、たとえば次のような項目が挙げられています。

あらゆる「正規の」手続きを主張せよ。意思決定の権限を委譲することを許すな。そうすれば、決断のために決定を遅らせることができる。

演説せよ。可能な限り頻繁に、そして長く話せ。あなたの「主張」を、長い逸話と個人的な経験談で説明せよ。

あらゆる事項を委員会に付託せよ。「さらなる検討と熟慮のために」。委員会はできるだけ大きくせよ ── 五人より少なくしてはならない。

合理的な命令の正確な文言について議論せよ。

このマニュアルが奇妙なのは、これらが 外部からの破壊行為ではなく、組織が「正しく」機能しているように見える内部行動 だという点にあるといえるでしょう。会議は開かれ、議事録は作られ、規則は守られている。にもかかわらず、組織は止まる。

OSS のマニュアルは長らく機密扱いでしたが、2008 年に CIA が機密解除し、現在は CIA Reading Room で誰でも読める歴史文書になっています。

二つの命題が示すもの

ゲーデルと OSS のマニュアル ── 完全に独立に成立した、性格も目的もまったく異なる二つの仕事を並べると、不思議な共通項が浮かぶように読めます。

形式体系も、組織も、その内側に自分自身を機能不全にする可能性を内在させている ── そう整理できるでしょう。外部からの攻撃ではありません。体系自身が持つ表現力・規則・手続きを、ある仕方で運用するだけで、体系は止まる。

ゲーデルの場合、それは「自己言及的な命題」を組み立てる数学的技巧として現れました。OSS の場合、それは「ルールの厳守を要求する真面目さ」を装う社会的技巧として現れます。前者は「決定不能な命題が存在することの証明」、後者は「機能不全を意図的に作り出す手順書」だと位置づけられるでしょう。

両者の交点は、完璧主義への懐疑にあるといえます。完全に閉じた体系を求めると、その求めること自体が体系を破綻させうる ── これが二つの命題の通底するメッセージだと読めます。

これは多くの組織が経験的に学習する真理でもあるでしょう。手続きは合理的に設計されたはずだった。コンプライアンス確認は組織を守るはずだった。ステークホルダー調整は意思決定を質的に高めるはずだった。けれども、これらが 真面目に 運用されるほど、組織は遅くなり、判断は先送りされ、決定は事後修正される。

形式と組織は、その内部に常に「ゲーデル的命題」と「サボタージュ的真面目さ」の可能性を孕んでいるといえます。それを意識して運用することは、内的限界を否認するよりも、はるかに堅牢な選択肢だと位置づけられるでしょう。

ここから少し、二つの古典命題を 2026 年の状況で読み直してみたいと思います。AI が組織の意思決定支援に組み込まれ、「完全に閉じたルールベース」では捌ききれない判断を補助するようになった現在、ゲーデル的命題と OSS マニュアルが警告した内的破綻はどんな形で現れるでしょうか。

「あらゆる事項を委員会に付託せよ」を現代風に言い直せば、「あらゆる判断を AI レビューに付託せよ」になるかもしれません。形式的には正しい手続きを踏んでいて、判断は自動化されているのに、実質的な決定速度はむしろ落ちる ── そういう場面が報告されつつあります。70 年前のサボタージュ技法は、ツールが変わっても構造として再現しうる、と読むことができるでしょう。

ゲーデルと OSS が残したのは、特定の体系への診断ではなく、閉じた体系を内側から見たときに必ず現れる限界の構造 を名指す語彙だと整理できます。私たちが新しい体系を設計するときに参照すべき出発点はここにある、といえるでしょう。

参考文献