Abstract
A language for quantum physics is derived from set theory by replacing the classical predicate algebra (Boolean) by a certain quantum predicate algebra (rational projective), time space and the Hamilton-Schroedinger dynamics by a Feynman-like graph dynamics, and the Dirac spin operators by topological switching operators on the graph. The development is described from the basic level of elementary monadic processes to the level of the free Dirac equation.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Young Men's Philanthropic League Professor of Physics. Supported by the est Foundation and the National Science Foundation.
Rights and permissions
About this article
Cite this article
Finkelstein, D. The Leibniz project. J Philos Logic 6, 425–439 (1977). https://doi.org/10.1007/BF00262079
Issue Date:
DOI: https://doi.org/10.1007/BF00262079