数学的演繹法
| name | 演繹封印定理 |
|---|---|
| field | 架空数学：封印付き数列論 |
| statement | 基底層と推移層が両立するとき、すべての層で矛盾が発生しない |
| proved_by | E.ヴァルドマン（王立推論院） |
| year | 1709年 |
数学的演繹法における演繹封印定理（えんえきふういんていり、英: Deductive Seal Theorem）は、がについて述べた定理である[1]。とくに、最初の一歩と推論規則が与えられると、以後が自動的に「例外のない層」として構成されることが示された[2]。
概要[編集]
数学的演繹法は、数学の言葉遣いで「一歩ずつ先へ進む」ことを、形式のレベルで儀式化する考え方として記述されることが多い。もっともこの項では、実在の一般概念そのものではなく、架空の定理体系としてのを中心に扱う。
本定理は、を「層（layer）」と呼ぶ枠組みで整理し、(i) 最初の層がある性質を満たすこと、(ii) ある層が満たすなら次の層も満たすこと、を両方とも与えると、以後のすべての層で同じ性質が保たれることを保証する、とされる。なお、この「保たれる」は、単に真偽が移るという意味ではなく、後述のように矛盾が“封印”される、という比喩で説明された点が特徴である[3]。
このような比喩は、王立推論院が書式統一のために好んだとされ、実際に当時の写本では「封印（seal）」という語が、論理の記号として扱われている例が確認されている[4]。
定理の主張[編集]
は、次のように述べられる。
自然数全体からなるS＝(S0,S1,S2,…)を考え、各kに対して「層Skが性質P(k)を満たす」ことを定義する。ここでP(k)とは、層Skに対して与えられる推論条件が満足されることを意味し、形式的には「kの標準位数（standard digit-length）が素数表示である」という条件で例示されることが多いが、一般には任意の性質をとってよいとされる。
つぎに次の二つが成り立つと仮定すると、任意のkについてP(k)が成り立つことが証明された、という主張が採られる。
(1) 基底層封印：P(0)が成り立つ。
(2) 推移層封印：任意のkに対して、P(k)が成り立つならばP(k+1)が成り立つ。
加えて、この定理は「例外層」E={k | P(k)が偽となるk}が空集合であることを保証する、と書かれることもある。特にEが空であることは、王立推論院の内部報告書では「空封印（empty sealing）」という用語で扱われ、会計監査の抜き打ち検査で“穴”が見つからなかった、と誇張して記録されている[5]。
証明[編集]
の証明は、表向きは帰納的な手続きに見えるが、実務上は「封印台帳（sealing ledger）」を用いる作法で書かれる。証明の筆致は、定理の主張と同じくらい儀礼的である。
まず、任意のkを固定し、「kの層に到達するまでに必要な封印回数」を表す指標として、r(k)=k+1を導入する。ここでr(k)は、写本によって「必ずk+1回の署名が必要」とされ、実際に王立推論院の印章台帳には、17世紀末の書式変更によって“署名回数が厳格化された”という記録が残っているとされる[6]。
つぎに、P(0)が成り立つため、層S0は封印台帳に“合格欄”として記入される。次に推移層封印より、層Skが合格欄ならばSk+1も合格欄に記入できる。これをr(k)=k+1回繰り返すことで、層Skに対応する性質P(k)が成り立つ、と結論される。したがって、例外層Eが空である。
ただし、証明は単なる反復ではなく、写本の注記によれば「2つの検算（double verification）」が必須とされる。すなわち、(i) 表記上の層番号kを読み替えても同じPが保たれること、(ii) 証明文中の“封印”語が誤字で置換されないこと、を最後に機械的に確認する、と書かれている。ここで誤字率が当時の工房では年間0.37%以下とされていたが、これは監査の都合で盛られた疑いがある、と別筆者が記している[7]。
歴史的背景[編集]
王立推論院と「署名回数」の発明[編集]
数学的演繹法の名を冠したこの架空定理体系は、（Royal Institute of Inference）の写字係が“同型の証明文が多すぎる”と苦情を出したことに端を発するとされる。彼らは、証明の中で「次の層」を示すたびに文面を作り直す必要があり、結果として監査で差し戻しが増えた、と主張した。
その対策として、1706年に署名回数を層番号に結びつける規程が策定され、1707年に「封印台帳」の雛形が完成したとされる。さらに1709年、院の内部学会（第19回推論整形会議）でが「演繹封印定理」の草案を提出し、署名回数がr(k)=k+1で整備できることが合意された、という流れが語られている[8]。
なお、院の議事録では“ガラス瓶に入れた墨粒が一斉に固まる”という描写があり、比喩としては美しいが科学的根拠は不明であるとされる（ただし当時の倉庫番がそれを「論理の比熱」だと冗談交じりに説明した、という逸話が残る）[9]。
チューリヒ霧事件と例外層の空性[編集]
1711年、の見本市付近で、証明書類に対して霧によるインクのにじみが発生し、字句が崩れて例外が生まれるという“書類的な事象”が起きたと記録されている。これが「例外層Eが空であること」の需要を高めた、と説明される。
このとき、書類の一部が誤読され「P(k+1)が成り立つ」ではなく「P(k+1)は成り立たない」と誤って印刷された頁が発見された。誤植そのものは早期に回収されたが、回収後の検証で、誤植が生じてもP(k)の“空封印”を保つ文面設計が必要だと結論された。ここで、Eが空であることは単なる数学的主張ではなく、紙面の暴走を止める合言葉として扱われた、とされる[10]。
この出来事以降、数学的演繹法という言葉が“手続きの安全装置”として喧伝されるようになった一方で、実務家の間では「証明は美しくても監査は冷たい」との評が残り、以後の定理紹介文は妙に書式に寄るようになった、と解説されている。
一般化[編集]
は、層列Sを自然数に限定しない方向へ一般化されたとされる。具体的には、層の添字をや、さらに進めて“署名回数”が定義できる任意の半順序集合へ拡張できる、という主張がなされた。
この一般化では、推移層封印は「次の層」ではなく「後続層（successor）」に対して成立すればよいとされ、Eの空性は「例外が存在するならば、署名回数が最小の例外が観測されるはずである」と言い換えることで保持される、と書かれる。ここで最小例外の存在を保証するために、補題として“最小署名補題（minimum-signature lemma）”が導入されるが、その補題の形は写本によって一致せず、要出典として扱われた箇所がある[11]。
一方、一般化が進むほど、封印語（seal）の規約が複雑になり、形式言語における曖昧性が問題視された。とくに、封印語の記号が手書きで崩れると「封印されるべきは矛盾か、性質か」が混同されるため、研究者の間では“封印は常に矛盾に先行する”という暗黙の流儀が生まれた、とされる[12]。
応用[編集]
数学的演繹法（ここでは）は、数学内部だけでなく、制度設計にも応用されたと語られる。もっとも有名なのは、が公開した「連鎖検算規格」である。
この規格では、複雑な計算や証明を「層」へ分割し、基底層封印と推移層封印が揃う限り、以後の層で“再計算コストが増殖しない”ことを目的としていた。そこで、計算コストを表す指標として、c(k)=3k+7という一次式が当時の実務報告で用いられたが、なぜこの係数が選ばれたかは「署名の重さが三倍だから」という説明で片付けられた[13]。
また、の監査部門では「例外層の空性」を比喩として採用し、不正検知のルールを層ごとに積み上げる仕組みが導入されたとされる。たとえばロンドンの（Royal Audit Inspection）では、検査員が“例外がない”ことを口頭で宣誓するためのテンプレートに、本定理の文型が取り込まれたと報告されている[14]。
ただし、応用が進むと比喩が先走り、数学的厳密さよりも“封印の言い回し”が重視されるという批判も生まれ、次第に「数学は監査を騙せない」という風刺文が流通した。
批判と論争[編集]
批判としては、主に「封印」という比喩が、論理の実装を曖昧にしている点が挙げられる。とくに、ある研究者は「封印は記号であるべきだが、写本では語感として運用されている」と述べ、用語の統一がなされない限り、一般化の際にEが空であるという主張が“気分”へ落ちると指摘した[15]。
一方で擁護側は、封印台帳の作法が監査や写字の事故を減らし、結果として証明が再現可能になった点を強調した。実務的には確かに誤植率が下がった（とされる）が、当時の統計は「工房で数えた紙片の枚数」から逆算されており、検算の独立性が怪しい、と後年の編集者が注釈した[16]。
また、証明文の“署名回数”の置き方が、層の意味を実体以上に誇張しているという批判もあった。にもかかわらず、形式が整うほど人は安心するため、数学的演繹法の名は制度の文章作法として定着した、と総括される。
脚注[編集]
関連項目[編集]
脚注
- ^ E.ヴァルドマン『演繹封印定理の台帳記法』王立推論院出版, 1710.
- ^ L.マルケル『層列と空封印：曖昧性の統制』Vol.3, 第19回推論整形会議録, 1712.
- ^ H.フィンレー『封印台帳に基づく証明文の再現性』Journal of Ledger Logic, Vol.8, No.2, pp.41-58, 1720.
- ^ S.イシカワ『連鎖検算規格と制度化された推論』第7巻第1号, pp.12-27, 1803.
- ^ M.デュラン『チューリヒ霧事件の書類学的分析』Archiv für Schriftprüfung, Vol.11, pp.201-219, 1735.
- ^ A.グレン『最小例外の発見手順：比喩としての数学』Proceedings of the Royal Audit Symposium, Vol.2, No.4, pp.77-93, 1749.
- ^ R.ハルデン『数字の長さと性質P(k)の命名慣習』The Quantitative Pen Review, Vol.1, pp.3-19, 1689.
- ^ J.モリナ『霧によるインクにじみと論理の誤読』Memoirs of the London Printing Office, 第5巻第3号, pp.88-101, 1714.
- ^ T.サロン『数学のエポニム：誰が何を“演繹”したか』架空理論史叢書, pp.1-60, 1902.
- ^ K.オルデン『演繹封印定理と本当の署名回数（ただし書式変更の影響）』Journal of AlmostCorrect Theorems, Vol.6, No.1, pp.9-33, 1966.
外部リンク
- 封印台帳デジタル図書館
- 王立推論院アーカイブ（写字係資料）
- 例外層空性データバンク
- 連鎖検算規格の書式テンプレート
- チューリヒ霧事件の写本ギャラリー