The Borderline

On the Limits to Scientific Knowledge

Earlier in this century, work in mathematical logic and computing turned up the astonishing fact that not every true fact about numbers can be obtained by following a set of rules, in essence, a computer program. These findings place limits on our ability to know in the world of mathematics and logic. Are there similar limits to our ability to answer questions about natural and human affairs? Can we ever hope to understand things like stock price movements or traffic jams or national economies by invoking the tools of scientific argumentation? Or are there some questions that can be shown to be logically, not just practically, beyond the boundaries of science?

This question seems espescially important nowadays, as we see an accelerating movement away from rational analysis of human problems to answers provided by fundamentalist religions, political demagogues, and those that can only be described as magicans and occultists.

Science, as e reality-generating mechanism, is simply a procedure for producing a set of rules for answering questions posed about the universe. These are not just any old rules, however, but have a specific properties - explicitness, public availability, bias-free, reliable - and are generated by a particular procedure, the scientific method. So when we say we have a scientific answer to a question, it means we have what amounts to a computer program that produces the answer to the question as ist output.

Now how would one actually establish that some particular question about the real world, not the mathematical, is truly scientifically unanswerable? One way would be to argue by analogy with the limitative results in mathematics, which state that the world of numbers cannot be both consistent and complete. Translating these terms into everyday language, consistency would mean that there are no true paradoxes in nature; water does flow both uphill and downhill at the same time; a particle cannot move both left and right simultaneously. In general, when we encounter what appears to be such a paradox - such as "jets" that seemed to be moving away from quasars at faster-than-light speeds - subsequent investigation has provided a resolution.

By the same token, completeness means simply that every event has a cause. Universes don't just spontaneously appear out of the vacuum and automobile accidents don't just come out of nowhere. Events have traceable causes - although at a given point in time it may be very unclear to us what the chain of causation for a particular event actually is. It is my belief that unlike the world of mathematical objects, nature is both consistent and complete; there are no mutually contradictory events and things don't just happen. Since this is a pretty bold claim, at least in some circles, let me give some arguments in its support.

The Uncomputable

In the language of computing, incompleteness translates into the existence of uncomputable quantities. Such quantities, in turn, arise from playing fast and loose with the notion of the infinite. So one way in which the natural and mathematical worlds could part company would be for there to be no actual infinities in nature. In a logical system in which there are only a finite number of questions that can be stated of finite length, then incompleteness cannot arise. The empirical evidence in favor of such a finite universe is pretty solid. For instance, all the numbers that have ever been written down, uttered in speech, or in any other way expressed by human beings is certainly finite. And, in fact, the uncomputable numbers that theoreticians assure us exist, can never actually be displayed - if they could, then they would cease to be uncomputable since we would then have a rule for characterizing each digit of the number. Of course, this fact does not prove that infinities do not exist in the universe. But our finite minds have never seen one - and probably couldn't comprehend one if we did.

In this connection, don't be misled by statements about large numbers, such as 10⁸⁰, the number of protons in the known universe or other such immense quantities. While a number like 10⁸⁰certainly commands some respect, it is as far away from infinity as 1 or 2.

The stability of the solar system

In order to bring the issues of limits to scientific knowledge into sharper focus, let's look at a well-known question from the of physics that suggests some of the difficulty in coming to terms with limits. This is the classical problem of the stability of the solar system.

Certainly the most famous question of classical celestial mechanics is the N-Body Problem, which comes in many forms. One version involves N point masses moving in accordance with Newton's laws of gravitational attraction. Mathematically, the trajectories of the particles are given by the solution of the set of differential equations:

Here m_i is the mass and r _i is the position vector of the ith particle, while