Computational Language β based on Orthomodular Lattices with the Non-distributivity of Quantum Logic

03/23/2022
by   Kazuki Otsuka, et al.
0

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 and β perform massively parallel computations on event-state systems consisting of exponential combinations of propositional elements expressed in terms of correlations between subsystems. The logical structure of the computational language relies on a non-distributivity in Hilbert spaces or orthogonal modular lattices, allowing for the manipulation and deduction of simultaneous propositions. In this logical local structure, the propositions implying certain consequences are not uniquely determined.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/16/2020

A New Connective in Natural Deduction, and its Application to Quantum Computing

We investigate an unsuspected connection between non harmonious logical ...
research
01/31/2020

Quasi-likelihood analysis for marked point processes and application to marked Hawkes processes

We develop a quasi-likelihood analysis procedure for a general class of ...
research
04/11/2020

Combinatorial Decision Dags: A Natural Computational Model for General Intelligence

A novel computational model (CoDD) utilizing combinatory logic to create...
research
01/31/2022

Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution

We designed two rules of binary quantum computed vote: Quantum Logical V...
research
09/14/2021

Quasi-Measurable Spaces

We introduce the categories of quasi-measurable spaces, which are slight...
research
01/15/2012

The non-algorithmic side of the mind

The existence of a non-algorithmic side of the mind, conjectured by Penr...
research
04/12/2023

Self Optimisation and Automatic Code Generation by Evolutionary Algorithms in PLC based Controlling Processes

The digital transformation of automation places new demands on data acqu...

Please sign up or login with your details

Forgot password? Click here to reset