Академический Документы
Профессиональный Документы
Культура Документы
Qasim Mahmood
December 2020
1 Introduction
It is quite natural to categorize the sciences. We are all well familiar with
them. There are many: chemistry, physics, biology, etc. They each even have
exotic branches such as aerodynamics, fluid mechanics, and so on, but we do
know that there are some connections between them. For instance, most of the
molecules that we study in chemistry make up living organisms. Similarly the
atoms and electrons we study in physics make the up said molecules. Hence the
size of the constituents studied in each science gives rise to a natural hierarchy.
This is what’s called in philosophy, the reductionist perspective. This provides
us with one such way of fitting them all together, and indeed this is the view
held by most physicists.
With Mathematics being the ”mother of all sciences” and like its children,
blessed with many branches; we would also like to have a hierarchy for it. There
is a notion of fundamentalness here as well. For instance, logic, the basis of
proofs, would be considered more fundamental than say, Fourier analysis, some-
thing electrical engineers are particularly fond of. We could also order them in
terms of their abstraction. Maintaining the spirit of appreciating the intimate
connection between mathematics and the sciences, our combined framework for
viewing them would look like this.
1
Now, let’s come to something that has been a big step for human civiliza-
tion: computers. Modelling the stability of buildings, computer guided rovers
to Mars, etc, truly show the power of computation. The underlying theory of
how it works is termed, rather creatively, ”computability theory”. It is a branch
of math developed by Alan Turing in the 1930s. The main idea in this theory
is that of a Turing machine, a hypothetical construct based on classical physics,
which is taken as the fundamental unit that performs computation. The abil-
ity of computers to simulate physical systems is particularly notable. In fact,
when we replace the Turing machine in computability theory with its quantum
counterpart, we get the quantum theory of computation. This comes with an
added feature, i.e. the principle of computational universality. This states that
the laws of physics allow for a machine — a universal quantum computer —
that can simulate all of physics. One consequence of this would be that since
every branch of science is based on physics, all of science is encompassed within
it! So we might as well throw away the previous framework and replace it with
Now, there are several problems with this view. Both the classical and quan-
tum theory of computation are independent of the underlying machinery. They
don’t care which material we use or tell us in quantitative terms what we need,
in order to construct universal computers. In this sense, they are more ab-
stract and less physical, for it is the job of physics to explain hardware. Hence
there must be something to physics beyond the quantum theory of computation.
2
So we know that there are huge gaps in our understanding, and fundamental
mismatches between our best theories and the reality they are supposed to
explain. We know that if we are at the end of some era then it’s only because
we are at the beginning of a new one which offers the prospect not only of some
quite fundamental discovery but of new kinds of fundamental discovery.