Analogues of quantum complementarity in the theory of automata

Studies in History and Philosophy of Science Part B - Studies in History and Philosophy of Modern Physics

Volumn 29, Issue 1, 1998, Pages 61-80

  Svozil, K ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040081270     PISSN: 13552198     EISSN: 18792502     Source Type: Journal    
DOI: 10.1016/S1355-2198(97)00028-2     Document Type: Article

References (34)

1. Aerts D. 'Quantum Structures: An Attempt to Explain the Origin of their Appearence in Nature'. International Journal of Theoretical Physics. 34:1995;1165-1186.
2. Birkhoff G., von Neumann J. 'The Logic of Quantum Mechanics'. Annals of Mathematics. 37(4):1936;823-843.
3. Brauer, W. (1984) Automatentheorie (Stuttgart: Teubner).
4. Cohen D. W. An Introduction to Hilbert Space and Quantum Logic. 1989;Springer, New York.
5. Conway J. H. Regular Algebra and Finite Mechanics. 1971;Chapman and Hall, London.
6. Davis M. The Undecidable. 1965;Raven Press, New York.
7. Dvurečenskij A., Pulmannová S., Svozil K. 'Partition Logics, Orthoalgebras and Automata'. Helvetica Physica Acta. 68:1995;407-428.
8. Foulis D. J., Randall C. 'Operational statistics. I. Basic concepts'. Journal of Mathematical Physics. 13:1972;1667-1675.
9. Giuntini R. Quantum Logic and Hidden Variables. 1991;BI Wissenchaftsverlag, Manaheim.
10. Gödel, K. (1931) 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme', Monatshefte für Mathematik und Physik 38, 173-198. English translation in , and in
11. Gödel K. Feferman S., Dawson J. W., Kleene S. C., Moore G. H., Solovay R. M., van Heijenoort J. Collected Works. Publications 1929-1936. I:1986;Oxford University Press, Oxford.
12. Greenberger D. B., Horne M., Zeilinger A. 'Multiparticle Interferometry and the Superposition Principle'. Physics Today. 46:1993;22-29.
13. Hartmanis J., Stearns R. E. Algebraic Structure Theory of Sequential Machines. 1966;Prentice Hall, Englewood Cliffs, NJ.
14. Havlicek H., Svozil K. 'Density Conditions for Quantum Propositions'. Journal of Mathematical Physics. 37(11):1996;5337-5341.
15. Hopcroft J. E., Ullman J. D. Introduction to Automata Theory, Languages, and Computation. 1979;Addison-Wesley, Reading, Mass.
16. Kochen, S. and Specker, E. P. (1967) 'The Problem of Hidden Variables in Quantum Mechanics', Journal of Mathematics and Mechanics 17(1), 59-87. Reprinted in , pp. 235-263.
17. Mermin N. D. 'Hidden Variables and the two Theorems of John Bell'. Reviews of Modern Physics. 65:1993;803-815.
18. Moore E. F. 'Gedanken-experiments on Sequential Machines'. Shannon C.E., McCarthy J. Automata Studies. 1956;Princeton University Press, Princeton.
19. Navara M., Rogalewicz V. 'The Pasting Constructions for Orthomodular Posets'. Mathematische Nachrichten. 154:1991;157-168.
20. Odifreddi P. Classical Recursion Theory. 1989;North-Holland, Amsterdam.
21. Paz A. Introduction to Probabilistic Automata. 1971;Academic Press, New York.
22. Randall C. H., Foulis D. J. 'Operational statistics. II. Manual of Operations and their Logics'. Journal of Mathematical Physics. 14:1973;1472-1480.
23. Redhead M. Incompleteness, Nonlocality, and Realism. A Prolegomenon to the Philosophy of Quantum Mechanics:1987;Clarendon Press, Oxford.
24. Rogers H. Jr. Theory of Recursive Functions and Effective Computability. 1967;McGraw-Hill, New York.
25. Schaller M., Svozil K. 'Partition logics of automata'. Il Nuovo Cimento. 109B:1994;167-176.
26. Schaller M., Svozil K. 'Automaton Partition Logic versus Quantum Logic'. Interational Journal of Theoretical Physics. 34(8):1995;1741-1750.
27. Schaller M., Svozil K. 'Automaton logic'. International Journal of Theoretical Physics. 35(5):1996;911-940.
28. Specker, E. (1990) Selecta (Basel: Birkhäuser).
29. Svozil K. Randomness & Undecidability in Physics. 1993;World Scientific, Singapore.
30. Svozil K., Tkadlec J. 'Greechie Diagrams, Nonexistence of Measures in Quantum Logics and Kochen-Specker type Constructions'. Journal of Mathematical Physics. 37(11):1996;5380-5401.
31. Turing, A. M. (1936-7 and 1937) 'On Computable Numbers, with an Application to the Entscheidungsproblem', Proceedings of the London Mathematical Society, Series 2, 42 and 43, 230-265 and 544-546. reprinted in Davis (1965).
32. Wright R. 'The State of the Pentagon. A Nonclassical Example'. Marlow A. R. Mathematical Foundations of Quantum Theory. 1978;255-274 Academic Press, New York.
33. Wright R. 'Generalized Urn Models'. Foundations of Physics. 20:1990;881-903.
34. Zierler N., Schlessinger M. 'Boolean Embeddings of Orthomodular Sets and Quantum Logic'. Duke Mathematical Journal. 32:1965;251-262.