タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

量子論理に関するKatagiriSoのブックマーク (4)

  • Quantum Logic Explorer Home Page

    Quantum Logic Explorer    You are about to enter uncharted territory. Unlike elementary Set Theory which is polished and mature mathematics, Quantum Logic is wild and barely explored. An ornery, intractable logic, nobody even knows if it's decidable! (In other words no one knows if an algorithm is even possible that tells you if a given expression is a theorem, much less what such an algorithm mig

  • Quantum Logic and Probability Theory (Stanford Encyclopedia of Philosophy)

    First published Mon Feb 4, 2002; substantive revision Tue Aug 10, 2021 Mathematically, quantum mechanics can be regarded as a non-classical probability calculus resting upon a non-classical propositional logic. More specifically, in quantum mechanics each probability-bearing proposition of the form “the value of physical quantity \(A\) lies in the range \(B\)” is represented by a projection operat

  • Quantum logic - Wikipedia

    In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manip­ulation of propositions inspired by the structure of quantum theory. The formal system takes as its starting point an obs­ervation of Garrett Birkhoff and John von Neumann, that the structure of experimental tests in classical mechanics forms a Boolean algebra, but the str

    Quantum logic - Wikipedia
  • 渡辺慧 - Wikipedia

    1910年、東京府生まれ。学習院中等科、東京高等学校を経て、1933年、東京帝国大学理学部物理学科を卒業する。在学中に理化学研究所で寺田寅彦の指導を受ける。1933年、フランス政府留学生として渡仏、パリでド・ブロイに師事し、熱力学の第二法則と波動力学の研究を始める。1937年、ライプツィヒに移り、ハイゼンベルクに原子核理論を師事する。同年、後にドイツ文学者でハワイ大学教授となるドロテア・ダウアーと結婚する。 1939年、第二次世界大戦の勃発とともにドイツを離れ、コペンハーゲンのボーアの許にしばらく滞在した後、同年12月に家族とともに帰国する。以降、理化学研究所員、東京帝国大学第二工学部助教授、立教大学理学部教授を歴任し、第二次世界大戦後の1950年に渡米。 1956年、IBMワトソン研究所員となり、量子力学を基礎とする独自の情報理論の構築とその応用研究を行う。以降、イェール大学教授、ハワイ

    渡辺慧 - Wikipedia
  • 1