Results 1 
6 of
6
Hypercomputation and the Physical ChurchTuring Thesis
, 2003
"... A version of the ChurchTuring Thesis states that every e#ectively realizable physical system can be defined by Turing Machines (`Thesis P'); in this formulation the Thesis appears an empirical, more than a logicomathematical, proposition. We review the main approaches to computation beyond Turing ..."
Abstract

Cited by 20 (0 self)
 Add to MetaCart
A version of the ChurchTuring Thesis states that every e#ectively realizable physical system can be defined by Turing Machines (`Thesis P'); in this formulation the Thesis appears an empirical, more than a logicomathematical, proposition. We review the main approaches to computation beyond Turing definability (`hypercomputation'): supertask, nonwellfounded, analog, quantum, and retrocausal computation. These models depend on infinite computation, explicitly or implicitly, and appear physically implausible; moreover, even if infinite computation were realizable, the Halting Problem would not be a#ected. Therefore, Thesis P is not essentially di#erent from the standard ChurchTuring Thesis.
Fast Quantum Algorithms for Handling Probabilistic and Interval Uncertainty
, 2003
"... this paper, we show how the use of quantum computing can speed up some computations related to interval and probabilistic uncertainty. We end the paper with speculations on whether (and how) "hypothetic" physical devices can compute NPhard problems faster than in exponential time ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
this paper, we show how the use of quantum computing can speed up some computations related to interval and probabilistic uncertainty. We end the paper with speculations on whether (and how) "hypothetic" physical devices can compute NPhard problems faster than in exponential time
Towards Computers of Generation Omega  NonEquilibrium Thermodynamics, Granularity, and Acausal Processes: A Brief Survey
 Proceedings of the International Conference on Intelligent Systems and Semiotics (ISAS '97), Gaithersburg, MD: National Institute for Standards and Technology Publications
, 1997
"... Nowadays, we are using mainly computer of fourth generation, and we are designing fifthgeneration computers. It is reasonable to ask: what is the perspective? What will the computers of generation omega look like? ffl As the speed of data processing increases, we face a natural limitation of causa ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Nowadays, we are using mainly computer of fourth generation, and we are designing fifthgeneration computers. It is reasonable to ask: what is the perspective? What will the computers of generation omega look like? ffl As the speed of data processing increases, we face a natural limitation of causality, according to which the speed of all processes is limited by the speed of light. ffl Lately, a new area of acausal (causality violating) processes has entered mainstream physics. This area has important astrophysical applications. In this paper, we show: ffl how nonequilibrium thermodynamics makes these processes consistent, ffl how these processes can be used in computations, and ffl how the very possibility of these processes lead to the granularity of the physical world. KEYWORDS: computer generations, granularity, nonequilibrium thermodynamics, quantum computing, acausal processes 1. GENERATIONS OF COMPUTERS: WE NEED FASTER AND FASTER COMPUTERS No matter how fast modern co...
Acausal Processes and Astrophysics: Case When Uncertainty is NonStatistical (Fuzzy?)
 Studies and Exchanges on Fuzziness and its AppLications (BUSEFAL
, 1996
"... In Newtonian physics, if we know the state of the world at some moment of time, then we can precisely predict the state of the world at all future times. In this sense, Newtonian physics is deterministic. In modern physics (starting with quantum mechanics), theories are usually nondeterministic ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
In Newtonian physics, if we know the state of the world at some moment of time, then we can precisely predict the state of the world at all future times. In this sense, Newtonian physics is deterministic. In modern physics (starting with quantum mechanics), theories are usually nondeterministic in the sense that even if we know exactly the initial state of the world, we cannot uniquely predict the future state of the world. In quantum mechanics (and in most modern quantumbased physical theories), the best we can get is probabilities of different future states.
Received (Day Month Year)
"... Accepted (Day Month Year) Communicated by (xxxxxxxxxx) In this paper, we explain why, in our opinion, logic and constructive mathematics are playing – and should play – an important role in the design, understanding, and analysis of unconventional computation. ..."
Abstract
 Add to MetaCart
Accepted (Day Month Year) Communicated by (xxxxxxxxxx) In this paper, we explain why, in our opinion, logic and constructive mathematics are playing – and should play – an important role in the design, understanding, and analysis of unconventional computation.
Designing, Understanding, and Analyzing Unconventional Computation: The Important Role of Logic and Constructive Mathematics
"... In this paper, we explain why, in our opinion, logic and constructive mathematics are playing – and should play – an important role in the design, understanding, and analysis of unconventional computation. ..."
Abstract
 Add to MetaCart
In this paper, we explain why, in our opinion, logic and constructive mathematics are playing – and should play – an important role in the design, understanding, and analysis of unconventional computation.