摘要
In this paper, I shall sketch a new way to consider a Lindenbaum-Tarski algebra as a 3D logical space in which any one (of the 256 statements) occupies a well-defined position and it is identified by a numerical ID. This allows pure mechanical computation both for generating rules and inferences. It is shown that this abstract formalism can be geometrically represented with logical spaces and subspaces allowing a vectorial representation. Finally, it shows the application to quantum computing through the example of three coupled harmonic oscillators.
In this paper, I shall sketch a new way to consider a Lindenbaum-Tarski algebra as a 3D logical space in which any one (of the 256 statements) occupies a well-defined position and it is identified by a numerical ID. This allows pure mechanical computation both for generating rules and inferences. It is shown that this abstract formalism can be geometrically represented with logical spaces and subspaces allowing a vectorial representation. Finally, it shows the application to quantum computing through the example of three coupled harmonic oscillators.
