Results 1 -
2 of
2
The Discovery Of My Completeness Proofs
- Bulletin of Symbolic Logic
, 1996
"... This paper deals with aspects of my doctoral dissertation 1 ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
This paper deals with aspects of my doctoral dissertation 1
A QUANTUM GATE AS A PHYSICAL MODEL OF AN UNIVERSAL ARITHMETICAL ALGORITHM WITHOUT CHURCH’S UNDECIDABILITY AND GÖDEL’S INCOMPLETENESS
, 2006
"... PACS number: 03.67.Lx In this work we define an universal arithmetical algorithm, by means of the standard quantum mechanical formalism, called universal qm-arithmetical algorithm. By universal qm-arithmetical algorithm any decidable arithmetical formula (operation) can be decided (realized, calcula ..."
Abstract
- Add to MetaCart
PACS number: 03.67.Lx In this work we define an universal arithmetical algorithm, by means of the standard quantum mechanical formalism, called universal qm-arithmetical algorithm. By universal qm-arithmetical algorithm any decidable arithmetical formula (operation) can be decided (realized, calculated. Arithmetic defined by universal qm-arithmetical algorithm called qmarithmetic one-to-one corresponds to decidable part of the usual arithmetic. We prove that in the qm-arithmetic the undecidable arithmetical formulas (operations) cannot exist (cannot be consistently defined). Or, we prove that qm-arithmetic has no undecidable parts. In this way we show that qm-arithmetic, that holds neither Church’s undecidability nor Gödel’s incompleteness, is decidable and complete. Finally, we suggest that problems of the foundation of the arithmetic, can be solved by qm-arithmetic. 1

