WHAT THE WORLD IS MADE OF(mostly extracted from Central Humanism Hub Footnotes)CONTENTS 1. Perhaps the most fundamental assumption of classical logic is the idea that a statement, or the state of affairs which the statement depicts, is either true or not true (factual or non-factual), represented by the formula A v ¬ A. Yet there is absolutely nothing within our immediate, everyday experience that complies with this tenet. Think of an example and it will easily be demolished. But if we burrow deeper, for example, into the wizardry that drives all the paraphernalia of modern technology, we shall soon discover an arena where, it seems, the law A v ¬ A is obeyed flawlessly. Here two worlds meet, one of miniscule chips (microprocessors and microcontrollers) of exceedingly complicated and precise design, the other of endless formulae all based on that simple logical expression – essentially just binary arithmetic. At first there seems to be no way of deciding which of these worlds is paramount: which one is really pulling the strings, the arithmetic or the hardware. Some might say we should attribute the puppetry to the designers of the system, but in that case the dilemma still confronts us, for programmers and microprocessor engineers are equally involved. If the arithmetic is to be put in charge, how can we be certain it will always work, no matter how long the numbers get or how they are manipulated? But surely the weakness is much more likely to lie in the hardware. Mechanical and wiring defects aside, if a gadget fails it will not be because the arithmetic has gone astray but because of a structural fault in a chip. Well, the logic/arithmetic dictates the design of the hardware – the on/off switches and related devices – so if the design is perfect the A v ¬ A law, along with any other computational rules, must be faithfully obeyed. The two aspects work in partnership and it seems that only "human error" remains as a viable threat to the system. 2. Indeed we might have settled this quandary head-on by considering the concept of a "bit", the smallest unit of information used in all computers and controllers. A bit can have only one of two values, 1 or 0, and therefore corresponds to the fundamental A v ¬ A formula of logic. But the empirical ambiguity of the bit is immediately evident, it can only be construed as a juxtaposition of arithmetic and the physical carrier which allows the arithmetic to operate. The bit is literally a switch, an entity with a purpose that is lodged as much in its electronic state as in its arithmetic. Not that arithmetic itself works in a vacuum, as will be revealed in Chapter.... 3. Some mathematicians, however, navigate oceans even more remote than those of the the computer theorists, fathoming the depths of subatomic particles and other entities, upon which, the scientists say, all physical reality is founded. The chief outward manifestation of this enigmatic underworld of fleeting miniscule particles (all of which also behave like waves), uncertainties and lightening speeds is a scenario where cyclotron accelerators reign alongside reams of data and complicated equations, all stored in massive computers. Indeed the primary purpose of the largest of these accelerators, the CERN Large Hadron Collider, near Geneva, is to search for hypothetical particles which, obviously, are even more elusive than the many already on the official list – and it is intriguing to reflect that the researchers are hunting, not simply for any bits and peices that crop up, but for specific entities that fit one or more complicated mathematical models, like pieces in a jigsaw puzzle, as it were, and supposedly capable of providing the wherewithal to answer the most profound questions about the universe. Now, if indeed there are entities which necessarily conform to logical or mathematical structures such as these, then surely they are indistinguishable from those structures. It is then easy to conclude that the physics is identical with the mathematics. In other words the "real" universe is a purely mathematical structure. 4. This view, however, remains unpopular amongst mathematicians, who have faith only in the exactitudes of their own discipline. Ask them what is, perhaps, one of the most important unsolved puzzles in the philosophy of science: "Why does mathematics work in the real world?" and they will dismiss it at once, claiming it is wrong-headed; maths only works because it is designed to model certain aspects of reality. But their story doesn't quite ring true, perhaps because it seems to imply that the whole of maths is invented, or because once a partial model has been found the "analytic" extension of the model tells you much more about the universe (or whatever) than the initial model did, or because, far from being designed to model aspects of reality, maths has become lord and increasingly expects its earthly subjects to obey its laws. Does it not make sense, then, to turn this flimsy belief on its head? Although, on the face of it, there seems to be no good reason why maths should have any connection at all with reality, not only does it work, it is the foundation of modern science and of much that we take for granted in our lives. It works so well that it can be used to make incredibly accurate predictions about the natural world, and to construct real aeroplanes that really fly and real mobile phones that transmit and receive real messages. But many people, philosophers and mathematicians among them, are unwilling to admit the possibility that mere numbers and formulae could have anything to do with the beauty of a loving smile or a leaf blowing in the wind. They don't fully appreciate the seemingly infinite complexity of mathematics – a complexity that may be unmatched in the real world itself. Mathematics may have the power to describe (explain?) a great deal more of reality than we imagine. However, should the answer to this monumental problem turn out to have no use, the importance of the question will immediately diminish. The world faces a mountain of practical problems, acute and chronic, which are of far greater importance than mere philosophy. But wait: although these conjectures may come too late, they have pragmatic implications which ultimately should be testable, lifting the theory out of the metaphysical into the scientific realm. 5. A similar perception about the nature of the universe can be reached from a very different angle. Imagine yourself taking a ride in a rollercoaster, or, better still, driving along a winding mountain road, where you have control of the vehicle, forcing it to behave as it's told. Almost every one of your senses comes into play as you see the world turning around you, hear the rumble of the wheels and squeal of the brakes at every corner, feel the rush of air over your face and experience the force of gravity pulling you this way and that. But each of these sensations provides a very different impression of space, time and force from the others, and one might well wonder what holds these impressions together, to form a single coherent idea of space/time and our situation in it. 6. Part of the answer to this question was contributed by Immanuel Kant in his Critique of Pure Reason, published in the 1780's. His revolutionary theory was that the human mind, far from being a kind of album whose content evolves only through perceiving a supposed outer world, actively "structures" the world as we experience it. We inhabit a "phenomenal" world that is organised by our minds (as opposed to the underlying "noumenal" or "real" world which is independent of perception). In particular, our working representation of space, time, force, mass and causality is a purely mental construction. Some 230 years later scientific evidence lends much credence to Kant's brain-child. Above all, neuroscience, despite its uncompromising materialism, now provides so much support for this picture that one might find it impossible to dismiss. The weakness of this (greatly simplified) account resides in its failure to spell out the meaning of structure (form, shape, organisation, construction and other roughly equivalent terms). Structure has connotations of geometry, physics, logic and mathematics in general, but it takes an expert to sort out Kant's own position in this minefield, and it is exceedingly obvious that the experts are in disagreement. However, in Kant's time the prevailing scientific wisdom was grounded in Euclidean geometry and Newtonian mechanics, both of which retain their utility to this day. The reason for their persistence is that our immediate, local experience does in fact conform to the Euclidean/Newtonian model, and not to more modern descriptions such as Riemannian geometry, general relativity and quantum mechanics. For our worlds begin with our own bodies and their immediate surroundings, while those other worlds appear to have been created in in the far-flung workshops of scientists and technologists. Their products may change our view of the universe but they should not change our view of ourselves, scientists included. But nor is the gulf wide enough to warrant talk of a "paradigm shift". On the contrary, it's easy to understand how Newtonian physics can be regarded as a precursor or "limiting case" of general relativity, and, although harder to reach a similar determination for quantum mechanics, with its multitude of elusive creatures – probabilistic, particle/wave, observer-dependent entities and so forth – nonetheless its all-pervasive relevance to the local scene is beyond doubt. 7. The importance of language in this organisational power of the mind should not be overlooked. According to Simone Weil "A mind enclosed in language is in prison", an observation which helps to explain the genius of Einstein, who wrote: "The words of language, as they are written or spoken, do not seem to play any role in my mechanism of thought. The physical entities which seem to serve as elements in thought are certain signs and more or less clear images". But Einstein had, to say the least, an unusual kind of brain, and it seems most unlikely that his perspective applies to the workings of most human minds. At the other extreme, the Austrian writer Karl Kraus proclaimed "language is the mother of thought, not its handmaiden". Despite our growing awareness of the complicated patterns of communication possessed by supposedly "dumb" wild animals, Kraus's opinion looks closer to the truth. Furthermore it's arguable that language does not merely reflect facts, it plays an important part in creating them by imposing its structural properties upon our interpretation of reality. Words pick out and arrange those features of our environment and behaviour that engage our lives, while the rest of the universe flies by unnoticed. Indeed it's also arguable that no universe exists beyond that which interests us, although our interests must surely include a huge amount and variety of speculation about the unknown, jn fact exploration of the unknown. The question now arises whether Kant's theory (and all the associated humdrum?) can be converted into a theory of the structuralising properties of language. Why not? Language is the mother of thought and especially of invention - invention of the world we inhabit. The existence of hundreds of languages and millions of personal worlds is but a minor complication! But should words crumble then presumably every theory framed in words crumbles along with them. 8. Regardless of the possibility of linguistic interpretations, and combining the two approaches submitted in #4 and #5, what can be ascertained about the fundamental nature of the fabric which transforms the "chaotic multiplicity of experience into the ordered unity of thought", as Will Durant puts it? Well, space, time, force and so on consist of nothing but mathematical relations. There is no reality “in between” what we experience and this mathematical complex, either out there or inside ourselves. Occam's razor dismisses them. Essentially the "real" universe is a purely mathematical structure, and since we can comprehend this only through our brains, the human brain must to some extent reflect this structure. But reality has finite bounds which somehow depend on the architecture of mathematics, and, conversely, the whole of mathematics itself is finite (so infinitudes and various other mathematical devices are fictional – they exist only as meaningless tokens). In this sense, mathematics is empirical, a point which will be discussed at length in sections C and D. 9. Inasmuch as human experience is concerned, the easy confluence of mathematics and realism is evinced by the phenomenal progress made in the field of Virtual Reality technology, with recent dramatic improvements in verisimilitude, yet barely touching the surface of the deep waters of quantum mechanics. How long before it becomes impossible to distinguish a virtual smile from a real smile? Why, we are even fooled by the smiles of actors on stage or screen, and happily so. But let's be careful not to confuse the real with the genuine. One might well take it for granted that only the owners of smiles are capable of knowing whether they are genuine or fake – still, all too often the owners appear to be fooling themselves. An empathetic observer could make a more reliable guess. In its present condition, however, Virtual Reality does not accommodate the difference between genuine and fake smiles. (Nor will this question be addressed in the chapters dealing with ethical matters, whose content....) Indeed, aside from the machinery that produces it, and perhaps the responses it generates in the viewer, present day Virtual Reality is no kind of reality at all, for, in the first place, virtual human beings have no perceptions, thoughts or sensations of pain and pleasure, and in the second place Virtual Reality is ungrounded in the sense that it has no outwardness or inwardness – no extension into a universe beyond itself and no matter composing it. A virtual person cannot travel beyond the confines of his invented world, nor can blood and bones be found beneath his virtual skin – let alone electrons, protons and quarks. SECTION B Mathtech, paranormal phenomena and other mind-boggling prospects 10. It seems we are rapidly approaching the close of a relatively comfortable era, one that has placed few demands on the adaptive talent of the human race. Not the least of the immediate problems facing our planet is the population explosion and its many serious consequences. If the reaches of our knowledge and accomplishment are to be pushed far and fast enough to arrest the advancing tide of potential global disasters, the present boundaries of human endeavour must be transcended. One of the most prominent and time-honoured of these boundaries is that which separates mathematical systems from observational data. But, as intimated above, this division can no longer be upheld: mathematics is constrained by empirical factors, while at the same time the infrastructure and ultimate constituents of the material world answer only to mathematical models. A plausible consequence of this position is that physical reality can be both explored and manipulated by the construction in suitable circumstances of sufficiently elaborate models. 11. Let's now take a fanciful, but relevant, excursion through this territory, absorbing the wide and wonderful view on either side and along the way gathering some unusual material on the border between metaphysics and insanity. It's a curious affair that the most abstruse physics, plying the kind of stuff that philosophers are inclined to call "unobservable", presents the greatest potential to turn our lives upside down, if it has not done so already. Out of the no-man's land of subatomic particles and mc2 looms the capacity to obliterate all physics, all philosophy, all life. What at first we cannot touch turns out to impose the most tyrannical presence, holding both the outside world and our inner senses in an awesome grip. How much stronger, then, must be the command of mathematics alone, flying free of all commitments to physical description. Clearly, in the physical sciences, effects have the punch but mathematics has the power. And there's absolutely nothing in between. If space is mathematical, then at least some mathematics is spatial, and if space is also in some sense physical, so is at least some mathematics. Extending this alliance to time, force and so on, the following possibilities arise: some mathematical laws might be verifiable by observation; some mathematical laws might be modifiable by experiment; and some physical situations might be responsive to mathematical activity alone. 12. But surely, the sceptics will complain, facts can only agree or disagree with mathematical models! On the contrary, this is an outmoded sentiment, one which defies all reason and which can no longer be of great service to mankind. In the first place, certain twists, paradoxes and puzzles of nature can be regarded as, or explained in terms of, peculiarities of the fundamental structure of mathematics; secondly, under certain conditions some theoretically computable problems should yield unpredictable or unexpected results, regardless of the materials used in producing and chronicling these results; and thirdly some mathematical models that do have sufficient integrity might interfere directly with reality. These proposals imply that some of the future strategies of mathematicians will not succeed, simply because the maths will not find the room to work. In due course this hypothesis could be tested either by carrying out sufficiently complex calculations requiring sufficiently precise answers or by experimentally enforcing conditions which compromise the reliability of the calculations. On the other hand the most ingenious mathematical schemes will succeed not only in managing their physical constraints, but in altering the environment in which they are produced. Is it possible that there's already evidence of the ability of mathematical models to influence reality? 13. Up to this point in time, few scientific experiments have produced results that might lead one to make such an outlandish (yet inescapable) suggestion, so we are obliged to turn to the shadowy pages of popular "metaphysics" for some indicators. This genre, which I personally find beyond belief, thrives on all things supernatural, from ESP and necromancy to UFOs and teletransportation. It eschews the boundary between the mental and physical categories, delving into a world of pseudo-existence that combines aspects of both but failing abysmally either to convince intellectuals of its legitimacy or to find a unified explanation for the endless variety of apparitions that dwell there. Academics just might gain something from a more earnest inquiry into this realm. But, if we are to take any of it seriously, should we not also be seeking interpretations lying outside the immediate psycho-physical domain in which these phenomena seem to occur? The following examples (if any of them have any credibility) suggest a mathematical explanation: The street map used by the psychic to locate the scene of a crime is a model of the real situation. 14. Besides these quirky paranormal examples (which, incidentally, have nothing at all to do with religion), the universe is rife with mathematical structures, which appear again and again, reproducing themselves in countless organisations of stars, atoms and genes and their associated effects. Some examples of convergent evolution, for instance, could be attributed to mathematical effects alone, as could many of the examples cited by Sheldrake (1981) in support of his theory of morphic resonance (according to which all self-regulating organisations, ranging from molecular to social systems, respond to "morphic fields" that provide templates for the development of each type of organism. Lyall Watson's "contingent system" (1979) is a similar but broader, evolution-based theory. In many areas of science it's becoming easier to accept the mathematical model and harder to understand why there are so many and varied instances of it. Added to this is the spectacle of the "scientific zoo", whose inhabitants seem half mathematical, half empirical in character. But these creatures might be receiving more than their fair share of attention. Instead of hunting down ephemeral particles and pondering over their inherent nature as opposed to their observable effects, we might do better to inquire into existent mathematics and ascertain its empirical effects as opposed to its abstract properties. 15. In the world of computers and electronic engineering, hardware is increasingly being displaced by software, the actual by the virtual. Computing tasks that used to depend on moving tapes, discs or other physical devices and took months to complete are now performed in a flash by the motion of electrons in microchips. Cumbersome, grooved records that reproduced three minutes of song when revolved on turntables have given way to tiny MP3 players that can store and deliver hours of entertainment, with no moving parts and no evidence of any physical “thing” corresponding to the sound patterns that are produced. Computer programs can mimic many of the functions of hardware such as sound cards. The trend is obvious and we can only wait for the ultimate artificial mind – a computer that has no existence, except as information inscribed on a ball of virtual reality. 16. Mathematicians explore structural possibilities, and structural possibilities delineate reality, the cosmos. The aims of mathematics and cosmology therefore have much in common. Moreover the products of mathematics and those of technology are convergent. Always at the forefront of technological progress, the military will surely be the first to recognise and capitalise upon the possibilities of mathematical models, aiming for the capacity to build weapons of remote destruction. If this theory is right, and its principles are open to controlled exploitation, military developments will present the main threat to an otherwise philanthropic, invigorating era of "mathtech". While nuclear weapons are very much a result of mathematical thinking, future weapons will actually comprise mathematical models themselves – the bomb will be replaced by the computer. Whereas in nuclear weapons the mathematics is confined within the explosive device which must be located at the target, in the next generation of weapons the mathematical trigger will be external to the device. In the third generation there will be no device – only a model existing in some computer remote from the target. And in the final generation even the computer may not exist as such. Of course the target is likely to be some sort of recurring well-defined structure, either man-made or naturally occurring, and the method of destruction a model that alters some or all instances of the structure. Presumably the artefacts of high technology, including other computer systems, which are themselves largely the products of sophisticated modelling techniques, would be especially susceptible to direct mathematical manipulation. In the biological world the obvious targets will be specific kinds of DNA molecules – mutations at the press of a button anywhere in the universe! (Could it be happening already?) Similar considerations apply to the evolution of benevolent uses of mathtech. 17. When physicists speak of laws of nature and believe in them, they can only mean, knowingly or unknowingly, one thing – that nature is mathematical. Which implies something like this: the universe is a theory, a mathematical model, a tautology. Perhaps it's a kind of self-perpetuating model, which must expand its axioms indefinitely, a kind of computer that must keep on working. Paul Davies (1992), in a section of his book that explores the limits of computation, points out that such a conjecture was mooted as early as the mid nineteenth century by Charles Babbage, the father of modern computers, and I believe it has since been echoed and elaborated by various physicists. So one ought to be able to "seed" a universe just by formulating some clever "axioms". The inventor would not need to construct the whole universe if the axioms contained the means of self expansion. It would create itself, rather like the chain reaction of a nuclear explosion. Therefore, if our own universe is like this, to say that it started "with a big bang out of nothing" is to say that it started with a formula. Clearly this says nothing whatever about certainty, predestination or free-will: the model could allow for totally random syntheses. All it need contain are the essential conditions for existence. But whoever discovers the complete formula owns the genetic material of the universe – not just an image in the head or on paper, but the real McCoy. 18. What is the main stumbling block to attaining these designs? Just that the mathematician is confined within the walls of the very universe which he seeks to explain. He needs a kind of "twister" theory of mathematics to get out of the bind. Such a concept, I think, would provide a more useful avenue to a "grand unifying theory" than would a twister theory of physical forces. (However Stephen Hawking thinks that neither the universe nor human endeavour has walls. If language can take this on board, escaping the blind rant of politicians and ecclesiasticals and the bias and lack of courage of the media, in fifty years’ time people may have difficulty understanding what the present age had to say.) So, from questioning rationalism, our story turns full circle, attributing nothing but structure to the whole of existence. Where it differs sharply from the more extreme forms of rationalism, especially the higher grade essentialist doctrines, is in its denial of the necessity of any proposition or connection of facts. Structure is not pure. When all is said and done, it remains only useful, a conjunction of many approaches and attitudes. The genius who would profess to hold a Theory of Everything must understand perfectly the fusion of mathematical, physical, psychological, even biological and ethical perspectives. It's unlikely that any such mastermind will ever exist but, well, the universe exists, doesn't it? SECTION C Further remarks on the physical nature of mathematics and the mathematical nature of reality 19. Mathematics was for long revered as the queen of sciences, but in recent times the discovery of a number of serious anomalies in its foundations and methodology have dented its reputation. These flaws include uneliminable elements of randomness, uncomputability, uncompletability, inconsistency and unprovability, undermining the one feature that mathematics was believed to possess uniquely among the sciences – certainty. However mathematics continues to display a remarkable, often unexpected, talent for describing the real world, and in that respect it now more than ever holds sway over the material sciences. Why and how mathematics enjoys such outstanding success in modelling reality are unanswered questions. "The enormous usefulness of mathematics in the natural sciences is something bordering on the mysterious" wrote physicist E.P. Wigner in a 1960 essay. Nearly sixty years later we are no closer to providing answers, but we can speculate! "Mysterious" might still be the adjective of choice, when one considers that maths is supposed to be formal in character and entirely independent of observation, while the physical world seems almost cruelly empirical. There is surely just as little sense in talking of mathematical models approximating to or matching real situations as there is in comparing the word "elephant" with actual elephants. And yet maths really works – without it, nuclear reactors, moon missions and digital television would be impossible. 20. Hardly surprising, then, that some theorists believe the universe to be intrinsically mathematical, but it isn't clear how far they want to push this notion. What is left over if you take the maths away? On the other hand, others claim that the existence of a multitude of mathematical concepts, only a fraction of which are used in science and technology, shows that maths has no prerogative in describing the universe. Often one finds that only one of a number of possible models fits a given state of affairs, while sometimes several models appear to fit equally well. Thus Morris Kline in his book Mathematics: The Loss of Certainty proffers: "Several differing geometries fit spatial experience equally well. All could not be true." (Therefore mathematical design is not inherent in nature.) I'm not sure how the logic of this pans out. The critical question is: why does even one model fit so incredibly well? The first view appears to be more promising – how else can one explain so many "perfect fits" of quite simple, neat formulae? Mathematical models "fit" and "work" because the objects they match and the events they predict are themselves mathematical. Still, this is not too clear and seems to require a modification of the meaning of "mathematical". What is really involved in matching and predicting? Aren't these empirical concepts? Indeed, as an explanation of the magical match of maths with reality, there's an alternative (or perhaps a complement) to the view that the universe is mathematical, namely that mathematics is empirical. But perhaps neither of these views is quite right: as we shall see, if the deep structure of the universe is purely mathematical, there may be no need to match anything with anything. 21. There's nothing new about the idea that the universe is intrinsically mathematical – Pythagoras (570-495 BC), Galileo (1564-1642) and possibly even Newton (1642-1727) held something like this view. Until quite recently, however, the converse view – that mathematics is empirical – had rarely been expressed (J.S. Mill was an exception. Currently, various kinds and degrees of empiricism are attributed to maths; for example it is sometimes held that particular foundational concepts and branches are selected just because they have relevance in the real world. Also see H. Lehman, 1979.) The standpoint supported by the following remarks is dualistic, the two aspects being interdependent. Yes, the unverse comprises nothing but mathematics. And no, mathematics is not analytic – its basic concepts are inexorably empirical and consequently the operations and models of mathematics per se are constrained by empirical factors – the very same factors that shape the universe. This leads to the bewildering possibility that the universe is in some strange way identical with either the whole or a part of mathematics, given that the whole of mathematics is itself limited by the universe, if not by the nature of the brains or computers that "do" mathematics. Which of these is paramount? All one can say is: mathematics, the mind and the universe have a common foundation. Working on the rash assumption that arithmetic is the heart of mathematics, these notes will focus almost entirely on this discipline. But whether central to the subject or not, arithmetic will serve well enough to exemplify the main concepts. SECTION D Arithmetic and structure 22. Arithmetic, like geometry, is a curiously mixed pursuit. Few would disagree that a proposition such as "There are about 25,000,000 people living in Australia" is entirely empirical, because (provided one doesn't think too hard about it!) it contains no trace of the calculative procedures that characterise the discipline of mathematics. Number, as used in this proposition, is apparently a purely empirical concept. As soon as one begins to calculate, however, the character of number seems to change. That the population of Australia is close to 25,000,000 is a fact, but that 500 x 50,000 is exactly equal to 25,000,000 is a fact of a very different kind. Propositions of the second kind have long been considered analytic, in the strongest sense of that word. Indeed it has sometimes been held that arithmetic tows the analytic line, as it were – it is the archetypal system of analytic propositions (see #45). While this may be an overstatement, it is apparent, at least, that the philosophers of mathematics and logic have done their best to divest number of its empirical connections and transform arithmetic – indeed the whole of mathematics – into an all-embracing analytic pursuit. In spite of some devastating snags identified by Russel, Godel and others, this is pretty much how maths is envisaged by most people today. Yet many of the foundational concepts of maths are blatantly empirical, while many of its fundamental axioms (such as that every number has a successor) seem to beg the question of empirical status. The aim in what follows is to give credence to the view that, even in its most formal aspects, arithmetic cannot throw off its empirical chains. 23. A problem for many philosophers, but few mathematicians, with modern arithmetic is the riddle of the meaning of infinite numbers. Georg Cantor, one of the founders of number theory, divined that there's an infinite hierarchy of infinite sets, but, thank goodness, we shall barely need to touch one of them. While of course the systematic concept of infinities is indispensable in mathematics, nonetheless there's much to be said for a certain intuitionist/formalist precept which grants priority to finitary concepts and syntax, crediting them with a type of meaning or "contentfulness" (David Hilbert's term) which is absent from notions of the infinite and from incompletable expressions. The present remarks, however, deal with the concepts of the finite and the denumerable, not with the infinite. For it seems that two grey areas have been neglected, lying between the infinite and the observably finite or numerically determinable – one of them at the immensely extensive or multitudinous end of the scale, the other at the minutely divisible or infinitesimal end. It is here that arithmetic fails, that its failure is in principle demonstrable and that its weakness in this area impinges upon the whole of mathematics and rational thinking. Although it is now well established that mathematics is "weak" in the sense that it contains many elements of indecisiveness (uncomputability, paradox, unprovability etc), these failings may be unrelated to those which we are about to consider. Despite their acknowledgment of the former kinds of weakness, many mathematicians would reject the notion of empirical conformity, and would doubtless think the following conjectures are intuitionism-gone-crazy (although, so far as it goes, the "theory" is essentially realist). Should they remain of that opinion, however, they will one day be jolted into submitting alternative theories when the inevitable happens: mathematics will become so far stretched that it will cease to produce consistent results for reasons which seem non-systematic. While doubtless much of this story is old hat, I'll try to rekindle a glimmer of interest by adopting a speculative but graphic approach, in addition offering some rather simplistic illustrations to outline how it might be possible to test the central idea; for it must be admitted that this is either a cosmological theory with practical consequences or else metaphysical nonsense. SECTION E Space as structure 24. First, a little speculation about the nature of space is in order. Space is hard to define, but the exercise looks more promising if we consider space-time rather than space alone. Space-time can be envisaged in terms of what must be done to cause any two widely separated massive bodies to meet, not forgetting that the “doing” may involve something going on in the vicinity of either or both bodies. Here "widely separated" and "massive" mean greater than atomic distances and masses, and "meeting" means that the bodies more or less "dock" and come to rest relative to one another. This is how you might depict macroscopic space-time. (The connection between this kind of space-time and the microscopic space-time inhabited by atomic and subatomic particles may be quite tenuous.) The definition implies a kind of absoluteness – it is a model that coordinates the observations and actions of all observers and agents (everywhere and at any time, one feels like saying, but this is putting cart before horse). It's a rather naďve idea, and it's always possible that no such model exists. It is common knowledge that Euclidean geometry and Newtonian mechanics provide a satisfactory model for coordinating most macroscopic observations and actions here on Earth, while on a cosmological scale, according to modern physics, some kind of non-Euclidean geometry and Einstein's Relativity theory apply. Let's begin at the beginning, by considering the idea of space presented to individual observers via the senses. This idea of space is basic to human beings because they carry it with them wherever they go and no matter what they are doing. They could be lounging on Bondi Beach or hurtling through space at near the speed of light, but the way they perceive nearby space remains unchanged. So space, in this sense, means local or domestic space, the space we live in, see and feel and about which you and I, as well as the Euclids and Newtons, tend to form intuitive, pragmatic judgments. 25. Revisiting the discussion in section D: there it transpired that the impressions of space received through the various sense organs are entirely different in kind from one another: there's no resemblance between visual space, auditory space and tactile space, and no inherent reason why one should suppose any object in a visual field to be identical with one perceived via any other sensory route. What, then, is the binding force that unites and coordinates these different kinds of sense data, along with their peculiar space-like perspectives, causing us to embrace them as representations of a single space? A very plausible answer, we surmised, is that they are related by a mathematical or logical structure. But once having brought ourselves around to that viewpoint, it begs little further insight to reach the judgment that space consists of nothing more than a mathematical structure. For nothing is required besides mathematics to unify these different sensory perspectives; the assumption that there is a "noumenal" physical space apart from pure structure is needless. Space is nothing but mathematics. 26. Since the human brain is a structure in space, and has evolved primarily as a mechanism for sustaining itself in its spatial environment, one might suppose that the conditions of pragmatic thought in general, and of logical and mathematical thought in particular, are themselves influenced by the nature of space. And unless there are aspects of thought which are independent of the physical existence of the brain, conceived as a spatial object, it would be very surprising indeed if the topology of human thought turned out to be unrelated to that of space. This is of course a chicken-and-egg situation, but one that is of no immediate consequence: the significant idea is just that local space and the way we think have a predominantly common structure. (Admittedly the equation must be extended to include at least space, time and force in a broadly Newtonian structure, but the resultant complications would not further our cause.) The crucial point to grasp is that there's a bigger chicken and a bigger egg: the logical and mathematical scope of the human mind is subject to the very same constraints that the mind attributes to the local universe. Conversely, the local structure of the universe as comprehended by the human mind is limited by the same intrinsic topological factors that determine the kind of logic and mathematics of which human thought is capable. Mathematics, the mind and the local universe have a common foundation. The reality of the situation, however, is that the physical universe does not (according to present-day reckoning) possess the intuitive Euclidean/Newtonian structure everybody once accepted. It's different, and therefore one should expect the foundations of mathematics to differ in a related way, or to collapse in certain circumstances. The situation is evidently complicated by the fact that the mathematics we have available to undertake cosmological enquiries is just the mathematics whose foundations are in question: it seems we need to understand the nature of mathematics before we can describe the universe, but there's a vicious circle involved. Nevertheless, the hypothesis that the foundations of mathematics are awry is in principle empirically testable, and, if found to be true, there are many far-reaching consequences. ADDENDUM Formalist arithmetic - number, tokens and counting 27. There are, of course, countless "theories" about the nature of arithmetic, ranging from the purest formalism through various psychologistic interpretations to the most implacable realism. Favouring a minimal formalist approach, one might say, at least, that all calculative symbolic systems are intrinsically arithmetical, and that arithmetic is the science of recurrence. But while the notion of recurrence is crucial to understanding symbolic systems, it applies well beyond that sphere, being an integral component of almost every aspect of human experience. Consequently this predilection for formalism is of little significance. Furthermore the question of the ontology of arithmetic is of no immediate importance. For there could surely be an agenda – call it "arithmetic" or not – which is formalist, as well as one in which the symbols are objectively or psychologistically interpreted (so that the meaning of the symbols is not just more symbols in the same system). In respect of the latter discipline, however, one might expect to find a variety of interpretations of "arithmetic-like" syntax and hopefully a reasonable explanation as to why any of them be regarded as distinctively mathematical; in particular one would feel entitled to an explanation of how the analytic character of such a discipline is conserved in its ontology rather than merely in its syntax. Regardless, we shall initially assume that arithmetic is formalist (i.e. it comprises nothing but symbols – doubtless this does not coincide with formalism in the modern sense, which puts more emphasis on meaninglessness and rigid proofs). 28. Within a broadly formalist framework one can still approach a number of issues from different angles: specifically, it looks as if one can adopt attitudes which might appear, to the sophisticated, to be ontologically different. For example, one might take the view that arithmetical syntax comprises nothing but transformations of utterly meaningless symbols; or one might say that the system contains names or tokens which denote other systematic objects (which in turn can be used as names or tokens), thereby giving the impression that the syntax is after all meaningful. Although this particular distinction (which may be verbal only) doesn't affect the following train of thought, the second approach seems preferable because it buoys the view, explained below, that arithmetic is best envisaged as possessing a "fluid hierarchical" structure. 29. Arithmetic begins at the small end, the human end of the mathematical spectrum. It begins with counting. This truism (the cradle in which, it might be thought, the avowed intuitionist chooses to spend his life), seems to have been respected by the inventors of number theory, notably Cantor and Giuseppe Peano. And how could things have been otherwise? Who would have taken any notice if the theory had had no footing in the nuts-and-bolts concept of natural number with which we are all familiar? Are we not entitled to assume that this is what the theory is about? Unfortunately when arithmetic is stretched into the realms of the uncountable, we can no longer take this assumption for granted. Presumably it is not uncommon for theorists to harbour the feeling of being duped by Cantor's theory of sets and numbers, the feeling that it's somehow circular and fails to get to grips with number as such. (This is not a psychological problem, but rather a problem about the validity of real-world proofs for mathematics and, conversely, of the existential status of the mathematical objects so defined.) Although Cantor himself was obviously no formalist, his explanations are uncompromisingly syntactical in as much as they depend on establishing one-to-one correspondence relationships between series of numeral-tokens, that is, between symbols occupying a small zone of Euclidean space. Its assumption that these series of demonstrations are indefinitely extendable and/or indefinitely interpolatable appears to rely on the assumed topological properties of infinite extension and infinite divisibility of the space in which they are represented. And although, under a less formalist interpretation, it might be held that these representations do not depend on real space for their actualisation, it would still appear that whatever it is that's supposed to be going on requires a logical space with similar properties. For without this assumed space, one could never predict that every supposed one-to-one correspondence would in fact be unique, or even possible, when the series is "represented at length". Thus Cantor's definitions of numerical infinities rely on an undefined notion of spatial or logical infinity. The acceptance of his technique as a valid mathematical method depends on the unfounded and improbable belief that what can be physically demonstrated on a piece of paper can be extrapolated ad infinitum to increasingly unwieldy gesticulations that cannot actually be symbolised anywhere or anyhow. 30. As Cantor draws upon ever more picturesque techniques, the limitations of the page become increasingly bothersome and the proofs less convincing. For example, in the procedure that's supposed to show that the number of proper fractions (rationals) is the same as the number of cardinals, Cantor introduces two complications. First, in order to deal with the fact that every fraction can be represented in an infinite number of ways, he is obliged to delete an infinitude of irrelevant fractions (namely, all those whose numerator and denominator have a common factor). Secondly, he attempts to coax us along a zigzagging path through his two-dimensional array of fractions, skipping the irrelevant ones on the way. This is an extremely "spatial", seemingly capricious, procedure. There is of course no difficulty with the notion of correspondence of relatively small, finite sets which can in fact be matched and whose number might feasibly be ascertained. But the extrapolation of the notion to larger sets involves the use of synoptic tokens which do not themselves possess the properties of the sets referred to. This, however, is a feature of arithmetical syntax in general (irrespective of ontological presuppositions). 31. Yes, arithmetic does begin at the human end of the mathematical spectrum, with counting – a truth recognised long ago by Henri Bergson (1910). Formalist accounts may accommodate this maxim by observing that some expressions in arithmetic are relatively "primitive", while others are really names or tokens for (often exceedingly extensive or infinite) collections of primitive symbols. In other words, there are synoptic tokens whose meanings are complexes of more primitive signs, and which in principle can be expanded analytically, by correct calculation, into the complexes that they represent. Naturally there are degrees of primitiveness, degrees of complexity and little inclination to single out any particular set of signs as being "the meaning" of any other set. But one can surely connect with the idea that a token such as 123 can be expanded to one of the form 1+1+1+....+1 which better captures the literal meaning of the original token in so far as it contains just as many 1's as the number signified by 123: it exemplifies the number and does not merely signify it. But now what of the token 219937-1? Evidently this expression could not be expanded to one of exemplificatory form (1+1+1+....+1) even though one had begun to compute it at the beginning of time using every available minuscule in the universe. Yet more than twenty-five years ago this number was proven to be a prime, and very much larger primes have since been discovered. (And of course still larger numbers can be expressed in token form. For example, there's a number called a moser which is unimaginably huge, but which can easily be defined using only the number 2, a few geometrical symbols and the concept of exponent.) So, on this view, a proposition such as 101000 = 10500 x 10500 is analytic but meaningless because the most primitive forms of expression betokened by the terms of the equation cannot in fact be completed. But regardless of whether some signs are more basic than others, it remains true that arithmetic alludes to some translations of signs which can never be depicted or used because they are too extensive or, rather, their components are too numerous! Since no such translations can possibly exist, there is strong justification for the claim that any reference to them is "uncontentful". If this is right, then the sign 219937-1 cannot be used to refer to an expansion of the form 1+1+1+....+1 and remain a bona fide component of an analytic system. Owing to its central concern with the rudimentary concept of number, however, conventional arithmetic does contain references to uncompletable signs. Consequently arithmetic as a whole lacks the credentials for analyticity. And (for those whose concept of number is not tied to mere symbols) it's clear also that no token in an arithmetical system can denote an extrasystematic occurrence of a precise number (such as a counting of objects) if such an occurrence does not, nor ever could, exist. 32. Thus arithmetic contains expressions denoting either incomplete (and uncompletable) tokens or uncountable sets of objects, or both. While this conclusion does not detract from the utility of the analytic craft of sign juggling, it might be prudent to keep in mind both that sign juggling is not necessarily the same as number crunching and that the analyticity of mathematics is vulnerable just to the degree that it projects its language beyond the reaches of the conceivable. Much as Newtonian physics is vulnerable to the degree that its domestic language of space and time loses meaning when we want to converse with the electrons and the stars. (Is it only the physics or are there already signs of the maths going wrong?) As with other sciences, mathematics holds no built-in guarantees of performance. 33. We have considered a spatial picture to expose the difficulties in predicting how numerical signs behave when we try to imagine an extrapolation of a series into regions beyond the immediate environment which establishes the conditions of sign writing. It cannot be assumed that the framework and postulates applicable to manageable numbers has legitimacy for gigantic numbers. Had we been more adventurous and chosen an illustration befitting our times, such as the way that computers handle bits of information - as has been done, for example, by Rolf Landauer (1986), who in 1961 discovered the important Landauer’s Principle - we should have arrived at just the same conclusion – that arithmetic is empirically constrained. A more anthropocentric illustration of the empirical nature of arithmetic is provided by an art first learnt in early childhood: Numbers begin with counting! According to the axioms of natural number ascribed to Peano (1908), every number, n, has a unique successor, n+. An intuitionist might take this to mean: take any particular number, there is just one number that is one greater than it. But how would you in practice "take" any particular number? Suppose it was a very large number whose value could not feasibly be checked by counting. How would you then know that you had the number you intended to single out? The notion of identifying an uncountable number as being a particular number is incomprehensible. On this account, Peano's axiom seems meaningless because it doesn't satisfy the criterion of real countability. 34. If counting is to be explained in terms of putting signs and objects into one-to-one correspondence with one another, then nothing more need be said: this is plainly an empirical procedure which cannot actually be performed with very large numbers. But is it not also possible to count by rote, as school children often do, by learning the sequence of signs without attaching them to physical objects? Well, how can we distinguish counting by rote from counting things? The first kind of counting seems to consist only in reproducing the conventional tokens for successive numbers in the series of ordinals, while the second kind involves both reproducing those tokens and placing them in one-to-one correspondence with the members of a set of objects. But this distinction evidently lacks substance: when counting by rote, we do in fact put different signs into correspondence with instances of something, even if only intervals of time. Of course, if we are counting events, or just counting off definite intervals of time, such as seconds, it's easy to contend that we are employing the correspondence procedure. But it might seem that counting by rote lacks objectivity, that it doesn't involve events and that the time intervals are somehow too arbitrary and inconsequential. These objections are unwarranted: the activity of counting itself supplies the events and thereby demarcates and orders the intervals. 35. One possible objection is that we cannot in principle do a recount: objects can be recounted, events can be recorded and recounted, but how does one recapture a counting per se? Well, couldn't we replay a recording of our counting, assuming we counted aloud, and count our counting again, so to speak? Suppose we just recount the noises as such, without taking notice of their form. Then surely we could be said to be recounting our original count – which was, so to speak, a labelling of noises contrived by giving a particular shape to each noise. The following consideration appears to completely justify this view. If we count by rote, say, from 1 to 20, it would be in order for anyone to ask if we have counted right. If we did not count right, then at some stage in our counting the number of noises delivered up to that stage would not correspond to the meaning of the noise uttered at that stage. (I say "at some stage", not necessarily upon reaching 20, for we could have made two or more mistakes which cancelled each other out, and so have made 20 noises yet not have counted right.) Now suppose there was in principle no way of checking the count. In what sense could we then be said to be counting at all? How could we ever be sure that we were not simply uttering noises at random? Counting by rote entails counting objects, namely the signs that constitute the counting; the signs are labelled by giving each of them an unique, conventional form; if the counting is right, the form of every relevant token corresponds to the number of tokens delivered up to that stage. Counting cannot take place in a void. Even when "nothing is being counted", counting is an obstinately experiential process, temporal and psychological. And since every sign that represents a natural number must represent a countable number, or else be meaningless, arithmetic in general is empirical. Its applicability to the real world is irrelevant to this argument. Arithmetic is inherently real. If counting is experiential, the proposition that every number is countable in principle is meaningless: something, even if only the numeral tokens themselves, must be countable in practice. A numeral token such as 101000 in isolation cannot stand on its own feet – we cannot tell whether it stands for "the number" it's supposed to, nor conceive of its basic meaning, nor ascertain whether any such number exists, since it is not and never will be literally countable even on the fastest computer that could in principle be designed. On the other hand, the number 1000 is meaningful because it's countable in practice and there are sets of objects or events that can be placed in one-to-one correspondence with the series of natural numbers up to and including 1000. 36. How else might we attempt to count things? Although it isn't necessary to literally count the members of sets to compare their number, some method of matching them is required. It's easy to show, however, that any procedure for matching sets or patterns at some stage involves at least as many discrete operations as there are objects common to both sets (or elements common to patterns), and therefore a similar number of operations as would be involved in doing a literal count. The "contentfulness" of number depends on this pragmatic potentiality and cannot be captured by shortcut techniques. It's of little account whether we imagine these operations to be essentially spatial, temporal, psychological or belonging in some more abstruse logical space; it matters little in what framework we conceive of the existence of numbers. Given a coherent view of space, time and "psychological space", we shall find that the various formalist and psychologistic concepts of number are practically identical. Somewhere along the line we turned the manuscript upside down: number itself calls the tune, erratic though it be, and both space and time dance to its strange music. REFERENCES Cantor, G.F.L.P. (1897). Contributions to the Founding of the Theory of Transfinite Numbers (English trans. P.E.B. Jourdain, 1915). (See Ian Stewart (1996). From Here to Infinity. Oxford Paperbacks). .......Dabs of Grue.......10/12/02 - 15/03/19.....................HOME |