数学の無意味
| 分野 | 数学基礎論、言語哲学、社会思想 |
|---|---|
| 主張の要旨 | 数学はしばしば現実への対応を欠く |
| 関連語 | 記号遊戯、空理空論、整合性崇拝 |
| 成立の舞台 | 大学講義と市民討論会 |
| 代表的な比喩 | 「数式は雨を数えない」 |
| 議論の軸 | 意味、対応、説明の要件 |
| 近縁領域 | 情報理論、統計行政 |
（すうがくのむいみ）は、数学的記述が実用性や認識論的価値を持たないと主張する思想として整理されることがある。特に20世紀後半、との交点で「数式は沈黙する」とする通説が広まった[1]。
概要[編集]
は、数学が「正しい」ことと「意味がある」ことを分離して捉える立場として紹介されることがある。ここで言う「意味」は、計算結果が現実の区別を増やすか、あるいは人間の判断を更新するかといった要件に結び付けられるとされる[1]。
同概念は、単なる懐疑論ではなく、数学の内部に完結した言い回し（公理系、証明、モデル）だけが増殖する状態を問題視する点が特徴であるとされる。なお、この主張が「数学を否定する」と誤解されることも多く、当事者側はむしろ数学への「敬意」として語った例がある[2]。
20世紀末の日本では、大学の公開講座が「数式の読めない人ほど拍手する」現象を生み、これが語源的な喧伝の温床になったと説明される。特にの夜間講義で配布されたパンフレットには、笑いを誘う図として「√2が退屈する顔」が描かれていたと回想される[3]。
歴史[編集]
初期の誕生：図書館の誤算事件と「無意味の定義」[編集]
「数学の無意味」という呼称が定着する前段階として、ので起きたとされる「誤算事件」が挙げられることがある[4]。当該事件は、統計係がある災害予測モデルを掲示したところ、閲覧者が一様に「当たらない」と言いながら“式の美しさ”だけを評価し始めた、という奇妙な状況から始まったと語られている。
図書館側は、苦情処理のためではなく、苦情が証明のように連鎖する事態を止めるため、掲示物の末尾に「この式は説明ではなく、感想を求める」と注記した。この注記が記号論的に引用され、やがて「意味とは対応ではなく、共同体の合意である」という短い決まり文句へと変形したとされる[5]。
さらに、当時の広報担当者であるは、合意形成の失敗を「意味の欠損」と呼び、講義ノートに“無意味の条件”として細かな採点基準を載せた。例えば、説明不足の減点は「読了時間が41秒未満であれば -3点」「41〜55秒なら -1点」「55秒超なら 0点」など、明らかに恣意的な数字が使われたと記録されている[6]。この採点表が、後の「数学の無意味」運動の語り口を形作ったとされる。
拡大：夜間講義と「数式は沈黙する」派閥[編集]
その後、（当時の学内呼称では「夜間学習センター」）の非常勤講師が、数式を「聴衆が沈黙を尊重する装置」として扱う講義を行ったとされる[7]。彼は「沈黙は誤読ではなく、理解の礼節である」と主張し、講義の最後にあえて最重要の前提を省くことで“意味が発生しない瞬間”を観察させたという。
講義は動画化され、視聴者が都合よく切り抜いた結果、「数式は沈黙する」というスローガンが独り歩きした。ここで一部の学生は、沈黙の長さを測定し始め、最長の沈黙は「講義開始から17分42秒で発生」したとSNS上で投稿したとされる[8]。もちろん、測定方法は「スマホのタイマーを机に置いた」程度であったと報告されており、ここが後に“笑える嘘”として再編集された。
社会的には、行政の説明資料にもこのノリが移植された。具体的にはの一部研修で、統計モデルの図に「この図は未来を予告しない」と手書きの注意を添える運用が試行された。この試行は一時的に好評を得たが、同時に「注意書きが増えるほど行政への信頼が増えるのか」という逆転の問いを呼び、結果として議論が長期化したと指摘されている[9]。
反動：形式主義への逃避と「空理空論税」の冗談[編集]
一方で、数学の無意味が広がるにつれて、数学者側は反応を迫られたとされる。形式主義者のは「無意味を言うなら、公理系の選択を説明せよ」と反論し、公開討論会では“証明の後に意味が来る”という順番を巡って口論になったと記録されている[10]。
ただし、討論会の進行は少し変わっており、運営は参加者に「意味の申告」を紙で提出させた。申告用紙には「意味の税率：0.07」「未申告の罰：沈黙3分加算」などの項目があったとされる。これが後に「空理空論税」という架空の制度名として拡散し、数学の無意味を“冗談として扱えるほど危うい”ものに仕立てたのである[11]。
この段階では、無意味派も形式主義派も互いを完全には支持していなかったが、少なくとも「説明責任が形式だけで完結する危うさ」を社会が学んだ点が、影響としてしばしば挙げられる。なお、その学習が本当に定着したかどうかは別であり、数年後の追跡調査では「沈黙の延長＝理解」と誤認する回答が31.4%に達したと報告されている[12]。
思想の内容：どこからが「無意味」なのか[編集]
数学の無意味派は、しばしば「無意味」を定義しようとした。しかし定義はいつも“定義した瞬間に揺らぐ”形で記録されたとされる。初期資料では、無意味の条件として「(1) 数式が真であっても、(2) 誰の判断が増えるかが空欄の場合、(3) その空欄が読者に共有されるとき」を挙げる式が提示されたという[13]。
ここで特徴的なのは、無意味が“反科学”としてではなく、“説明の社会性”として語られた点である。例えば、の市民大学講座では「証明が美しいほど意味が薄くなる」傾向が観察されたとして、受講者が作った短歌が統計データとして扱われた。短歌の採点には「季語の数で2点」「比喩の明確さで-1点」などの恣意があったとも伝えられるが、少なくとも資料作りの滑稽さが参加者の笑いを引き起こし、その笑いが“意味の共同体”を形成したと説明された[14]。
ただし、この立場には内的矛盾も多い。無意味派が数学を敬うほど、数学が持つ“説明能力”への期待を手放すことになるからである。ここから生まれたのが「敬意だけが残る」という表現であり、数学者の講義が宗教的儀礼に似る瞬間を、無意味派は“成功”として見ていたとする回想もある[15]。
社会的影響[編集]
数学の無意味は直接的な政策になったわけではないが、説明文化の側にじわじわと影響したとされる。典型例として、企業研修のスライドが「結論→証明→感想」の順から「感想→結論→証明」へと入れ替えられた時期がある。研修担当はその理由を「意味は先に要約されるべき」だとしており、数学の無意味の語り口が“要約の権威”として利用されたという[16]。
また、学術と市民の距離感にも影響があったとされる。市民側の学習会では、数式の読み方よりも、数式に対する“沈黙の礼儀”が重視され、意見の対立が減る代わりに、検証の機会も減ったと指摘されている[17]。この結果、数学は“理解する対象”ではなく“尊重する対象”として振る舞う局面が増えたとされる。
さらに、誤算事件由来の注記文化は行政にも波及した。例えばの某区役所では、見込み違いが起きた予算資料の末尾に「この資料は未来の当て札ではない」と掲げ、当該ページの閲覧率が前年比で12.7%上昇したという。上昇理由は明確ではないが、説明が誠実になることで“文書への恐怖”が減ったためだとする説がある[18]。一方で、この“恐怖の減少”を数式的に扱う試みもあり、数学の無意味派は皮肉を込めて称賛したという。
批判と論争[編集]
批判は大きく二方向からなされた。一方では、無意味派が数学の有用性を言外に否定し、研究を衰退させるのではないかという懸念が出た。たとえばの臨時会合では、「無意味の主張が“証明の贈与”を断つ」とする報告が提出されたとされる[19]。
他方では、無意味派の定義が曖昧すぎる点が問題視された。「意味は共同体の合意」という表現が、最終的に“誰が合意したか”の政治に回収される危険があるとされたのである。討論会の参加者が提出した沈黙時間のデータが、ある編集者によって「スマホの初期設定がサーバ時刻とずれていた」可能性が指摘され、測定の信頼性が揺らいだこともある[20]。
さらに、笑えるレベルの論争として「空理空論税」の扱いがあった。財政担当官が本気にしてしまい、某大学に「税務申告の様式」を配布したことで一時的に混乱したとされる。しかし運営は“様式は冗談”と説明した後で、なぜか様式の冒頭に「誠実にふざけるため」だと書き足した。この書き足しが、無意味派の勝利として語られている[21]。
脚注[編集]
関連項目[編集]
脚注
- ^ 早瀬環「『誤算事件』と注記文化の再編」『記号共同体研究』第12巻第3号, pp. 41-63, 1987.
- ^ 【マリオ・ヴェルデッティ】「数学的沈黙の測定論：17分42秒の再現」『Journal of Silent Computation』Vol. 9, No. 2, pp. 201-219, 1994.
- ^ 佐伯健作「公理の選択と意味の不在」『日本数理思想年報』第5巻第1号, pp. 11-28, 1991.
- ^ 小川妙子「説明の順序入れ替えは学習を変えるか：感想→結論→証明」『教育工学レビュー』第18巻第4号, pp. 77-102, 2002.
- ^ Thornton, Margaret A.「Agreement as Meaning: A Field Study of Proof Audiences」『International Review of Epistemic Culture』Vol. 33, No. 1, pp. 5-31, 2009.
- ^ 伊藤和泉「沈黙時間の誤差と社会的信号」『統計行政論叢』第21巻第2号, pp. 130-156, 2013.
- ^ ヴァン・デル・リール「On Nonsensical Yet Useful Models」『Proceedings of the Ontology Society』第2巻第7号, pp. 88-94, 2017.
- ^ 北条真一「“数式は雨を数えない”の出典探索」『比喩と証明の交差』pp. 1-19, 2005.
- ^ （書名不一致のため要確認）García, Elena「The Meaning of Unmeaning Mathematics」『Mathematical Humor Quarterly』Vol. 1, No. 1, pp. 1-3, 1983.
外部リンク
- 沈黙を測る会
- 記号共同体アーカイブ
- 空理空論税 申告サンプル集
- 誤算事件の現場記録
- 証明より先の要約研究所