1級 · 読解 · 第54回
見えざる大陸の地図製作者たち ― 発見と発明のはざまの数学
この回の内容
1級 · 読解 · 第54回
「プラトン主義 ⇄ 形式主義 → 不合理な有効性 → 生存者バイアスによる反論 → 決着しない理由」の運びです。
両陣営の主張を対で押さえる
プラトン主義は数学的対象が人間の認識と無関係な抽象領域に実在すると考え、数学者を建築家ではなく 探検家 と見ます。
形式主義は数学を記号操作の精緻な遊戯とみなし、公理は選ばれたものだと主張します（チェスの規則と同じで独立の存在はない）。
決着しないこと自体が示唆
形式主義の反論（合致した例だけを祝い、何にも対応しない無数の構造は静かに捨てている＝生存者バイアス）は鋭いが、yet this riposte, however shrewd, leaves a residue of disquiet（それでも違和感の澱は残る）。
結論は The debate endures precisely because each camp can account for the very same evidence while neither can decisively expel its rival ━ 同じ証拠を双方が説明でき、どちらも相手を追い出せないこと自体が、人間の知の限界について何かを語っている、です。
つまずきやすい所
○ 生存者バイアスという反論がある
✗ 数学の有効性はプラトン主義を証明した
may suffice to dissolve the apparent miracle。
○ 違和感の澱は残ると筆者は述べる
✗ 生存者バイアスで問題は解決した
leaves a residue of disquiet。
○ 決着しないこと自体が示唆的とされる
✗ この論争はいずれ決着する
a stalemate that may itself be telling us something。
両論の対と、決着しない理由。どちらかに寄せた選択肢は誤答です。