ノンスタンダード・アナリシスと物理学 : 無限小概念の復活
スポンサーリンク
概要
- 論文の詳細を見る
現代論理学とも, 数理論理学とも呼ばれる数学基礎論は, 19世紀末に現れた数学の危機を救うために生まれた数学理論であり, 計算機科学がこの数学基礎論から派生したことはよく知られているが, 近年になって, 科学のもっとも基本的な問題にいくつかの応用が発見されるようになった. ノンスタンダード・アナリシスは, 数学基礎論のモデル論の応用として生まれ, 無限小概念の合理化というライプニッツ以来の問題を解決することに成功した. 無限小の合理化は, 単に微分積分学の書き直しにとどまらない, 奥行きの深いものであって, 新しい自然記述の方法を我々に解放したように思われる. 論理学と物理学の間に生まれつつある, この新しい接点を探ってみたい.
- 社団法人日本物理学会の論文
- 1988-12-05
著者
関連論文
- 23aTB-9 複数量子ビット演算の精度限界(23aTB 量子エレクトロニクス(量子情報),領域1(原子・分子,量子エレクトロニクス,放射線物理))
- 伏見先生と量子論理(伏見康治の世界を眺める-通り過ぎたあとに遺して行ったこと-)
- 論理・集合・実数・物理・測定 : 量子集合論と量子力学の観測問題 (非可換解析とミクロ・マクロ双対性)
- 量子情報の数学的基礎
- 29pTB-2 量子測定理論の構築と展開(29pTB 領域11,領域1合同シンポジウム:「情報」を通して見る量子力学,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- 非可換観測量の同時測定可能性(量子解析におけるミクロ・マクロ双対性)
- 量子集合論と量子力学の解釈問題(数学基礎論とその応用)
- 数理論理学と経験科学との接点
- 不確定性原理・保存法則・量子計算
- Wigner-Araki-Yanase theorem and the realizability of quantum computing (Mathematical Study of Quantum Dynamical Systems and Its Application to Quantum Computer)
- 情報処理の量子力学的制約((6)数学的及び数理科学的考察,量子カオス:理論と実験の現状,研究会報告)
- 情報処理の量子力学的制約((6)数学的及び数理科学的考察,京大基研短期研究会「量子カオス : 理論と実験の現状」,研究会報告)
- 31aSG-8 ハイゼンベルク不確定性原理の再定式化と計算の量子限界
- 28pYN-4 情報理論と量子力学 : その融合と今後の課題
- 量子計算とチャーチの提唱
- 23pYK-3 間接測定による状態変化と不確定性原理
- Quantum Oracles and Computational Complexity (Algebraic Systems, Formal Languages and Computations)
- 観測過程と不確定性原理
- 集合論的不確定指示子による理論間関係の論理分析
- 量子Turing機械の局所遷移関数 (情報数理に関連する応用函数解析の研究)
- 26pRF-1 保存法則によって引き起こされる単一量子ビットゲートの最小誤差の研究(量子エレクトロニクス(量子情報),領域1,原子・分子,量子エレクトロニクス,放射線物理)
- 26pRF-2 『乗法的保存量が課す量子測定の制限 : Wigner-Araki-Yanase定理の拡張』(量子エレクトロニクス(量子情報),領域1,原子・分子,量子エレクトロニクス,放射線物理)
- 無限小解析と観測問題(量子力学的観測理論,研究会報告)
- ノンスタンダード・アナリシスと物理学 : 無限小概念の復活
- 観測理論と測定の量子限界(基研長期研究会「進化の力学への場の理論的アプローチ」報告,研究会報告)
- 観測理論と測定の量子限界(基研長期研究会「進化の力学への場の理論的アプローチ」,研究会報告)
- V$^{(\mathrm{B})}$ の Banach 空間論とその応用(数学基礎論)
- Boolean valued analysis and operator algebras(Operator Algebras and Applications)
- 量子コンピュータの計算量(応用函数解析の研究)
- 量子コンピュ-タの計算量
- 量子力学とBoole値解析学(基研短期研究会「進化の力学への場の理論的アプローチ」報告,研究会報告)
- 量子力学とBoole値解析学(基研短期研究会「進化の力学への場の理論的アプローチ」報告,研究会報告)
- 31aSG-8 ハイゼンベルク不確定性原理の再定式化と計算の量子限界
- Nonstandard Representations of Unbounded Self-Adjoint Operators (Topics in Information Sciences and Applied Functional Analysis)
- Measurements of Nondegenerate Observables (Topics in Information Sciences and Applied Functional Analysis)
- エンタングルメントと不確定性原理 (エンタングルメント理論とその展開--"量子もつれ"のミステリー)
- Nonstandard Methods on Representations of the Canonical Commutation Relations
- 波束の収縮という概念と量子論的Bayesの原理
- On the Halting Problem for Quantum Turing Machines
- 量子計算の数理モデル (特集 量子コンピュ-タ--量子計算:理論と実験の最前線)
- 波束の収縮という概念について (III) : 量子論的擾乱
- 通信路容量の物理的限界(量子情報理論と開放系)
- 意識の問題 : 波束の収縮という概念について(III) : 量子論的擾乱
- 『波束収縮と再現性の概念的差異』について
- 波束の収縮という概念について(II) : 部分跡による導出
- 波束の収縮という概念について(?)部分跡による導出
- 波束の収縮という概念について (I)
- ルベ-グ積分--測度 (解析学の0時限)
- 量子論理 (ロジックの面白さ)
- 無限小"解析学" (「解析」ということ)
- Cat Paradox for C*-Dynamical Systems : Invited Papers
- レシニェフスキ-存在論と公理的集合論
- レシニェフスキ-存在論と公理的集合論
- 超実数 (かずかずの数)
- 量子力学的観測とBoole値解析学
- 量子力学的観測と Boole 値解析学 (「たましひ」の問題)
- 情報理論の観測理論への応用(量子力学の基礎について,研究会報告)
- 情報理論の観測理論への応用(量子力学の基礎について,研究会報告)
- 数理論理学と経験科学との接点
- 量子情報技術と科学基礎論 (特集=量子力学の最前線--情報・脳・宇宙)
- 量子力学の論理 (特集 物理と論理--概念規定と論理構造をとらえ直す)
- 量子計算の原理的限界--量子論理のエネルギー・コスト (特集 不確定性原理の新展開--量子測定・量子情報をめぐって)
- 不確定性原理と標準量子限界 (特集 不確定性原理の新展開--量子測定・量子情報をめぐって)
- 不確定性原理の新展開--古い解釈と新しい定式化 (特集 不確定性原理の新展開--量子測定・量子情報をめぐって)
- 量子情報理論のルーツ (特集 量子情報と量子コンピュータ--量子力学と情報科学の壮大な融合)
- 量子力学と超準解析学 (特集 無限と連続--数学における計算可能性)
- 量子測定理論入門(講義,第56回物性若手夏の学校(2011年度) 研究と人生の指針-Beyond the CoMPaSS of your field.-,講義ノート)
- 量子力学における測定・相関・文脈性(基研研究会 量子科学における双対性とスケール,研究会報告)
- 科学の示す実在像について : ボーア=アインシュタイン論争研究の最前線 (特集 ニュートリノ/相対性理論 : 観測がひらく新世界)
- 不確定性原理の発見 (特集 ハイゼンベルク : 対話と討論が生み出した現代物理の礎)
- 不確定性原理の新しい姿 (特集 電子と不確定性の世界)
- 量子測定の数理と不確定性原理(1)量子力学の新しい測定公理
- 量子測定の数理と不確定性原理(2)測定過程論
- 量子測定の数理と不確定性原理(3)不確定性原理を打破する測定モデルと新しい定式化