加勒特·伯克霍夫;冯·诺依曼,J。 量子力学的逻辑。 (英语) JFM 62.1061.04标准 数学安。,普林斯顿大学,(2) 37, 823-843 (1936). Das Ziel der Arbeit ist,eine den physicalischen Gesetzmäßigkeiten der Quantenmechanik angepa \223,te Logik axiomatisch zu fundieren。Zunächst wird gezeigt,da-man bei einem physicalischen System,dessen Zustände Punkten eines Phasenraumes zugeordnet werden können(im Falle der Quantenmechanik sind diese Punkte die Wellenfunktionen),Physicaliche Aussagen mit Untermengen des Phasenrumes in Beziehung bringen kann,因此,《奥斯萨根的逻辑暗示》(daßder logischen Implikation von Aussagen das mengentheoretische Enthaltensein der entsprechenden Untermengen entspricht)。Den logischen Verknüpfungen“und”,“order”und“nicht”entsprechen bei dieser Auffassung die mengentheoretische Summe,das Produkt und die Komplementbildung von Untermengen。Um möglichst unabhängig von der heutigen Gestalt physicalischer Theorien zu sein,werden aus diesen heuristischen Grundlagen公理化抽象Aussagenkalküle entwicket。Die weitere Durchführung zeigt,daßein der klassischen Dynamik angepa \223]ter Aussagenkalkül Die Struktur einer公司布尔schen Algebra hat,während der Aussagenkalkül der Quantenmechanik die Struktur einer abstraken projektiven Sinne von几何维布伦und(单位)年轻贝西岑·维德。(VI 5.)审核人:Schröder,K.,博士(柏林) 引用于5评论引用于419文件 JFM部分:茨威特·哈尔班德(Zweiter Halbband)。茨威特·阿布什尼特。Grundlagen der Mathematik公司。Abstrakte Mengenlehre公司。 PDF格式BibTeX公司 XML格式引用 \textit{G.Birkhoff}和\textit{J.von Neumann},《数学年鉴》。(2) 37823--843(1936年;JFM 62.1061.04) 全文: 内政部