Computational Language $ \beta $ based on Orthomodular Lattices with the Non-distributivity of Quantum Logic
Kazuki Otsuka

TL;DR
This paper introduces a computational language based on orthomodular lattices, emphasizing non-distributivity in quantum logic, to model transformation processes with deep algorithmic complexity in universal computing systems.
Contribution
It proposes a new computational framework using orthomodular lattices and non-distributive quantum logic to analyze complex transformation processes in universal machines.
Findings
Defines the class of functions with quasi-periodic structure, $\\Omega$, linked to irrational eigenvector components.
Models universal computation using a parallel processing framework on event-state systems.
Highlights the role of non-distributivity in Hilbert spaces for logical deduction in quantum-inspired computation.
Abstract
It is argued that transformation processes (generation rules) showing evidence of a long evolutionary history in universal computing systems can be generalized. The explicit function class is defined as follows: "Operators whose eigenvectors (or eigenvalues) have an irrational number in their components constitute a class of functions with quasi-periodic structure, , and the class shows evidence of a long evolutionary history." In order to empirically prove this theorem by examining physical systems carrying out life activities or intellectual outputs of developed intelligence, the basic framework of the universal machine model C and the computational language is presented as a model for general computational methods, which allow transformation processes (generation rules) with deep algorithmic complexity to be derived from generation results. C…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · DNA and Biological Computing
