2006-05-09 数学が必要であることの数学的証明 数学 掲示板にも書きましたが。 数学が必要であることの数学的証明 其の壱 今、数学が不必要だったとしよう。 ところで、私は今背理法を使って数学が必要であることを証明しようとしている。 ところが、背理法を使うためには数学が必要なので矛盾。 よって、数学は必要である。■ 数学が必要であることの数学的証明 其の弐 コンピュータが社会の基盤を支える今日にあって、そのコンピューターの基礎を支える計算理論は必要不可欠である。 また、計算理論を構成することが出来る集合論も必要なものである。 さて、全ての数学的研究対象は、集合論上に構築することが出来る。だから、全ての数学的研究対象は必要である。 よって、全ての数学は必要であることが示された。■