×

量子力学的逻辑。 (英语) JFM 62.1061.04标准

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.)

PDF格式BibTeX公司 XML格式引用
全文: 内政部