Results 1 
4 of
4
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 21 (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.
Data Structures in Natural Computing: Databases as Weak or Strong Anticipatory Systems
"... Abstract. Information systems anticipate the real world. Classical databases store, organise and search collections of data of that real world but only as weak anticipatory information systems. This is because of the reductionism and normalisation needed to map the structuralism of natural data on t ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. Information systems anticipate the real world. Classical databases store, organise and search collections of data of that real world but only as weak anticipatory information systems. This is because of the reductionism and normalisation needed to map the structuralism of natural data on to idealised machines with von Neumann architectures consisting of fixed instructions. Category theory developed as a formalism to explore the theoretical concept of naturality shows that methods like sketches arising from graph theory as only nonnatural models of naturality cannot capture realworld structures for strong anticipatory information systems. Databases need a schema of the natural world. Natural computing databases need the schema itself to be also natural. Natural computing methods including neural computers, evolutionary automata, molecular and nanocomputing and quantum computation have the potential to be strong. At present they are mainly at the stage of weak anticipatory systems.
Locality, Weak or Strong Anticipation and Quantum Computing. I. Nonlocality in Quantum Theory
"... Abstract The universal Turing machine is an anticipatory theory of computability by any digital or quantum machine. However the ChurchTuring hypothesis only gives weak anticipation. The construction of the quantum computer (unlike classical computing) requires theory with strong anticipation. Categ ..."
Abstract
 Add to MetaCart
Abstract The universal Turing machine is an anticipatory theory of computability by any digital or quantum machine. However the ChurchTuring hypothesis only gives weak anticipation. The construction of the quantum computer (unlike classical computing) requires theory with strong anticipation. Category theory provides the necessary coordinatefree mathematical language which is both constructive and nonlocal to subsume the various interpretations of quantum theory in one pullback/pushout Dolittle diagram. This diagram can be used to test and classify physical devices and proposed algorithms for weak or strong anticipation. Quantum Information Science is more than a merger of ChurchTuring and quantum theories. It has constructively to bridge the nonlocal chasm between the weak anticipation of mathematics and the strong anticipation of physics.
Time and frequencydomain solutions in an optical analogue of Grover’s search algorithm
, 2006
"... We present new results on an optical implementation of Grover’s quantum search algorithm. This extends previous work in which the transverse spatial mode of a light beam oscillates between a broad initial input shape and a highly localized spike, which reveals the position of the tagged item. The sp ..."
Abstract
 Add to MetaCart
We present new results on an optical implementation of Grover’s quantum search algorithm. This extends previous work in which the transverse spatial mode of a light beam oscillates between a broad initial input shape and a highly localized spike, which reveals the position of the tagged item. The spike reaches its maximum intensity after ��N round trips in a cavity equipped with two phase plates, where N is the ratio of the surface area of the original beam and the area of the phase spot or tagged item. In our redesigned experiment the search space is now two dimensional. In the time domain, we demonstrate for the first time a multipleitem search where the items appear directly as bright spots on the images of a gated camera. In a complementary experiment we investigate the searching cavity in the frequency domain. The oscillatory nature of the search algorithm can be seen as a splitting of cavity eigenmodes, each of which concentrates up to 50 % of its power in the bright spot corresponding to the solution. © 2007 Optical Society of America OCIS codes: 070.2580, 200.3050, 030.1670. 1.