42 research outputs found
Numerical simulations of a quantum algorithm for Hilbert's tenth problem
We employ quantum mechanical principles in the computability exploration of
the class of classically noncomputable Hilbert's tenth problem which is
equivalent to the Turing halting problem in Computer Science. The Quantum
Adiabatic Theorem enables us to establish a connection between the solution for
this class of problems and the asymptotic behaviour of solutions of a
particular type of time-dependent Schr\"odinger equations. We then present some
preliminary numerical simulation results for the quantum adiabatic processes
corresponding to various Diophantine equations.Comment: Oral contribution to SPIE, Orlando, 2003. 7 pages, 6 colour figure
The Telecommunications and Data Acquisition Report
In space communications, radio navigation, radio science, and ground based radio and radar astronomy, activities of the Deep Space Network and its associated Ground Communications Facility in planning, in supporting research and technology, in implementation, and in operations are reported. Also included is TDA funded activity at JPL on data and information systems and reimbursable DSN work performed for other space agencies through NASA
PSA 2016
These preprints were automatically compiled into a PDF from the collection of papers deposited in PhilSci-Archive in conjunction with the PSA 2016
Computations and Computers in the Sciences of Mind and Brain
Computationalism says that brains are computing mechanisms, that is, mechanisms that perform computations. At present, there is no consensus on how to formulate computationalism precisely or adjudicate the dispute between computationalism and its foes, or between different versions of computationalism. An important reason for the current impasse is the lack of a satisfactory philosophical account of computing mechanisms. The main goal of this dissertation is to offer such an account. I also believe that the history of computationalism sheds light on the current debate. By tracing different versions of computationalism to their common historical origin, we can see how the current divisions originated and understand their motivation. Reconstructing debates over computationalism in the context of their own intellectual history can contribute to philosophical progress on the relation between brains and computing mechanisms and help determine how brains and computing mechanisms are alike, and how they differ. Accordingly, my dissertation is divided into a historical part, which traces the early history of computationalism up to 1946, and a philosophical part, which offers an account of computing mechanisms. The two main ideas developed in this dissertation are that (1) computational states are to be identified functionally not semantically, and (2) computing mechanisms are to be studied by functional analysis. The resulting account of computing mechanism, which I call the functional account of computing mechanisms, can be used to identify computing mechanisms and the functions they compute. I use the functional account of computing mechanisms to taxonomize computing mechanisms based on their different computing power, and I use this taxonomy of computing mechanisms to taxonomize different versions of computationalism based on the functional properties that they ascribe to brains. By doing so, I begin to tease out empirically testable statements about the functional organization of the brain that different versions of computationalism are committed to. I submit that when computationalism is reformulated in the more explicit and precise way I propose, the disputes about computationalism can be adjudicated on the grounds of empirical evidence from neuroscience