Results 1 
3 of
3
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 qmarithmetical algorithm. By universal qmarithmetical 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 qmarithmetical algorithm. By universal qmarithmetical algorithm any decidable arithmetical formula (operation) can be decided (realized, calculated. Arithmetic defined by universal qmarithmetical algorithm called qmarithmetic onetoone corresponds to decidable part of the usual arithmetic. We prove that in the qmarithmetic the undecidable arithmetical formulas (operations) cannot exist (cannot be consistently defined). Or, we prove that qmarithmetic has no undecidable parts. In this way we show that qmarithmetic, 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 qmarithmetic. 1
NONLOCALITY IN PARTICLE PHYSICS*
, 1975
"... The quantum mechanical description of systems of electrons and nucleiatoms, crystals, metals, molecules, semiconductors, plasmas,... has turned out to be enormously successful. Not only can the experimental properties of simple systems be calculated to high accuracy using only four universal ..."
Abstract
 Add to MetaCart
The quantum mechanical description of systems of electrons and nucleiatoms, crystals, metals, molecules, semiconductors, plasmas,... has turned out to be enormously successful. Not only can the experimental properties of simple systems be calculated to high accuracy using only four universal