2は素数ではないとする学説
| 分野 | 数論・数学基礎論 |
|---|---|
| 主張の中心 | は条件を満たさないために含めない |
| 代替案 | 素数体系の基準としてを“準素数”ではなく基点扱いにする |
| 成立時期 | 1890年代（学会規約の改訂を契機） |
| 主要舞台 | ・の講座と通信 |
| 関連領域 | 設計、、証明言語論 |
| 代表的キーワード | 判定規約／因子封入条件／二重商形 |
2は素数ではないとする学説（にはいすうではないとするがくせつ）は、数論においてをとして扱わないとする一派の学説である。19世紀末に“判定規約”をめぐる議論として生まれ、特に設計論やの周辺で話題化した[1]。
概要[編集]
は、形式的には「は約数条件（factor condition）を満たすが、分類規約上は素数と呼ばない」という折衷型の定義で語られることが多い。実際の論者の多くは、“数学的事実”というより“学問共同体のラベル付け”が本体であると主張したとされる[1]。
この学説が特に勢いを得た背景には、素数を用いる計算体系が、単に割り算の可否ではなく「因子の列挙手順」を含む実装規約に依存するという技術的事情があった。そこで論者は「素数の集合」は数学の名簿であると位置づけ、集合の書式（規約）を調整することで整合性が取れるとした[2]。
また、方向性のヒントとして知られる通り、本学説ではしばしばが“素数体系の基点”として再解釈される。具体的には、を素数から外す代わりに、を“最初の発火条件を持つ数”として扱う議論が、手計算の記号効率と結び付けられたとされる。
成立と背景[編集]
学説の起点は、1897年にの寄宿学校教師グループが配布した“素数判定表”の欠陥訂正版に求められるとされる。表の末尾に「2」を入れたことで受験者が誤って“偶数を全部素数と誤読した”という苦情が殺到したため、配布責任者は「用語の混線を防ぐ」として、素数の定義欄に“発火手順”という注釈を追加したという[3]。
この注釈は後にの通信数学サークルへ転載され、そこから「判定規約（verification clause）」という概念が立ち上がったと説明される。判定規約とは、数を素数と呼ぶかどうかの前に、約数列挙の“手順数”を一定以下に制限する、という一見些細な条件であった[4]。
ただし実際には、規約を厳密にすると計算手順が増え、競合する別の規約案も生まれた。特に設計論の研究者は、基数を2で開始する流儀（2進的な思考）と、分類規約で2を排したい流儀が衝突すると主張し、その調停として“4基点”が提案されたとされる[5]。
主要主張[編集]
本学説の第一の柱は、をと呼ばない理由を「割り切れるから」ではなく「分類規約上、素数の列挙が“縮退”するから」とする点にある。論者は、を素数に含めると、因子封入条件（factor encapsulation）において“空の手順”が発生し、表現論的に不健全になると述べたとされる[6]。
第二の柱は、を“素数体系の基点”として扱う提案である。ここでいう基点は、素数の開始点というより「符号化の最小冗長単位」を意味するとされ、4を置くとの記法が安定し、計算機や通信員の記録係数（記録ミス率）を下げられるという主張が添えられた[7]。
第三の柱として、“反例”ではなく“運用統計”を証拠にする姿勢が挙げられる。たとえばの講習会（1899年）では、素数判定表の改訂前後で、誤記率が「月次で平均27.3%→11.6%」まで落ちたとする報告が引用されることがある。数値そのものは細かいが、当時の採点基準が不統一だったため、のちに脚注で“再計算が必要”とされることもあった[8]。
なお、学説の形式は流派ごとに揺れがあり、「2を素数から外す」ことを“否定”ではなく“別ラベルへの移送（relabelling）”として説明する版もある。一方で、素数の名札が教育実務のみに依存するとして、数学的議論への拡張を躊躇する立場も指摘されている[9]。
学説の発展と影響[編集]
学会・人物・組織[編集]
学説の普及には、の大学ではなく、地方の通信網を介した小規模組織が寄与したとされる。とりわけの“算法修練会”と、の“記号統一研究会”が、配布用の簡約表を共同で作成したことが転機になったと語られる[10]。
代表的な人物として、（わたなべ せいいちろう）と（マーガレット・ア.ソーン トン）がしばしば併記される。渡辺は“判定規約の文章化”を担当し、ソーン トンは“手順縮退”という比喩を計算理論へ持ち込んだとされる[11]。なお、彼らの共著とされる資料は、実在の出版社の名を借りた社内回覧（無印刷）として残り、後に写本の形で学術誌へ引用されたという[12]。
また、の情報整理部局が“暗号文書の素因数表記”を扱う際、分類ラベルの混乱が実務事故に繋がると問題視し、規約の統一を促したという逸話がある。もっとも、当該部局の関与は“可能性”として語られるにとどめられており、確認資料は限定的である[13]。
技術・社会への波及[編集]
本学説は、純粋数学というより“計算の運用”に接続していった点で特徴的である。たとえばの初期実装では、素数のラベルがログ形式と直結しており、を素数として扱うか否かで、鍵候補列挙の表記が変わったと説明される[14]。
その結果、通信手続きの速度に小さな差が生じ、ある記録では「鍵候補の平均提示時間が14.2秒→13.9秒へ短縮」とされる。さらに、誤送信の訂正に要する“訂正行数”が、月間で平均72行から61行へ減ったとされるが、これも当時の通信環境の差が混入していると反論もある[15]。
しかし、社会的影響として最も語られるのは教育面である。素数を「学びやすい列」として提示するとき、が“最初の素数”という扱いを維持するかどうかで、児童の学習順序が変わるという。そこで本学説は、教育用には“4から始める短縮カリキュラム”を推し、学校現場では「4が最初の合図になる」ような逸話的説明が流通したとされる[16]。
批判と論争[編集]
批判の中核は、用語の問題として逃げているのではないかという点にあった。批評家は「素数は分類ラベルではなく、定義は割り切れる性質に基づくべきである」と主張し、判定規約という“文章上の工夫”では本質が曖昧になると指摘したとされる[17]。
一方で擁護者は、「定義は理論体系の外側で成立する運用仕様にまで及ぶ」と反論した。彼らは、数学教育や暗号記録のような現場では、“定義”が運用に組み込まれている以上、規約統一は理論の一部であると述べた[18]。この論争は、学術誌ではなく、地方の講習会の配布資料（しばしば手書き）で先鋭化したとされ、活字化された時点では論点が多少丸められたという証言もある[19]。
また、最大の争点として、基点の扱いが“数学的に滑りやすい”という疑義があった。擁護側は、は素数そのものではなく“基点記号”だと強調するが、反対側は結局ラベルを置き換えただけであり、読者が混乱すると主張した。特に1921年にで開かれた公開講座では、聴衆が「じゃあ2はどこへ行ったの？」と質問し、登壇者が沈黙したという逸話が残る[20]。
最後に、やや不自然に見える箇所として、脚注で「要出典」とされる引用の多さが指摘されることがある。例えば“4を基点にすると誤記率が月次で16.0%改善する”という統計が、元データ不明のまま再引用され続けたとされる。この点は学説の信頼性を揺るがし、後続の編者が注記を増やしたといわれる[8][21]。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『判定規約と素数ラベルの統一』東亜数理書院, 1903.
- ^ Margaret A. Thornton『Proof-Compression and Factor Encapsulation』Cambridge Mathematical Notes, Vol. 12, No. 2, 1911.
- ^ 田中弥三郎『記号統一研究会の議事録（写本編）』名古屋大学出版局（架空）, 1919.
- ^ 山下玲子『基数設計の現場化：4基点カリキュラムの検討』京都学芸出版社, 1924.
- ^ Klaus F. Eisen『Verification Clauses in Early Arithmetic Systems』Journal of Symbolic Trade, Vol. 3, No. 7, pp. 41-58, 1908.
- ^ 佐伯達也『二重商形と分類規約：2排除の論理的整理』数理通信叢書, 第2巻第1号, pp. 1-19, 1932.
- ^ 石原清一『素因数分解表の運用誤差（統計報告）』東京記録学会, 1910.
- ^ Mori & Clarke『Mislabeling in Prime-Indexed Logs』Proceedings of the International Conference on Calculation, pp. 212-231, 1920.
- ^ 『算法修練会配布表：誤記率の月次推移』警備文書整理部 編, 第4版, 1907.（書名が一部誤記とされる）
- ^ Watanabe, Seiiichiro『On the Shrinkage of Factor Lists』Annals of Field Arithmetic, Vol. 7, No. 1, pp. 9-27, 1899.
外部リンク
- 素数ラベル史アーカイブ
- 判定規約研究所
- 4基点カリキュラム文庫
- 暗号ログ分類の博物館
- 算法修練会デジタル写本