レシニェフスキ-存在論と公理的集合論

スポンサーリンク

概要

• 論文の詳細を見る
• 科学基礎論学会の論文

著者

• 小澤 正直

  名大・教養

• 藁谷 敏晴

  東京工業大学

関連論文

• 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)
• 存在論に於ける単称三段論法とライプニッツ則の等値性について
• IS-A関係の論理システムとしてのオントロジー (特集 オントロジー) -- (パネルディスカッション:オントロジー)
• 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
• 古典的否定を考慮に入れた矛盾許容型論理について
• IS-A関係の論理システムとしてのオントロジーII
• 討論 : 矛盾許容型論理PCL1とS5について
• 討論 : 矛盾許容型論理PCL1とS5について
• 非飽和名詞句,一般化則及び主題化の論理的関係に関する一考察
• コピュラ文の論理構造について
• 一階述語論理の拡張としてのOntology : 知識表現の観点から
• 存在論における述定の基本テ-ゼについて
• 自然言語の推論とLesniewskiのOntology及び外延性の公理の論理的性格について
• 実在の論理としての「部分と全体の一般理 論」と出来事の論理的分析について : レシニェフスキーとホワイトヘッド(I)
• 自然言語の推論と Lesniewski の Ontology 及び外延性の公理の論理的性格について
• 集合と命題の論理形式-承前-
• トマス的存在論に於ける述語の内的構造と分有
• レシニェフスキ-存在論とラッセルの記述理論
• ペルソナ及び三位一体論に関する一考察:神学に於ける論理学(I)
• レシニェフスキー存在論とラッセルの記述理論
• 集合と命題の論理形式 (数学の文法)
• パルメニデスの幻想と論理学 (科学哲学の未来を問う)
• レシニェフスキ-存在論と公理的集合論
• レシニェフスキ-存在論と公理的集合論
• 超実数 (かずかずの数)
• 量子力学的観測とBoole値解析学
• 量子力学的観測と Boole 値解析学 (「たましひ」の問題)
• 情報理論の観測理論への応用(量子力学の基礎について,研究会報告)
• 情報理論の観測理論への応用(量子力学の基礎について,研究会報告)
• 量子情報技術と科学基礎論 (特集=量子力学の最前線--情報・脳・宇宙)
• 量子力学の論理 (特集 物理と論理--概念規定と論理構造をとらえ直す)
• 量子計算の原理的限界--量子論理のエネルギー・コスト (特集 不確定性原理の新展開--量子測定・量子情報をめぐって)
• 不確定性原理と標準量子限界 (特集 不確定性原理の新展開--量子測定・量子情報をめぐって)
• 不確定性原理の新展開--古い解釈と新しい定式化 (特集 不確定性原理の新展開--量子測定・量子情報をめぐって)
• 述定と名辞の単称性に関する三つの原理に基づく論理的存在論
• レシニェフスキー存在論と公理的集合論
• 量子測定理論入門(講義,第56回物性若手夏の学校(2011年度) 研究と人生の指針-Beyond the CoMPaSS of your field.-,講義ノート)
• 量子力学における測定・相関・文脈性(基研研究会 量子科学における双対性とスケール,研究会報告)
• 科学の示す実在像について : ボーア=アインシュタイン論争研究の最前線 (特集 ニュートリノ/相対性理論 : 観測がひらく新世界)
• 矛盾許容型論理PCL1の拡張について
• 不確定性原理の発見 (特集 ハイゼンベルク : 対話と討論が生み出した現代物理の礎)
• 不確定性原理の新しい姿 (特集 電子と不確定性の世界)
• 量子測定の数理と不確定性原理(1)量子力学の新しい測定公理

もっと見る 閉じる

スポンサーリンク