The central goal of this manuscript is to survey the relationships between fundamental
physics and computer science. We begin by providing a short historical review of how …

We have begun a theory of measurement in which an experimenter and his or her
experimental procedure are modeled by algorithms that interact with physical equipment …

We developed earlier a theory of combining algorithms with physical systems, on the basis
of using physical experiments as oracles to algorithms. Although our concepts and methods …

We argue that dynamical systems involving discrete and continuous data can be modelled
by Turing machines with oracles that are physical processes. Using the theory introduced in …

We introduce an abstract analogue-digital model of computation that couples Turing
machines to oracles that are physical processes. Since any oracle has the potential to boost …

The subject matter of this thesis is combinatorial semigroup theory. It includes material, in no
particular order, from combinatorial and geometric group theory, formal language theory …

What can algorithms compute with the help of information provided by an oracle that is a
physical system? We have developed a theory that combines Turing machines with …

Algorithms whose computations involve making physical measurements can be modelled by
Turing machines with oracles that are physical systems and oracle queries that obtain data …

Consider a computability and complexity theory in which the classical set-theoretic oracle to
a Turing machine is replaced by a physical process, and oracle queries return …

We consider computation with real numbers that arise through a process of physical
measurement. We have developed a theory in which physical experiments that measure …