[論文レビュー] Four Departures in Mathematics and Physics

Elemér E Rosinger|arXiv (Cornell University)|Mar 1, 2010

Mathematical and Theoretical Analysis参考文献 12被引用数 3

ひとこと要約

この論文は、数学および物理学における4つの基礎的制約——矛盾の禁止、自己言及の禁止、アルキメデスの公理、行列モジュール構造の無視——に挑戦し、それぞれが非標準的な数学的枠組み、たとえば一貫性のない論理系、非アルキメデス的代数、および縮小べき代数を用いることで克服可能であると主張する。主な貢献は、現代物理学、特に量子力学および宇宙論が、実数や古典論理を越えた数学的構造を必要としており、長年の無限大や概念的パラドックスを解消する整合的な代替案を提示していることである。

ABSTRACT

Much of Mathematics, and therefore Physics as well, have been limited by four rather consequential restrictions. Two of them are ancient taboos, one is an ancient and no longer felt as such bondage, and the fourth is a surprising omission in Algebra. The paper brings to the attention of those interested these four restrictions, as well as the fact that each of them has by now ways, even if hardly yet known ones, to overcome them.

研究の動機と目的

• 数学および物理学における、基礎的理論の進展を妨げる4つの長年の制限的仮定を特定し、批判すること。
• 矛盾の拒否や自己言及の拒否が論理的に必然的であるのではなく、歴史的・文化的に根付いたものであることを主張すること。
• アルキメデスの公理が必然的真実ではなく、より豊かな数学的構造を排除する制限的仮定であることを示すこと。
• n次元ユークリッド空間 ℝⁿ が、非可換代数 ℳⁿ（n×n 実行列の代数）上のモジュールとして、より深い代数的構造を持つこと、この事実は体系的に無視されていること。
• 非アルキメデス的数学、特に縮小べき代数を、現代物理学（量子場理論および宇宙論を含む）のより適切な基礎として採用すべきであると提言すること。

提案手法

• デジタルコンピュータが基礎とする一貫性のない論理系（たとえば、大きな整数 M に対して M+1=M となる）を導入し、形式的な不整合にもかかわらず実用的に整合的であることを示す。
• 自己言及を歴史的・哲学的視点から分析し、悪魔の自己言及のパラドックス（Liar Paradox）およびラッセルのパラドックスを引用し、基礎的体系においてその正当性を主張する。
• アルキメデスの公理を非アルキメデス的構造に置き換え、縮小べき代数を用いて無限小および無限大を含む順序付き体を構成する。
• 異なる環上のテンソル積および環準同型を構成し、テンソル積の構造が基礎となる環に依存することを示し、異なる代数的性質を生じることを明らかにする。
• ℝⁿ が ℝ 上のベクトル空間であるだけでなく、非可換代数 ℳⁿ 上のモジュールとしても自然に構造を持つこと、このより豊かな代数的構造はしばしば無視されていることを示す。
• 主イデアル整域（PID）上のモジュールの代数的分解定理（例：R/(Rp_i^{α_ij}) など）を用い、モジュール理論における構造の豊かさを説明する。

実験結果

リサーチクエスチョン

• RQ1 デジタルコンピュータが一貫性のない公理系の下で正常に動作していることから、論理的矛盾の禁忌を緩和することで、数学的物理学が前進できるか？
• RQ2 自己言及は論理的欠陥であるのか、それとも基礎的体系にとって不可欠な特徴であるのか？特に神の自己認識や現代論理における自己言及の存在を踏まえて。
• RQ3 アルキメデスの公理が実数直線を一意に決定するのか、それとも物理的時空をよりよくモデル化する数学的に整合的な代替案が存在するのか？
• RQ4 n次元空間 ℝⁿ が n×n 実行列の非可換代数 ℳⁿ 上のモジュールとして見なされることで、構造が豊かに拡張可能であり、その物理的意味は何か？
• RQ5 量子場理論や宇宙論といった現代の物理理論は、無限大や多宇宙の状態数の問題を解消するために、非アルキメデス的数学的枠組みを必要としているのか？

主な発見

• デジタルコンピュータは、大きな整数 M に対して M+1=M となる一貫性のない算術系の下で動作しているが、依然として信頼性を保ち、不整合が必ずしも非一貫性を意味しないことを証明している。
• ℝ が唯一の完備順序体であるという一意性は、深い数学的真実ではなく、アルキメデスの公理の直接的結果にすぎず、この公理を除外することでより豊かな数学的構造が得られる。
• 縮小べき代数は、無限小および無限大を含む整合的で非アルキメデス的な枠組みを提供し、時空のモデル化に ℝ の代替として実用的である。
• n次元空間 ℝⁿ は、自然に n×n 実行列の非可換代数 ℳⁿ 上のモジュールとしての構造を持つが、これは標準的な取り扱いでは体系的に無視されている。
• 環 R 上のテンソル積は R に依存し、基礎となる環を R から部分環 S に変えたり、環準同型 f や g を通じて変換することで、異なるテンソル積構造が得られることを示し、環の選択が数学的に有意義であることを示している。
• 観測可能な宇宙に 10^80 個以下の原子しか存在しないのに対し、量子アルゴリズムが 10^500 個以上の状態を必要としていることから、標準的な実数に基づくモデルを超える数学的構造の必要性が示唆され、非アルキメデス的代数がこれを満たす可能性を示している。