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 me- chanical computation both for generating rules and inferences. It is shown that this abstract formalism can be geometri- cally 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.
A New Way To implement Quantum Computation
AULETTA, Gennaro
2013-01-01
Abstract
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 me- chanical computation both for generating rules and inferences. It is shown that this abstract formalism can be geometri- cally 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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Auletta_2013g.pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
DRM non definito
Dimensione
972.79 kB
Formato
Adobe PDF
|
972.79 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.