Abstract
Finkelstein's suggestion for a flexible logic is taken up in the context of his causal net theory. We interpret on the net certain concepts that are first expressed in terms of the canonical “flexible logic” of the macroscopic world, namely, the logic of sheaves over the manifold model, here taken to be flat. From this we infer a correspondence principle in the form of a simple (model-dependent) semantics which translates certain concepts between the purely quantum world of the net and the familiar classical-quantum hybridized world of the macroscopic model. As an application, we derive and solve the reticular version of the massless Dirac equation by analyzing the Dirac operator on the net, where its behavior is easily apprehended.
Similar content being viewed by others
References
Barnabei, M., Brini, A., and Rota, G.-C. (1985).Journal of Algebra,96, 120–160.
Barr, M., and Wells, C. (1985).Toposes, Triples and Theories, Springer-Verlag, New York.
Bell, J. L. (1988).Toposes and Local Set Theories, Oxford University Press, Oxford.
Bredon, G. E. (1967).Sheaf Theory, McGraw-Hill, New York.
Feynman, R. P., and Hibbs, A. R. (1965).Quantum Mechanics and Path Integrals, McGraw-Hill, New York.
Finkelstein, D. (1969a).Physical Review,184, 1261–1271.
Finkelstein, D. (1969b). Matter, space, and logic, inBoston Studies in the Philosophy of Science, Vol. V, R. S. Cohen, and M. W. Wartofsky, eds., Reidel, Dordrecht, Holland [reprinted in C. A. Hooker, ed.,The Logico-Algebraic Approach to Quantum Mechanics, II, Reidel, Dordrecht, Holland (1979)].
Finkelstein, D. (1972).Physical Review D,5, 320–328;Physical Review D,5, 2922–2931.
Finkelstein, D. (1974).Physical Review D,9, 2219–2231.
Finkelstein, D. (1987).International Journal of Theoretical Physics,26, 109–129.
Finkelstein, D. (1988).International Journal of Theoretical Physics,27, 473–519.
Finkelstein, D. (1989).International Journal of Theoretical Physics,28, 441–467;International Journal of Theoretical Physics,28, 1081–1098.
Finkelstein, D. (1990). Q: A quantum language, preprint.
Finkelstein, D., and Hallidy, W. H. (1990). Q: An algebraic language for quantum spacetime topology, preprint.
Finkelstein, D., Frye, G., and Susskind, L. (1974).Physical Review D,9, 2231–2236.
Fourman, M. P., Mulvey, C., and Scott, D. S., eds. (1979).Applications of Sheaves, Springer-Verlag, New York.
Goldblatt, R. (1984).Topoi: The Categorial Analysis of Logic, North-Holland, Amsterdam.
Hartshorne, R. (1977).Algebraic Geometry, Springer-Verlag, New York.
Johnstone, P. T. (1977).Topos Theory, Academic Press, London.
Lambek, J., and Scott, P. J. (1986).Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge.
Mallios, A. (1990). Vector sheaves and second quantization, preprint.
Mallios, A. (1991).Geometry of Vector Sheaves, in preparation.
Manin, Yu. I. (1988).Gauge Field Theory and Complex Geometry, Springer-Verlag, New York.
Mulvey, C. J. (1974). Intuitionistic algebra and representations of rings,Memoirs of the American Mathematical Society,148, 3–57.
Selesnick, S. (1983).International Journal of Theoretical Physics,22, 29–53.
Thirring, W. (1983).A Course in Mathematical Physics 4. Quantum Mechanics of Large Systems, Springer-Verlag, New York.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Selesnick, S.A. Correspondence principle for the quantum net. Int J Theor Phys 30, 1273–1292 (1991). https://doi.org/10.1007/BF01026175
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01026175