数学界に大論争を呼んだ選択公理(1/2) 2015/01/12 数学に「選択公理」と言うのがあります。 これはZFC公理体系、すなわち現代数学を支える 大黒柱の一本とされるほどの超超超重要な公理です。 しかしながら 「・・・・もしかしたら選択公理は矛盾を含むかも(しれない)。危ないからしばらく選択公理の使用は禁止」 との疑惑が勃発し、 「選択公理は採用するべきだ/しないべきだ」と 過去の数学界を真っ二つにするほどの大論争を呼びました。 ちなみにZFCのCはAxiom-of-Choice。すなわち選択公理。 Cだけ最後にちょこーっと付け加えられてるのは この争いに争って、 「ZFが基本だから。使いたい人だけオプションで選択公理を使えばいいよ」って事になったからです。^^; 数学の大前提ZFC公理体系の名前に 傷跡を残したぐらい、 大変ないきさつのあった公理です。 それを解説します。 ----