Quantum theory is modern physics which describes the behavior of sub-atomic particles. It was established by two great scientists , namely Albert Einstein and Max Planck. Max Planck showed that energy of a process is quantized. Any periodic process can carry energy that is integer multiple of hv [ its frequency times Planck’s constant h]. Einstein later showed that light is composed of energy packets called photon. Planck’s theory was applied by Bohr inside atom and a successful atomic model was created. Any electron in its quantum orbit can emit or absorb light of certain frequency and jump from it. Later Schrodinger was very frustrated by this weird quantum jumping of electron.

Luis De Broglie hypothesized that sub-atomic particles act like wave. He also showed exact relationship between matter wave and particle’s momentum which is mass times velocity. Every elementary particle like electron is a wave and every wave is a particle of some sort. In classical mechanics this effect is negligible due to short wavelength associated with the massive objects. In quantum world a tiny particle shows more waviness.

The last revolution was the Schrodinger’s wave equation which describes the wave function of particle in terms of probability. Schrodinger’s equation successfully explains Hydrogen and other simple atoms and shows how bizarre an atom looks. An electron does not exist in a definite place but it has only some probability to be in some place at a time. Electrons tend to exist at some place. This was the consequence of Heisenberg’s uncertainty principle. What we call electron is really a collection of radiations which try to be localized at some point in space.

Earlier Heisenberg stated his uncertainty principle which shocked everyone. In quantum world nothing has definite position and momenta. If we measure position more precisely the momentum becomes more uncertain and vice versa. We can not know both of them simultaneously with arbitrary precision. The nature has set a limit to our knowledge about it.

Secret of creation :

The beginning of our universe was a quantum event. General theory of relativity fails at this event when universe was very tiny and dense. Whenever small object is concerned quantum mechanics is necessary to describe its behavior. Spacetime is smooth and continuous on large scale. All the stars , galaxies and planets exist in a continuous spacetime manifold. What if spacetime may not be smooth in quantum level? It might have holes and gaps like the pretzels and doughnuts. The secret of the universe can only be traced in quantum level where everything is governed by chance and discontinuity. We do not know , in advance , when an electron will jump from one orbit to another. We only know if they do they will emit a photon of specific wavelength to go into another orbit. Nature, so it seems, is full of revolutionary occurrences , whose cause is never known. All we can predict is the probability of an outcome : like the chance of getting a six by throwing a six headed dice.

It is hard to reconcile quantum mechanics into the framework of general theory of relativity. There arise many mathematical problems while doing that. Quantum mechanics and general relativity become very antagonistic to each other. They do not shake hands at all. Quantum mechanics certainly holds the key to unlocking secrets of the universe. Three fundamental forces can be explained by the principles of quantum mechanics. Quantum mechanics has changed the view of our world completely when it comes to how these fundamental forces work. Electromagnetic force is the exchange of photons between two charge particles. Similarly strong nuclear and weak nuclear forces are carried by other sub-atomic particles like gluons and boson. Electromagnetic force is long range while strong and weak nuclear forces are short range where strong magnetic has the special property that when the distance in the nucleus increase the intensity of the force also increase. This has to do with another weird phenomena that quantum theory describes. This phenomena is quantum fluctuation.

Vacuum is not truly empty. It is full of activities dues to random generation of particle -antiparticle pairs all the time. This is also a consequence of Heisenberg’s uncertainty principle. The energy of vacuum can not be zero because in context of quantum mechanics zero is a precise number. Electron and positron pair can come into existence out of nothing. So vacuum is not truly passive . It is always seething with virtual particles and energy.

The greatest mystery is probably quantum entanglement which states that information can travel faster than light, which is also known as the spooky action at a distance. Einstein was deeply worried by this fact and unfortunately he could never come up with any valid counter argument to refute this. An electron when entangled can communicate instantly with its entangled pair over a larger distance; probably at the other side of the universe. Secret of creation or secrets of the universe deeply lies at the heart of quantum mechanics. I like to rephrase Nikola Tesla : If you want to find the secret of the universe think in terms of vibration , energy and frequency. In quantum mechanics all particles are vibrations or oscillations in their corresponding quantum field. Oscillation in the quantum field creates energy and that energy, in turns, create particles according to Einstein’s famous energy mass equivalence formula (E=mc^2). Einstein was a strong opponent of quantum theory throughout his whole life.

Theory of relativity throws a little light on the secrets of creation. It has some philosophical consequences and some applications can be found in causal theory of perception and analysis of mind. Mind and matter are not very different from relativistic point of view. What we call mind is certain group of events connected with specific relation. These are all the events that have space-like interval between them so any other observer can judge any of two to be simultaneous. What we call matter is also a group of time-like events. What happens when we look into another people’s eye are the events connected with one light rays. These events has light-like or zero interval. Quantum theory might be more fundamental than theory of relativity but relativity is able to describe four fundamental forces. Special theory of relativity describes three forces whereas general relativity describes one force.

Quantum theory basics :

The most important basics of quantum theory may be coherence and de-coherence. In an isolated quantum system there is quantum coherence. That is , the states remain uniform and in phase. Schrodinger’s equation describes a quantum system as an smeared out probability of finding a particle like electron in space. These probability wave evolves through time. Schrodinger’s equation also states that particle can exist at different places at the same time , which is known as quantum superposition. That is what we better know as the Schrodinger’s cat. Schrodinger cat is alive and dead at the same time unless we look at it. That means, there is coherence in the system unless we observe any such quantum system. After the system is observed, the system collapsed to one of the states of the system. This can be explained as the particular state of the Schrodinger cat , which can either be dead or alive after box is opened. Decoherence is the act of observation which collapses the system. Due to decoherence the quantum system no longer remains coherent and this happens through the interaction with the environment.

Common sense and quantum theory:

There is no place for common sense in quantum theory. Our common sense always seems to be violated by quantum mechanics principles. Suppose there are several glasses and plates on a table and you through a ball on the table. The common sense tells that the ball can only hit one glass or plate at one time . But if you throw an electron then it can hit all the glasses and plates at the same time. Again suppose you have a box with a book inside it. If you open the box you would think that the book must be found only inside the box. But according to the principles of quantum mechanics the book can be found anywhere is the entire universe. This kind of weirdness is inherent in quantum mechanical world and countless experiments have proven quantum theory with precision. Einstein could not prove it wrong by his thought experiments. He was always refuted with counter arguments. One of the thought experiments was devised to refute Heisenberg’s uncertainty principle.

Einstein thought a hypothetical box containing a photon source, which weight can be measured with a spring balance system as shown. The box is under the influence of earth’s gravitational field. When the photon escapes at a particular time the box can be weighted and the energy of the photon can be measured simultaneously with time. But Neil’s Bohr showed that there will be an uncertainty of time due to the principle of general theory of relativity that Einstein discovered. The box must change its position vertically and clock at two positions of the box above the earth will tick differently. Hence there will be an uncertainty of time , which corresponds to the red-shift of the photon’s wave length. This implies the Heisenberg’s uncertainty principle of the pair energy and time ; (dE)(dt) => h/2 . Einstein was again defeated by Bohr and accidentally his own theory has disproved him in this case.

Quantum entanglement and spooky action:

This is the phenomena which deeply worried Einstein. Einstein considered quantum mechanics as incomplete theory. Quantum entanglement led to EPR paradox. Entanglement is a phenomena where information can travel faster than light. This faster than light traveling is called “spooky action at a distance”. But according to the principles of special relativity nothing travels faster than light. Suppose we have two particles like electrons or photons.

They are produced in a way that their momenta are known . Now the two particles are separated from each other at a far distance. As the momentum is always conserved , we can find momentum of one particle by measuring momentum of the other particle. This will make the state of one particle say spin dependent on the spin of the other particle. We will, thus, be able to teleport quantum information at a far distance instantaneously faster than light. This is the EPR paradox which seems to violate locality. Locality is a principle which says that we can only measure or compare local quantities. There must have causal relationship between events that are measured. This is thus the same thing as saying that nothing can travel faster than light. Quantum hidden variable theory had been devised to challenge that nothing spooky whatsoever happens in quantum world. This was developed by John Bell and an inequality called Bell’s inequality . But experiment at quantum level seems to violate Bell’s inequality. Once again Einstein was shocked by the weirdness of the quantum world. He could not prove his claim. For the rest of his life he struggled with quantum theory and its consequences.

]]>

The diagonal of this square can not be multiple of any integer. On the other hand you can see that on a number line square root 2 can be represented as the distance which is the same as the diagonal of the square. All this was very troublesome for mathematics and mathematician in the ancient time. However we will proceed to the proof of the irrationality of the square root of two (2) :

Suppose root 2 is equal to the ratio of m to n. So

root 2 = m/n , if we square it we get 2n^2 = m^2 . That means that m^2 is an even number. Now let m = 2p so m^2 = 4p^2 . Thus we have 4p^2 = 2n^2 where p is the half of m. Hence 2p^2 = n^2 , and therefore n/p will also be equal to square root of 2. But we can repeat the argument : if n = 2q, p/q will also be the square root of 2 , and so on , through an unending series of numbers each of which is half of its predecessors. But this is clearly impossible, if we divide a number continuously by two 2 we must reach an odd number after a finite number of steps. Or we may put the argument in this way by assuming that the m/n we start with is in its lowest terms; in that case m and n can not both be even as we saw they were supposed to be.

So we must conclude that square root of 2 can not be represented as a ratio of two numbers. If we do we come to a contradiction as we have shown.

square root of two(2) can be expressed using circular and hyperbolic angle too. Here is an example .

Where the symbol ^ is the exponential.

Real numbers and irrational number:

As stated, no fraction will express exactly the length of the diagonal of a square whose side is one inch long. This problem was purely geometrical but the same problem arose as regards the solution of equations, though here it took a wider form, since it involved complex numbers.

It is clear that fractions can be found which approach nearer and nearer to having their square equal to 2. We can form an ascending series of fractions all of which have their squares less than 2, but differing from 2 in their later members by less than any assigned amount. This is to say, suppose I assign some small amount in advance, say one-billionth, it will be found that all the terms of our series after certain one, say, the tenth, have squares that differ from 2 by less than this amount. And if I had assigned a still smaller amount, it might have been necessary to go further along the series, but we should have reached sooner or later a term in the series, say, twentieth, after which all terms would have had squares differing from 2 by less than this still smaller amount. If we set to work to extract the square root of 2 by the usual arithmetical rule, we shall obtain an unending decimal which, taken to so-an-so many places, exactly fulfils the above conditions. We can equally form an descending series of fractions whose squares are all greater than 2, but greater by continually smaller amounts as we come to the later terms of the series, and differing , sooner or later, by less than any assigned amount. In this way we seem to be drawing a cordon around the square root of 2, and , it seems difficult to prove that, it can permanently escape us. But , it is not by this method that we will actually reach the square root of 2.

DEDEKIND’S CUT AND IRRATIONAL NUMBER:

If we divide all ratios into two classes, according as their squares are less than 2 or not, we find that , among those whose squares are not less than 2 , all have their squares greater than 2. There is no maximum to the ratios whose square is less than 2, and no minimum to those whose square is greater than 2. There is no lower limit short of zero to the difference between the numbers whose square is little greater than 2. We can, in short, divide all ratios into two classes such that all the terms in one class are less than all in the other, there is no maximum to the one class, and there is no minimum to the other. Between these two classes , where root 2 ought to be there, there is actually nothing. We have not actually caught root 2. The cordon, though we have drawn as tight as possible , has been drawn in the wrong place and has not caught 2 .

The above method of dividing all the terms of a series into two classes, of which the one wholly precedes the other, was brought into prominence by Dedekind, and is therefore called a “Dedekind cut” . With respect to what happens at the point of section, there are four possibilities.

If we divide all ratios into two classes such that all of the terms of one class is greater than all the terms of the other then there may arise four case: 1) there may be a minimum to upper the upper section and a maximum to the lower section 2) there may be a maximum to the one and no minimum to the other 3) there may be no maximum to the one , but a minimum to the other 4) there may be neither a maximum to the one nor a minimum to the other. Of these four cases, the first can be illustrated by any series in which there are consecutive terms: in the series of integers, the lower class may contain a maximum number n and the upper class can contain a minimum n+1 . The second of these cases will be illustrated in the series of ratios if we take as our lower section all the ratios up to and including 1, and in our upper section all the ratios greater than 1. The third case is illustrated if we take for our lower section all ratios from 1 upward (including 1 itself) . The fourth case, as we have seen , is illustrated if we put in our lower section all the ratios whose square is less than 2 , and in our upper section all the ratios whose square is greater than 2.

We may neglect the first of our four cases, since it only arises in series where there are consecutive terms. In the second of our four cases, we say that the maximum of the lower section is the lower limit of the upper section, or of any set of terms chosen out of the upper section in such a way that no term of the upper section is the upper limit of the lower section, or of any set of terms chosen out of the lower section is after all of them. In the fourth case, we say that there is a “gap”: neither the upper section or lower section has a limit or last term. In this case, we may say that we have an irrational section, for the class of ratios which do not have limit corresponds to irrationals.

What delayed the true theory of irrational was a erroneous belief that there must be “limits” of series of ratios. The notion of “limit” is of the utmost importance , and before proceeding further it will be well to define it.

A term x is said to be an “upper limit” of a class s with respect to a relation P if (1) s has no maximum in P , (2) every member of s which belongs to the field of P precedes x , (3) every member of the field of P which precedes x precedes some member of s . ( by “precedes ” we mean “has the relation P to”).

This presupposes the following definition of “maximum” : –

A term x is said to be maximum of a class s with respect to a relation P if x is a member of s and of the field P and does not have the relation P to any other member of s.

These definitions do not demand that the terms to which they are applied should be quantitative. For example, given a series of moments of time arranged by earlier and later, their maximum (if any) will be the last of the moments.; but if they are arranged by later and earlier, their maximum (if any) will be the first of the moments.

The “minimum” of a class with respect to P is its maximum with respect to the converse of P; and the “lower limit” with respect to P is the “upper limit” with respect to the converse of P.

The notions of limit and maximum do not essentially demand that the relation in respect to which they are defined should be serial, but they have few important applications except to cases when the relation is serial and quasi-serial. A notion which is often important is the notion “upper limit or maximum” to which we may give the name “upper boundary”. Thus the “upper boundary ” of a set of terms chosen out of a series is their last member if they have one, but , if not it is the first term after all of them, if there is such a term. If there is neither a maximum nor a limit, there is no upper boundary. The “lower boundary” is the lower limit or minimum. Readers at this moment, should be aware that limit and maximum are not the same concept or the same thing.

Reverting to the four kinds of Dedekind section, we see that in the case of the first three kinds each section has a boundary( upper or lower as the case may be), while in the fourth kind neither has a boundary. It is also clear that, whenever the lower section has an upper boundary , the upper section has a lower boundary. In the second and third cases, the two boundaries are identical; in the first , they are consecutive terms of the series.

A series is called “Dedekindian” when every section has a boundary, upper or lower as the case may be.

We have seen that the series of ratios in order of magnitude is not Dedekindian.

From the habit of being influenced by spatial imagination, people have supposed that series must have limits in cases where it seems odd if they do not. Thus, perceiving that there was no rational limit to the ratios whose square is less than 2 , they allowed themselves to “postulate” an irrational limit, which was to fill the Dedekindian gap. Dedekind, in the above mentioned work, set up the axiom that the gap must always be filled, i.e that every section must have a boundary . It is for this reason that series where his axiom is verified are called “Dedekindian.” But there are an infinite number of series for which it is not verified.

It is clear that an irrational Dedekind cut in some way “represents” an irrational. But this is not true to say that an irrational must be the limit of a set of ratios. Just as ratios whose denominator is 1 is not identical with integers, so those rational numbers which can be greater or less than irrationals, or can have irrationals as their limits, must not be identified with ratios. We have to define a new kind of numbers called “real numbers” of which some will be rational and some irrationals. Those that are rationals correspond to ratios, in the same kind of way in which the ration n/1 corresponds to the integer n; but they are not the same as ratios. In order to decide what they are to be , let us observer that an irrational is represented by an irrational cut, and a cut is represented by its lower section. Let us confine ourselves to cuts in which the lower section has no maximum; in this case we call the lower section a “segment”. Then those segments that correspond to ratios are those that consist of all ratios less than a certain ratio that they correspond to, which is their boundary; while those that represent irrationals are those that have no boundary. Segments , both those that have boundaries and those that do not, are such that , of any two pertaining to one series one is the part of the other. In that case all those segments can be arranged by the relation of whole and part. A series in which there are Dedekind gaps, i.e in which there are segments that have no boundary, will give rise to more segments than its terms, since each term will define a segment having that term for boundary , and the segments without boundaries will be extra.

We are now in a position to define a real number and an irrational number.

A real number is a segment of the series of ratios in order of magnitude.

An ‘irrational number” is a segment of the series of ratios which has no boundary.

A “rational real number ” is a segment of the series of ratios which has a boundary.

Thus a rational real number consists of all ratios less than a certain ratio, and it is the rational real number corresponding to that ratio. The real number 1, for instance , is the class of proper fractions.

In this way we come up with a new theory of real numbers.

In the cases in which we naturally supposed that an irrational must be the limit of a set of ratios, the truth is that it is the limit of a set of corresponding set of rational real numbers in the series of segments order by whole and part. For example root 2 is the upper limit of all those segments of the series of ratios that correspond to ratios whose square is less than 2. More simply still, root 2 is the segment consisting of all the ratios whose square is less than 2.

It is easy to prove that the series of segments of any series is Dedekindian. For, given any set of segments, their boundary will be their logical sum, i.e the class of all those terms that belong to at least one segment of the set.

The above definition of real numbers is an example of “construction” as against “postulation” of which we had another example in the definition of cardinal numbers. The great advantage of this method is that it requires no new assumptions, but enables us to proceed deductively from original apparatus of logic.

There is no difficulty in defining addition and multiplication for real numbers as above defined. Given two real numbers u and v , each being a class of ratios, take any member of u and any member of v and add them together according to the rule for the addition of ratios. Form the class of all such sums obtainable by varying the selected members of u and v. This gives a new class of ratios, and it is easy to prove that this new class of ratios is a segment of the series of ratios. We define as the sum of u and v. We may state the definition more shortly as follows:

The arithmetical sum of two real numbers is the class of the arithmetical sums of a member of the one and a member of the other chosen in all possible ways.

We can define the arithmetical product of two real numbers in exactly the same way, by multiplying a member of the one by a member of the other in all possible ways. The class of ratios thus generated is defined as the product of the two real numbers. (in all such definitions, the series of ratios is to be defined as excluding 0 and the infinity).

There is no difficulty in extending our definitions to positive and negative real numbers and their addition and multiplication.

It remains to give the definition of complex numbers.

Complex numbers:

Complex numbers, though capable of a geometrical interpretation , are not demanded by geometry in the same imperative way in which irrationals are demanded . A “complex” number means a number involving the square root of a negative number, whether integral, fractional, or real. Since the square of a negative number is positive, a number whose square is to be negative has to be a new sort of number. using the letter i for the square root of -1 , any number involving the square root of a negative number can be expressed in the form x+iy , where x and y are real. The part yi is called the “imaginary” part of this number, x being the “real ” part. ( The reason for the phrase “real numbers” is that they are contrasted with such as are “imaginary”). Complex numbers have been for a long time habitually used by mathematicians, in spite of the absence of any precise definition. It has be simply assumed that they would obey the usual arithmetical rules, and on this assumption their employment has been found profitable. They are required less for geometry than for algebra and analysis. We desire , for example, to be able to say that every quadratic equation has two roots, and every cubic equation has three, and so on. But if we are confined to real numbers, such an equation x^2 + 1 = 0 has no roots, and such as x^3 -1 = 0 has only one. Every generalization of number has first presented itself as needed in order that subtraction might be always possible, since otherwise a-b would be meaningless if a were less than b; fractions were needed | in order that division might be always possible; and complex numbers are needed in order that extraction of roots and solution of equations may be always possible. But extensions of number are not created by mere need for them: they are created by the definition, and it is to the definition of complex numbers that we must now turn our attention.

A complex number may regarded and defined as simply an ordered couple of real numbers. Here, as elsewhere, many definitions are possible. All that is necessary is that the definitions adopted shall lead to certain properties. In the case of complex numbers, if they are defined as ordered couples of real numbers, we secure at once some of the properties required, namely, that two real numbers are required to determine a complex number, and that among these we can distinguish a first and a second, and two complex numbers are identical only when the first real number involved in the one is identical with the first in the second and the second to the second. What is needed further can be secured by defining the rules of addition and multiplication. We are to have

(x+iy)+(x`

`)i

`) + (y+y`+iy`

`) = (x+x

(x+iy)(x`

`)

` + yx` + i y``

`) = (xx``

` - yy`

`) + i(x`y`

The ethiops say that their gods are pug-nosed and black

while the Thracians say that theirs have blue eyes and red hair.

Yet if cattle or horse or lions had hands and could draw

And could sculpture like men, then the horses would draw their gods like horses, and cattle like cattle, and each would then shape Bodies of Gods in the likeness, each kind, of its own,.

The gods did not reveal, from the beginning ,

All things to us, but in the course of time,

Through seeking we may learn, and know things better…

these things , we conjecture , are somehow like the truth,

but as for certain truth, no man has known it,

nor will he know it; neither of the gods,

nor yet all the

Mathematics is a study which, when we start from its most familiar portions, may be pursued in either of two opposite directions. The more familiar direction is constructive, towards gradually increasing complexity: from integers to fractions, real numbers, complex numbers; from addition and multiplication to differentiation and integration, and on to higher mathematics. The other direction, which is less familiar, proceeds, by analysing, to greater and greater abstractness and logical simplicity; instead of asking what can be defined and deduced from what is assumed to begin with, we ask instead what more general ideas and principles can be found, in terms of which what was our starting-point can be defined or deduced. It is the fact of pursuing this opposite direction that characterises mathematical philosophy as opposed to ordinary mathematics. But it should be understood that the distinction is one, not in the subject matter, but in the state of mind of the investigator. Early Greek geometers, passing from the empirical rules of Egyptian land-surveying to the general propositions by which those rules were found to be justifiable, and thence to Euclid’s axioms and postulates, were engaged in mathematical philosophy, according to the above definition; but when once the axioms and postulates had been reached, their deductive employment, as we find it in Euclid, belonged to mathematics in the | ordinary sense. The distinction between mathe- matics and mathematical philosophy is one which depends upon the interest inspiring the research, and upon the stage which the research has reached; not upon the propositions with which the research is concerned. We may state the same distinction in another way. The most obvious and easy things in mathematics are not those that come logically at the beginning; they are things that, from the point of view of logical deduction, come somewhere in the middle. Just as the easiest bodies to see are those that are neither very near nor very far, neither very small nor very great, so the easiest conceptions to grasp are those that are neither very complex nor very simple (using “simple” in a logical sense). And as we need two sorts of instruments, the telescope and the microscope, for the enlargement of our visual powers, so we need two sorts of instruments for the enlargement of our logical powers, one to take us forward to the higher mathematics, the other to take us backward to the logical foundations of the things that we are inclined to take for granted in mathematics. We shall find that by analysing our ordinary mathematical notions we acquire fresh insight, new powers, and the means of reaching whole new mathematical subjects by adopting fresh lines of advance after our backward journey. It is the purpose of this book to explain mathematical philosophy simply and untechnically, without enlarging upon those portions which are so doubtful or difficult that an elementary treatment is scarcely possible. A full treatment will be found in Principia Mathematica; the treatment in the present volume is intended merely as an introduction. To the average educated person of the present day, the obvious starting-point of mathematics

would be the series of whole numbers, , , , , … etc. | Probably only a person with some mathematical knowledge would think of beginning with instead of with , but we will presume this degree of knowledge; we will take as our starting-point the series: , , , , … n, n + , … and it is this series that we shall mean when we speak of the “series of natural numbers.” It is only at a high stage of civilisation that we could take this series as our starting-point. It must have required many ages to discover that a brace of pheasants and a couple of days were both instances of the number : the degree of abstraction involved is far from easy. And the discovery that is a number must have been difficult. As for , it is a very recent addition; the Greeks and Romans had no such digit. If we had been embarking upon mathematical philosophy in earlier days, we should have had to start with something less abstract than the series of natural numbers, which we should reach as a stage on our backward journey. When the logical foundations of mathematics have grown more familiar, we shall be able to start further back, at what is now a late stage in our analysis. But for the moment the natural numbers seem to represent what is easiest and most familiar in mathematics. But though familiar, they are not understood. Very few people are prepared with a definition of what is meant by “number,” or “,” or “.” It is not very difficult to see that, starting from , any other of the natural numbers can be reached by repeated additions of , but we shall have to define what we mean by “adding ,” and what we mean by “repeated.” These questions are by no means easy. It was believed until recently that some, at least, of these first notions of arithmetic must be accepted as too simple and primitive to be defined. Since all terms that are defined are defined by means of other terms, it is clear that human knowledge must always be content to accept some terms as intelligible without definition, in order | to have a starting-point for its definitions. It is not clear that there must be terms which are incapable of definition: it is possible that, however far back we go in defining, we always might go further still. On the other hand, it is also possible that, when analysis has been pushed far enough, we can reach terms that really are simple, and therefore logically incapable of the sort of definition that consists in analysing. This is a question which it is not necessary for us to decide; for our purposes it is sufficient to observe that, since human powers are finite, the definitions known to us must always begin somewhere, with terms undefined for the moment, though perhaps not permanently. All traditional pure mathematics, including analytical geometry, may be regarded as consisting wholly of propositions about the natural numbers. That is to say, the terms which occur can be defined by means of the natural numbers, and the propositions can be deduced from the properties of the natural numbers—with the addition, in each case, of the ideas and propositions of pure logic. That all traditional pure mathematics can be derived from the natural numbers is a fairly recent discovery, though it had long been suspected. Pythagoras, who believed that not only mathematics, but everything else could be deduced from numbers, was the discoverer of the most serious obstacle in the way of what is called the “arithmetising” of mathematics. It was Pythagoras who discovered the existence of incommensurables, and, in particular, the incommensurability of the side of a square and the diagonal. If the length of the side is inch, the number of inches in the diagonal is the square root of , which appeared not to be a number at all. The problem thus raised was solved only in our own day, and was only solved completely by the help of the reduction of arithmetic to logic, which will be explained in following chapters. For the present, we shall take for granted the arithmetisation of mathematics, though this was a feat of the very greatest importance. | Having reduced all traditional pure mathemat- ics to the theory of the natural numbers, the next step in logical analysis was to reduce this theory itself to the smallest set of premisses and undefined terms from which it could be derived. This work was accomplished by Peano. He showed that the entire theory of the natural numbers could be derived from three primitive ideas and five primitive propositions in addition to those of pure logic. These three ideas and five propositions thus became, as it were, hostages for the whole of traditional pure mathematics. If they could be defined and proved in terms of others, so could all pure mathematics. Their logical “weight,” if one may use such an expression, is equal to that of the whole series of sciences that have been deduced from the theory of the natural numbers; the truth of this whole series is assured if the truth of the five primitive propositions is guaranteed, provided, of course, that there is nothing erroneous in the purely logical apparatus which is also involved. The work of analysing mathematics is extraordinarily facilitated by this work of Peano’s. The three primitive ideas in Peano’s arithmetic are: , number, successor. By “successor” he means the next number in the natural order. That is to say, the successor of is , the successor of is , and so on. By “number” he means, in this connection, the class of the natural numbers. He is not assuming that we know all the members of this class, but only that we know what we mean when we say that this or that is a number, just as we know what we mean when we say “Jones is a man,” though we do not know all men individually. The five primitive propositions which Peano assumes are: () is a number. () The successor of any number is a number. () No two numbers have the same successor. | () is not the successor of any number. We shall use “number” in this sense in the present chapter. Afterwards the word will be used in a more general sense. () Any property which belongs to , and also to the successor of every number which has the property, belongs to all numbers. The last of these is the principle of mathematical induction. We shall have much to say concerning mathematical induction in the sequel; for the present, we are concerned with it only as it occurs in Peano’s analysis of arithmetic. Let us consider briefly the kind of way in which the theory of the natural numbers results from these three ideas and five propositions. To begin with, we define as “the successor of ,” as “the successor of ,” and so on. We can obviously go on as long as we like with these definitions, since, in virtue of (), every number that we reach will have a successor, and, in virtue of (), this cannot be any of the numbers already defined, because, if it were, two different numbers would have the same successor; and in virtue of () none of the numbers we reach in the series of successors can be . Thus the series of successors gives us an endless series of continually new numbers. In virtue of () all numbers come in this series, which begins with and travels on through successive successors: for (a) belongs to this series, and (b) if a number n belongs to it, so does its successor, whence, by mathematical induc- tion, every number belongs to the series. Suppose we wish to define the sum of two numbers. Taking any number m, we define m + as m, and m + (n + ) as the successor of m + n. In virtue of () this gives a definition of the sum of m and n, whatever number n may be. Similarly we can define the product of any two numbers. The reader can easily convince himself that any ordinary elementary proposition of arithmetic can be proved by means of our five premisses, and if he has any difficulty he can find the proof in Peano. It is time now to turn to the considerations which make it necessary to advance beyond the standpoint of Peano, who | represents the last perfection of the “arithmetisation” of mathematics, to that of Frege, who first succeeded in “logicising” mathematics, i.e. in reducing to logic the arithmetical notions which his predecessors had shown to be sufficient for mathematics. We shall not, in this chapter, actually give Frege’s definition of number and of particular numbers, but we shall give some of the reasons why Peano’s treatment is less final than it appears to be. In the first place, Peano’s three primitive ideas— namely, “,” “number,” and “successor”—are capable of an infinite number of different interpre- tations, all of which will satisfy the five primitive propositions. We will give some examples. () Let “” be taken to mean , and let “number” be taken to mean the numbers from onward in the series of natural numbers. Then all our primitive propositions are satisfied, even the fourth, for, though is the successor of , is not a “number” in the sense which we are now giving to the word “number.” It is obvious that any number may be substituted for in this example. () Let “” have its usual meaning, but let “number” mean what we usually call “even numbers,” and let the “successor” of a number be what results from adding two to it. Then “” will stand for the number two, “” will stand for the number four, and so on; the series of “numbers” now will be , two, four, six, eight … All Peano’s five premisses are satisfied still. () Let “” mean the number one, let “number” mean the set , , , , , … and let “successor” mean “half.” Then all Peano’s five axioms will be true of this set. It is clear that such examples might be multiplied indefinitely. In fact, given any series x, x, x, x, … xn, … | which is endless, contains no repetitions, has a be- ginning, and has no terms that cannot be reached from the beginning in a finite number of steps, we have a set of terms verifying Peano’s axioms. This is easily seen, though the formal proof is somewhat long. Let “” mean x, let “number” mean the whole set of terms, and let the “successor” of xn mean xn+. Then () “ is a number,” i.e. x is a member of the set. () “The successor of any number is a number,” i.e. taking any term xn in the set, xn+ is also in the set. () “No two numbers have the same successor,” i.e. if xm and xn are two different members of the set, xm+ and xn+ are different; this results from the fact that (by hypothesis) there are no repetitions in the set. () “ is not the successor of any number,” i.e. no term in the set comes before x. () This becomes: Any property which belongs to x, and belongs to xn+ provided it belongs to xn, belongs to all the x’s. This follows from the corresponding property for numbers. A series of the form x, x, x, … xn, … in which there is a first term, a successor to each term (so that there is no last term), no repetitions, and every term can be reached from the start in a finite number of steps, is called a progression. Progressions are of great importance in the principles of mathematics. As we have just seen, every progression verifies Peano’s five axioms. It can be proved, conversely, that every series which verifies Peano’s five axioms is a progression. Hence these five axioms may be used to define the class of progressions: “progressions” are “those series which verify these five axioms.” Any progression may be taken as the basis of pure mathematics: we may give the name “” to its first term, the name “number” to the whole set of its terms, and the name “successor” to the next in the progression. The progression need not be composed of numbers: it may be | composed of points in space, or moments of time, or any other terms of which there is an infinite supply. Each different progression will give rise to a different in- terpretation of all the propositions of traditional pure mathematics; all these possible interpretations will be equally true. In Peano’s system there is nothing to enable us to distinguish between these different interpretations of his primitive ideas. It is assumed that we know what is meant by “,” and that we shall not suppose that this symbol means or Cleopatra’s Needle or any of the other things that it might mean. This point, that “” and “number” and “successor” cannot be defined by means of Peano’s five axioms, but must be independently understood, is important. We want our numbers not merely to verify mathematical formulæ, but to apply in the right way to common objects. We want to have ten fingers and two eyes and one nose. A system in which “” meant , and “” meant , and so on, might be all right for pure mathematics, but would not suit daily life. We want “” and “number” and “successor” to have meanings which will give us the right allowance of fingers and eyes and noses. We have already some knowledge (though not sufficiently articulate or analytic) of what we mean by “” and “” and so on, and our use of numbers in arithmetic must conform to this knowledge. We cannot secure that this shall be the case by Peano’s method; all that we can do, if we adopt his method, is to say “we know what we mean by ‘’ and ‘number’ and ‘successor,’ though we cannot explain what we mean in terms of other simpler concepts.” It is quite legitimate to say this when we must, and at some point we all must; but it is the object of mathematical philosophy to put off saying it as long as possible. By the logical theory of arithmetic we are able to put it off for a very long time. It might be suggested that, instead of setting up “” and “number” and “successor” as terms of which we know the meaning although we cannot define them, we might let them | stand for any three terms that verify Peano’s five axioms. They will then no longer be terms which have a meaning that is definite though undefined: they will be “variables,” terms concerning which we make certain hypotheses, namely, those stated in the five axioms, but which are otherwise undetermined. If we adopt this plan, our theorems will not be proved concerning an ascertained set of terms called “the natural numbers,” but concerning all sets of terms having certain properties. Such a procedure is not fallacious; indeed for certain purposes it represents a valuable generalisation. But from two points of view it fails to give an adequate basis for arithmetic. In the first place, it does not enable us to know whether there are any sets of terms verifying Peano’s axioms; it does not even give the faintest suggestion of any way of discovering whether there are such sets. In the second place, as already observed, we want our numbers to be such as can be used for counting common objects, and this requires that our numbers should have a definite meaning, not merely that they should have certain formal properties. This definite meaning is defined by the logical theory of arithmetic

Definition of Number The question “What is a number?” is one which has been often asked, but has only been correctly answered in our own time. The answer was given by Frege in , in his Grundlagen der Arithmetik. Although this book is quite short, not difficult, and of the very highest importance, it attracted almost no attention, and the definition of number which it contains remained practically unknown until it was rediscovered by the present author in . In seeking a definition of number, the first thing to be clear about is what we may call the grammar of our inquiry. Many philosophers, when attempting to define number, are really setting to work to define plurality, which is quite a different thing. Number is The same answer is given more fully and with more development in his Grundgesetze der Arithmetik, vol. i., . what is characteristic of numbers, as man is what is characteristic of men. A plurality is not an instance of number, but of some particular number. A trio of men, for example, is an instance of the number , and the number is an instance of number; but the trio is not an instance of number. This point may seem elementary and scarcely worth mentioning; yet it has proved too subtle for the philosophers, with few exceptions

Reverting now to the generation of series by the

relation R between consecutive terms, we see that,

if this method is to be possible, the relation “proper

R-ancestor” must be an aliorelative, transitive, and

connected. Under what circumstances will this occur?

It will always be transitive: no matter what

sort of relation R may be, “R-ancestor” and “proper

R-ancestor” are always both transitive. But it is

only under certain circumstances that it will be

an aliorelative or connected. Consider, for example,

the relation to one’s left-hand neighbour at a

round dinner-table at which there are twelve people.

If we call this relation R, the proper R-posterity

of a person consists of all who can be reached by

going round the table from right to left. This includes

everybody at the table, including the person

himself, since j twelve steps bring us back to our 37

starting-point. Thus in such a case, though the relation

“proper R-ancestor” is connected, and though

R itself is an aliorelative, we do not get a series because

“proper R-ancestor” is not an aliorelative. It

is for this reason that we cannot say that one person

comes before another with respect to the relation

“right of” or to its ancestral derivative.

The above was an instance in which the ancestral

relation was connected but not contained in

diversity. An instance where it is contained in diversity

but not connected is derived from the ordinary

sense of the word “ancestor.” If x is a proper ancestor

of y, x and y cannot be the same person; but it

is not true that of any two persons one must be an

ancestor of the other.

The question of the circumstances under which

series can be generated by ancestral relations derived

from relations of consecutiveness is often important.

Some of the most important cases are the

following: Let R be a many-one relation, and let us

confine our attention to the posterity of some term x.

When so confined, the relation “proper R-ancestor”

must be connected; therefore all that remains to ensure

its being serial is that it shall be contained in

diversity. This is a generalisation of the instance of

the dinner-table. Another generalisation consists in

taking R to be a one-one relation, and including the

ancestry of x as well as the posterity. Here again,

the one condition required to secure the generation

of a series is that the relation “proper R-ancestor”

shall be contained in diversity.

The generation of order by means of relations

of consecutiveness, though important in its own

sphere, is less general than the method which uses a

transitive relation to define the order. It often happens

in a series that there are an infinite number of

intermediate terms between any two that may be

selected, however near together these may be. Take,

for instance, fractions in order of magnitude. Between

any two fractions there are others—for example,

the arithmetic mean of the two. Consequently

there is no such thing as a pair of consecutive fractions.

If we depended j upon consecutiveness for 38

defining order, we should not be able to define the

order of magnitude among fractions. But in fact the

relations of greater and less among fractions do not

demand generation from relations of consecutiveness,

and the relations of greater and less among

fractions have the three characteristics which we

need for defining serial relations. In all such cases

the order must be defined by means of a transitive

relation, since only such a relation is able to leap

over an infinite number of intermediate terms. The

method of consecutiveness, like that of counting for

discovering the number of a collection, is appropriate

to the finite; it may even be extended to certain

infinite series, namely, those in which, though the

total number of terms is infinite, the number of

terms between any two is always finite; but it must

not be regarded as general. Not only so, but care

must be taken to eradicate from the imagination all

habits of thought resulting from supposing it general.

If this is not done, series in which there are

no consecutive terms will remain difficult and puzzling.

And such series are of vital importance for

the understanding of continuity, space, time, and

motion.

There are many ways in which series may be

generated, but all depend upon the finding or construction

of an asymmetrical transitive connected

relation. Some of these ways have considerable importance.

We may take as illustrative the generation

of series by means of a three-term relation which

we may call “between.” This method is very useful

in geometry, and may serve as an introduction to

relations having more than two terms; it is best introduced

in connection with elementary geometry.

Given any three points on a straight line in ordinary

space, there must be one of them which is

between the other two. This will not be the case

with the points on a circle or any other closed curve,

because, given any three points on a circle, we can

travel from any one to any other without passing

through the third. In fact, the notion “between” is

characteristic of open series—or series in the strict

sense—as opposed to what may be called j “cyclic” 39

series, where, as with people at the dinner-table,

a sufficient journey brings us back to our startingpoint.

This notion of “between” may be chosen as

the fundamental notion of ordinary geometry; but

for the present we will only consider its application

to a single straight line and to the ordering of the

points on a straight line.2 Taking any two points a,

b, the line (ab) consists of three parts (besides a and

b themselves):

(1) Points between a and b.

(2) Points x such that a is between x and b.

(3) Points y such that b is between y and a.

Thus the line (ab) can be defined in terms of the

relation “between.”

In order that this relation “between” may arrange

the points of the line in an order from left

to right, we need certain assumptions, namely, the

following:—

2Cf. Rivista di Matematica, iv. pp. 55ff.; Principles of Mathematics,

p. 394 (§375).

(1) If anything is between a and b, a and b are

not identical.

(2) Anything between a and b is also between b

and a.

(3) Anything between a and b is not identical

with a (nor, consequently, with b, in virtue of (2)).

(4) If x is between a and b, anything between a

and x is also between a and b.

(5) If x is between a and b, and b is between x

and y, then b is between a and y.

(6) If x and y are between a and b, then either x

and y are identical, or x is between a and y, or x is

between y and b.

(7) If b is between a and x and also between a and

y, then either x and y are identical, or x is between b

and y, or y is between b and x.

These seven properties are obviously verified

in the case of points on a straight line in ordinary

space. Any three-term relation which verifies them

gives rise to series, as may be seen from the following

definitions. For the sake of definiteness, let us

assume j that a is to the left of b. Then the points 40

of the line (ab) are (1) those between which and b, a

lies—these we will call to the left of a; (2) a itself; (3)

those between a and b; (4) b itself; (5) those between

which and a lies b—these we will call to the right of

b. We may now define generally that of two points

x, y, on the line (ab), we shall say that x is “to the

left of” y in any of the following cases:—

(1) When x and y are both to the left of a, and y is

between x and a;

(2) When x is to the left of a, and y is a or b or

between a and b or to the right of b;

(3) When x is a, and y is between a and b or is b or

is to the right of b;

(4) When x and y are both between a and b, and y

is between x and b;

(5) When x is between a and b, and y is b or to the

right of b;

(6) When x is b and y is to the right of b;

(7) When x and y are both to the right of b and x

is between b and y.

It will be found that, from the seven properties

which we have assigned to the relation “between,”

it can be deduced that the relation “to the left of,”

as above defined, is a serial relation as we defined

that term. It is important to notice that nothing in

the definitions or the argument depends upon our

meaning by “between” the actual relation of that

name which occurs in empirical space: any threeterm

relation having the above seven purely formal

properties will serve the purpose of the argument

equally well.

Cyclic order, such as that of the points on a circle,

cannot be generated by means of three-term

relations of “between.” We need a relation of four

terms, which may be called “separation of couples.”

The point may be illustrated by considering a journey

round the world. One may go from England to

New Zealand by way of Suez or by way of San Francisco;

we cannot j say definitely that either of these 41

two places is “between” England and New Zealand.

But if a man chooses that route to go round the

world, whichever way round he goes, his times in

England and New Zealand are separated from each

other by his times in Suez and San Francisco, and

conversely. Generalising, if we take any four points

on a circle, we can separate them into two couples,

say a and b and x and y, such that, in order to get

from a to b one must pass through either x or y, and

in order to get from x to y one must pass through

either a or b. Under these circumstances we say that

the couple (a, b) are “separated” by the couple (x, y).

Out of this relation a cyclic order can be generated,

in a way resembling that in which we generated an

open order from “between,” but somewhat more

complicated.3

The purpose of the latter half of this chapter

has been to suggest the subject which one may call

“generation of serial relations.” When such relations

have been defined, the generation of them from

other relations possessing only some of the properties

required for series becomes very important, especially

in the philosophy of geometry and physics.

But we cannot, within the limits of the present volume,

do more than make the reader aware that such

a subject exists.

3Cf. Principles of Mathematics, p. 205 (§194), and references

there given.

Chapter V

Kinds of Relations

A great part of the philosophy of mathematics is 42

concerned with relations, and many different kinds

of relations have different kinds of uses. It often

happens that a property which belongs to all relations

is only important as regards relations of certain

sorts; in these cases the reader will not see the

bearing of the proposition asserting such a property

unless he has in mind the sorts of relations for

which it is useful. For reasons of this description, as

well as from the intrinsic interest of the subject, it

is well to have in our minds a rough list of the more

mathematically serviceable varieties of relations.

We dealt in the preceding chapter with a supremely

important class, namely, serial relations.

Each of the three properties which we combined in

defining series—namely, asymmetry, transitiveness,

and connexity—has its own importance. We will

begin by saying something on each of these three.

Asymmetry, i.e. the property of being incompatible

with the converse, is a characteristic of the very

greatest interest and importance. In order to develop

its functions, we will consider various examples.

The relation husband is asymmetrical, and so

is the relation wife; i.e. if a is husband of b, b cannot

be husband of a, and similarly in the case of wife.

On the other hand, the relation “spouse” is symmetrical:

if a is spouse of b, then b is spouse of a.

Suppose now we are given the relation spouse, and

we wish to derive the relation husband. Husband is

the same as male spouse or spouse of a female; thus

the relation husband can j be derived from spouse ei- 43

ther by limiting the domain to males or by limiting

the converse domain to females. We see from this

instance that, when a symmetrical relation is given,

it is sometimes possible, without the help of any

further relation, to separate it into two asymmetrical

relations. But the cases where this is possible are

rare and exceptional: they are cases where there are

two mutually exclusive classes, say and , such

that whenever the relation holds between two terms,

one of the terms is a member of and the other is

a member of —as, in the case of spouse, one term

of the relation belongs to the class of males and one

to the class of females. In such a case, the relation

with its domain confined to will be asymmetrical,

and so will the relation with its domain confined

to . But such cases are not of the sort that occur

when we are dealing with series of more than two

terms; for in a series, all terms, except the first and

last (if these exist), belong both to the domain and

to the converse domain of the generating relation,

so that a relation like husband, where the domain

and converse domain do not overlap, is excluded.

The question how to construct relations having

some useful property by means of operations upon

relations which only have rudiments of the property

is one of considerable importance. Transitiveness

and connexity are easily constructed in many cases

where the originally given relation does not possess

them: for example, if R is any relation whatever, the

ancestral relation derived from R by generalised induction

is transitive; and if R is a many-one relation,

the ancestral relation will be connected if confined

to the posterity of a given term. But asymmetry is a

much more difficult property to secure by construction.

The method by which we derived husband from

spouse is, as we have seen, not available in the most

important cases, such as greater, before, to the right

of, where domain and converse domain overlap. In

all these cases, we can of course obtain a symmetrical

relation by adding together the given relation

and its converse, but we cannot pass back from this

symmetrical relation to the original asymmetrical

relation except by the help of some asymmetrical j relation. Take, for example, the relation greater: the 44

relation greater or less—i.e. unequal—is symmetrical,

but there is nothing in this relation to show that

it is the sum of two asymmetrical relations. Take

such a relation as “differing in shape.” This is not

the sum of an asymmetrical relation and its converse,

since shapes do not form a single series; but

there is nothing to show that it differs from “differing

in magnitude” if we did not already know that

magnitudes have relations of greater and less. This

illustrates the fundamental character of asymmetry

as a property of relations.

From the point of view of the classification of relations,

being asymmetrical is a much more important

characteristic than implying diversity. Asymmetrical

relations imply diversity, but the converse

is not the case. “Unequal,” for example, implies

diversity, but is symmetrical. Broadly speaking, we

may say that, if we wished as far as possible to dispense

with relational propositions and replace them

by such as ascribed predicates to subjects, we could

succeed in this so long as we confined ourselves to

symmetrical relations: those that do not imply diversity,

if they are transitive, may be regarded as asserting

a common predicate, while those that do imply

diversity may be regarded as asserting incompatible

predicates. For example, consider the relation

of similarity between classes, by means of which we

defined numbers. This relation is symmetrical and

transitive and does not imply diversity. It would be

possible, though less simple than the procedure we

adopted, to regard the number of a collection as a

predicate of the collection: then two similar classes

will be two that have the same numerical predicate,

while two that are not similar will be two that have

different numerical predicates. Such a method of replacing

relations by predicates is formally possible

(though often very inconvenient) so long as the relations

concerned are symmetrical; but it is formally

impossible when the relations are asymmetrical, because

both sameness and difference of predicates

are symmetrical. Asymmetrical relations are, we

may j say, the most characteristically relational of 45

relations, and the most important to the philosopher

who wishes to study the ultimate logical nature of

relations.

Another class of relations that is of the greatest

use is the class of one-many relations, i.e. relations

which at most one term can have to a given term.

Such are father, mother, husband (except in Tibet),

square of, sine of, and so on. But parent, square root,

and so on, are not one-many. It is possible, formally,

to replace all relations by one-many relations by

means of a device. Take (say) the relation less among

the inductive numbers. Given any number n greater

than 1, there will not be only one number having the

relation less to n, but we can form the whole class of

numbers that are less than n. This is one class, and

its relation to n is not shared by any other class. We

may call the class of numbers that are less than n

the “proper ancestry” of n, in the sense in which we

spoke of ancestry and posterity in connection with

mathematical induction. Then “proper ancestry”

is a one-many relation (one-many will always be

used so as to include one-one), since each number

determines a single class of numbers as constituting

its proper ancestry. Thus the relation less than can

be replaced by being a member of the proper ancestry

of. In this way a one-many relation in which the

one is a class, together with membership of this

class, can always formally replace a relation which

is not one-many. Peano, who for some reason always

instinctively conceives of a relation as one-many,

deals in this way with those that are naturally not

so. Reduction to one-many relations by this method,

however, though possible as a matter of form, does

not represent a technical simplification, and there

is every reason to think that it does not represent a

philosophical analysis, if only because classes must

be regarded as “logical fictions.” We shall therefore

continue to regard one-many relations as a special

kind of relations.

One-many relations are involved in all phrases

of the form “the so-and-so of such-and-such.” “The

King of England,” j “the wife of Socrates,” “the fa- 46

ther of John Stuart Mill,” and so on, all describe

some person by means of a one-many relation to a

given term. A person cannot have more than one

father, therefore “the father of John Stuart Mill” described

some one person, even if we did not know

whom. There is much to say on the subject of descriptions,

but for the present it is relations that

we are concerned with, and descriptions are only

relevant as exemplifying the uses of one-many relations.

It should be observed that all mathematical

functions result from one-many relations: the logarithm

of x, the cosine of x, etc., are, like the father

of x, terms described by means of a one-many relation

(logarithm, cosine, etc.) to a given term (x).

The notion of function need not be confined to numbers,

or to the uses to which mathematicians have

accustomed us; it can be extended to all cases of

one-many relations, and “the father of x” is just as

legitimately a function of which x is the argument

as is “the logarithm of x.” Functions in this sense

are descriptive functions. As we shall see later, there

are functions of a still more general and more fundamental

sort, namely, propositional functions; but

for the present we shall confine our attention to descriptive

functions, i.e. “the term having the relation

R to x,” or, for short, “the R of x,” where R is any

one-many relation.

It will be observed that if “the R of x” is to describe

a definite term, x must be a term to which

something has the relation R, and there must not

be more than one term having the relation R to x,

since “the,” correctly used, must imply uniqueness.

Thus we may speak of “the father of x” if x is any

human being except Adam and Eve; but we cannot

speak of “the father of x” if x is a table or a chair or

anything else that does not have a father. We shall

say that the R of x “exists” when there is just one

term, and no more, having the relation R to x. Thus

if R is a one-many relation, the R of x exists whenever

x belongs to the converse domain of R, and not

otherwise. Regarding “the R of x” as a function in

the mathematical j sense, we say that x is the “argu- 47

ment” of the function, and if y is the term which has

the relation R to x, i.e. if y is the R of x, then y is the

“value” of the function for the argument x. If R is a

one-many relation, the range of possible arguments

to the function is the converse domain of R, and the

range of values is the domain. Thus the range of

possible arguments to the function “the father of

x” is all who have fathers, i.e. the converse domain

of the relation father, while the range of possible

values for the function is all fathers, i.e. the domain

of the relation.

Many of the most important notions in the logic

of relations are descriptive functions, for example:

converse, domain, converse domain, field. Other examples

will occur as we proceed.

Among one-many relations, one-one relations are

a specially important class. We have already had

occasion to speak of one-one relations in connection

with the definition of number, but it is necessary to

be familiar with them, and not merely to know their

formal definition. Their formal definition may be

derived from that of one-many relations: they may

be defined as one-many relations which are also

the converses of one-many relations, i.e. as relations

which are both one-many and many-one. One-many

relations may be defined as relations such that, if x

has the relation in question to y, there is no other

term x0 which also has the relation to y. Or, again,

they may be defined as follows: Given two terms x

and x0, the terms to which x has the given relation

and those to which x0 has it have no member in common.

Or, again, they may be defined as relations

such that the relative product of one of them and its

converse implies identity, where the “relative product”

of two relations R and S is that relation which

holds between x and z when there is an intermediate

term y, such that x has the relation R to y and y has

the relation S to z. Thus, for example, if R is the

relation of father to son, the relative product of R

and its converse will be the relation which holds

between x and a man z when there is a person y,

such that x is the father of y and y is the son of z. It

is obvious that x and z must be j the same person. 48

If, on the other hand, we take the relation of parent

and child, which is not one-many, we can no longer

argue that, if x is a parent of y and y is a child of

z, x and z must be the same person, because one

may be the father of y and the other the mother.

This illustrates that it is characteristic of one-many

relations when the relative product of a relation and

its converse implies identity. In the case of one-one

relations this happens, and also the relative product

of the converse and the relation implies identity.

Given a relation R, it is convenient, if x has the relation

R to y, to think of y as being reached from x by

an “R-step” or an “R-vector.” In the same case x will

be reached from y by a “backward R-step.” Thus we

may state the characteristic of one-many relations

with which we have been dealing by saying that an

R-step followed by a backward R-step must bring

us back to our starting-point. With other relations,

this is by no means the case; for example, if R is the

relation of child to parent, the relative product of

R and its converse is the relation “self or brother

or sister,” and if R is the relation of grandchild to

grandparent, the relative product of R and its converse

is “self or brother or sister or first cousin.” It

will be observed that the relative product of two

relations is not in general commutative, i.e. the relative

product of R and S is not in general the same

relation as the relative product of S and R. E.g. the

relative product of parent and brother is uncle, but

the relative product of brother and parent is parent.

One-one relations give a correlation of two classes,

term for term, so that each term in either class

has its correlate in the other. Such correlations are

simplest to grasp when the two classes have no

members in common, like the class of husbands

and the class of wives; for in that case we know

at once whether a term is to be considered as one

from which the correlating relation R goes, or as one

to which it goes. It is convenient to use the word

referent for the term from which the relation goes,

and the term relatum for the term to which it goes.

Thus if x and y are husband and wife, then, with

respect to the relation j “husband,” x is referent and 49

y relatum, but with respect to the relation “wife,” y

is referent and x relatum. We say that a relation and

its converse have opposite “senses”; thus the “sense”

of a relation that goes from x to y is the opposite of

that of the corresponding relation from y to x. The

fact that a relation has a “sense” is fundamental,

and is part of the reason why order can be generated

by suitable relations. It will be observed that the

class of all possible referents to a given relation is

its domain, and the class of all possible relata is its

converse domain.

But it very often happens that the domain and

converse domain of a one-one relation overlap. Take,

for example, the first ten integers (excluding 0), and

add 1 to each; thus instead of the first ten integers

we now have the integers

2; 3; 4; 5; 6; 7; 8; 9; 10; 11:

These are the same as those we had before, except

that 1 has been cut off at the beginning and 11 has

been joined on at the end. There are still ten integers:

they are correlated with the previous ten by

the relation of n to n+1, which is a one-one relation.

Or, again, instead of adding 1 to each of our original

ten integers, we could have doubled each of them,

thus obtaining the integers

2; 4; 6; 8; 10; 12; 14; 16; 18; 20:

Here we still have five of our previous set of integers,

namely, 2, 4, 6, 8, 10. The correlating relation in

this case is the relation of a number to its double,

which is again a one-one relation. Or we might have

replaced each number by its square, thus obtaining

the set

1; 4; 9; 16; 25; 36; 49; 64; 81; 100:

On this occasion only three of our original set are

left, namely, 1, 4, 9. Such processes of correlation

may be varied endlessly.

The most interesting case of the above kind is

the case where our one-one relation has a converse

domain which is part, but j not the whole, of the 50

domain. If, instead of confining the domain to the

first ten integers, we had considered the whole of the

inductive numbers, the above instances would have

illustrated this case. We may place the numbers

concerned in two rows, putting the correlate directly

under the number whose correlate it is. Thus when

the correlator is the relation of n to n + 1, we have

the two rows:

1; 2; 3; 4; 5; : : : n : : :

2; 3; 4; 5; 6; : : : n + 1 : : :

When the correlator is the relation of a number to

its double, we have the two rows:

1; 2; 3; 4; 5; : : : n : : :

2; 4; 6; 8; 10; : : : 2n : : :

When the correlator is the relation of a number to

its square, the rows are:

1; 2; 3; 4; 5; : : : n : : :

1; 4; 9; 16; 25; : : : n2 : : :

In all these cases, all inductive numbers occur in the

top row, and only some in the bottom row.

Cases of this sort, where the converse domain

is a “proper part” of the domain (i.e. a part not the

whole), will occupy us again when we come to deal

with infinity. For the present, we wish only to note

that they exist and demand consideration.

Another class of correlations which are often important

is the class called “permutations,” where

the domain and converse domain are identical. Consider,

for example, the six possible arrangements of

three letters:

a, b, c

a, c, b

b, c, a

b, a, c

c, a, b

c, b, a j

Each of these can be obtained from any one of the 51

others by means of a correlation. Take, for example,

the first and last, (a, b, c) and (c, b, a). Here a is

correlated with c, b with itself, and c with a. It is

obvious that the combination of two permutations

is again a permutation, i.e. the permutations of a

given class form what is called a “group.”

These various kinds of correlations have importance

in various connections, some for one purpose,

some for another. The general notion of one-one

correlations has boundless importance in the philosophy

of mathematics, as we have partly seen already,

but shall see much more fully as we proceed.

One of its uses will occupy us in our next chapter.

Chapter VI

Similarity of Relations

We saw in Chapter II. that two classes have the 52

same number of terms when they are “similar,” i.e.

when there is a one-one relation whose domain is

the one class and whose converse domain is the

other. In such a case we say that there is a “one-one

correlation” between the two classes.

In the present chapter we have to define a relation

between relations, which will play the same

part for them that similarity of classes plays for

classes. We will call this relation “similarity of relations,”

or “likeness” when it seems desirable to use

a different word from that which we use for classes.

How is likeness to be defined?

We shall employ still the notion of correlation:

we shall assume that the domain of the one relation

can be correlated with the domain of the other,

and the converse domain with the converse domain;

but that is not enough for the sort of resemblance

which we desire to have between our two relations.

What we desire is that, whenever either relation

holds between two terms, the other relation shall

hold between the correlates of these two terms. The

easiest example of the sort of thing we desire is a

map. When one place is north of another, the place

on the map corresponding to the one is above the

place on the map corresponding to the other; when

one place is west of another, the place on the map

corresponding to the one is to the left of the place on

the map corresponding to the other; and so on. The

structure of the map corresponds with that of j the 53

country of which it is a map. The space-relations

in the map have “likeness” to the space-relations in

the country mapped. It is this kind of connection

between relations that we wish to define.

We may, in the first place, profitably introduce

a certain restriction. We will confine ourselves, in

defining likeness, to such relations as have “fields,”

i.e. to such as permit of the formation of a single

class out of the domain and the converse domain.

This is not always the case. Take, for example, the

relation “domain,” i.e. the relation which the domain

of a relation has to the relation. This relation

has all classes for its domain, since every class is

the domain of some relation; and it has all relations

for its converse domain, since every relation has a

domain. But classes and relations cannot be added

together to

Have you ever seen the movie matrix? if you like science you must watch this. This movie tells us that our world is in a computer simulation or inside a matrix. what if our world is a complex computer program. We are nothing but the strings of binary digits 1 and 0. It is hard to believe but many scientists believe it to be so. According to the simulation theory even our consciousness is simulated by computer program. I do not know whether this theory is right or wrong but such theory has many advantages. ** yes we are inside the matrix. We are living in a dream world. About 14.4 billion years ago an accidental explosion happened. Everything including spacetime was created through that explosion we call big bang. What exists now is a consequence of that. We are here because our universe had no boundary at that special event. The universe started expanding rapidly ever since big bang happened. Everything follows simple rules which are universal and eternal. The grand design of the universe reflects this fact. Both small things and the large structure have to obey these laws which are scientific. Small world of atom is governed by chance and God plays dice all the time. Our universe can appear from nothing due to chance taking quantum leap from eternity. Our reality is a model which can be described by fundamental particles and forces. Without these forces you can not see this sentence and our earth would not stay on its orbit around the sun. The matrix is everywhere even when you look into the very room. It is the chair you are sitting on, it is the air you breath and electricity that is powering you and your computer. It is possible that our universe is not the only universe. There is a multiverse of universes each of which has fundamental laws and constants. This universe is a gigantic simulation. **

What is real? If you want to talk about what you can taste, see, touch or feel, then the “real” is just the electrical signals interpreted by your brain.

New theory of the universe:

Where does the law come from? Physics has a lot universal laws that describe our reality. But the provenance of these laws is unknown. The laws are supposed to exist all the time. So my contention is that laws exist as a logical necessity. The laws exist all by themselves. Mathematics is the only language that describes these laws precisely. Every physical law is a mathematical law. Mathematics can be built from purely logical grounds. Logic can be very abstract and removed from empirical world. So it can be assumed that physical laws exist all by themselves like logic and mathematics. The question of how the laws came from is solved apparently. Geometry is a priori ( that does not depend on experiment) from of human intuition. All possible worlds must confront to mathematics , not only this accidental world that we live in. Otherwise the idealism states that reality is our thoughts and imagination. Better still, it is the figment of our imagination. This is also consistent with this interpretation of the existence of physical laws.

The edge and boundary of the universe :

The universe that we live in may be finite without any boundary. It can be like the surface of the earth. The surface of the earth has no boundary but it is finite. There is no report of someone falling off . So we might be trapped inside a three-dimensional surface. A surface of an n-dimensional space is a n-1 dimensional subspace. So our universe can itself a surface of four dimensional space, which we can not perceive. You can not also ask what happened before the big bang. There was no notion of time prior to big bang. Space and time were created at the instant of big bang. It is like asking what is there at the south of south pole. There is nothing south of south pole of the earth. This issue can be tackled in another way:

Theory of relativity has improved our understanding of space and time. In theory of relativity space-time has dynamical characteristics. Time as well as space are relative. What we can observe is space and time. Footrule and a chronometer give the description of all the events in our universe. Now question may arise what is outside our visible universe. There is nothing actually. It is the same as the question of what happened before the big bang. We only know the universe through space and time. When there is no existence of space and time , there is no issue regarding what is outside our universe. We tend to think that we can reach the boundary or horizon of our universe. But this is not only theoretically impossible but also implausible. Space and time must cease to exist as soon as you reach the edge or boundary. We should not think ourselves outside the framework of relativity or Newtonian absolute space and time.

Weirdness of the world:

Life may not have a purpose but when you try to observe deeply everything seems mysterious and interesting. Take for example our very mind and its nature. What is the ground for believing that other people are thinking like you are? We can not perceive other people’s mind like we perceive our own minds. It is only the analogy by using which we can infer that other people are thinking like me. We can not directly experience their thoughts and emotions. We can not be acknowledged of anything happening inside their heads. This is very consistent with the concept of solipsism. Solipsism states that only you are sure to exist and everything else is just your imagination. What is happening to us is very occult and arcane. We are being played by the laws of physics. Physics only reveals the causal structure of the world. That is to say, it can only say that something is the cause of any other thing. It only can say that something is going to happen after some other thing has happened. This is the nature of the world; cause-effect, action and reaction . We are forever slave to it as the Merovingian’s quotes go. What goes on inside the mind might also have causal relationships with one another. This will need a comprehensive and through analysis of the causal theory of perception.

**Anomaly or glitch in the system:**

This world or the universe is a gigantic machine. It is better to call it a physical system. The universe can be explained as a physical system or it can be explained as a gigantic computer program. In the movie “matrix reloaded” the universe is depicted as a computer generated dream world. A physical system can be a computer simulated world but it is not always the case. But a computer generated system must be a physical system as was shown in the matrix. It is very reasonable to ask whether our universe has a glitch in it so that we can find it to utilize for our purpose. Universe contains singularity like the center of a black hole and the big bang. But this is not the kind of glitch I am talking about. A glitch , I suppose, should be a disruption in the simultaneous rendering of the reality and our perception of it. Our reality is the model created to suit our five senses and mind. There is close connection between the reality, mind and our senses. At this point it is irrelevant whether the world is materialistic and idealistic. I have taken for granted that it is a model . If we have created this model we can change it , if not, not. It may be asked whether the same model of reality is applied to other animals and insects. So far no glitch has been found and we can not escape from this reality. But there are anomalies in the system. You are not the anomaly but someone is. Now I will elaborate on the anomalies in the system.

This is the story of the one who does not like the rules of our society. He does not want to cling to the norms and tenets of his society, that people advocates. He is a man of science and his beliefs are tentative and not dogmatic. He questioned everything about the world. So he tries to make sense of the religion and God. All the people of the society believe in God and religion. He become very shocked by seeing people blindly follow religious rules and also by seeing them performing rituals. This does not make any sense to him. How could educated and elite class believe in such a deity as God ? The universe is rational and logical . There is hardly any place for God in it. Laws of physics are sufficient to describe the universe. So after being surprised he tries to convert them and dissuade them of their belief. Otherwise there are several flaws in God’s hypothesis. God is thought to be all powerful. So let us ask a question :

God is requested to build a heavy stone that he can not lift above by himself.

So even if he is able to build such a stone he would not be able to lift it or elevate it. Hence he is not all powerful.

So there is anomaly in the system. There is always someone who is against the system. He is enemy of all those who want to protect the system by supporting the orthodox and traditional ideas. Do you think you are the anomaly? The anomaly does not listen to the creator of the system. He is against the system or his creator (if there is one).

**Cyclic nature or periodicity in the universe:**

Everything in the universe is cyclic. The earth revolves around the sun. The sun revolves around the galaxy taking all the planets of her with herself. The galaxy also rotates relative to a bigger part of the universe. And , in turns, the universe itself is rotating. Yes, the universe has a spin or angular momentum. Without cyclic motion universe and life would be impossible. Everything come back to itself sooner or later. The most important ingredient in quantum mechanics is wave which is usually a sine or cosine function. These waves represent particle in quantum mechanics. But wave is a phenomena that repeat its behavior over and over again. Like wave everything in the universe come back to itself inexorably. This is the nature of the world. We see same person again and again, we do same thing again and again. May be we will go back to the place where we were born first time. We cannot escape this inevitable cyclic occurrences.

Nikola Tesla famously quoted that if you want to find the secret of the universe think in terms of energy , frequency and vibration. In everything there is vibration and energy. Electron is a wave vibrating through three dimensional space. Light is also a periodic process.

**Human as scientific construction:**

Human beings are scientific construction in every aspects. If you talk about how our body function internally you have to resort to biological study. The anatomy explains the structure of the human body. Biological science is very efficient in describing the processes that occur in our body. Take , for example , our heart. It is a pump that circulates bloods into our body. The energy of the pumping comes from the heat of the body. Human body is a big source of heat energy which is measured in BTU(british thermal unit). The body cells converts heat into electrical signals and when the signals reach the heart the muscles of the heart contract . Doctor detects this kind of electrical activity using the ECG(electrocardiogram). Without electricity we could not think and see. The brain interprets all the electrical signals coming from different parts of our body. As regard the mechanical function of the body it is hard to make a perfect model of our movement. It involves a lot of non linear equations and parameters. Leonardo Da Vinci first developed a mechanical model of our body parts to explain the movements of these parts like the arms and hands. On the other hand, our brain is the most complicated object in the entire universe. Although neuroscience is very advanced science we are still lacking necessary skill to explain brain function properly. It has certain relationship with quantum mechanics. Consciousness is mysterious and so is quantum mechanics. May be they are the same. Creation of the first biological cell was a process involving certain compounds and electricity. That cell had DNA and RNA molecule which are supposed to contain all genetic information of life. These molecules give the instructions to carry out all the functionalities needed to develop living organisms. DNA is also known as the double helix due to its spiral like structure. Unraveling the structure of human genom was a great leap towards the understanding the human body and its functions. All these evidence shows that humans are only scientific construction.

**The rule of law:**

Laws are governing our lives. They are in effect when we go to church, and pay our taxes and even when we go out shopping. We have to follow rules in every sphere of our lives. It is for the laws that we are safe from criminals and terrorists. You do not understand why you are forced to stand at the end of a line of people waiting to take money from bank’s cashier if you are late than others. You do not understand why you can not speak loudly in a public place. Everywhere there are laws of some sort or the other. We have created these laws for our protection. But is it really our own creation? These laws are derivative and manifestation of more universal and natural laws. These universal laws are the laws of physics. Laws of gravity is probably most important in the universe. Gravity permeates everywhere. We can not escape gravity even in the outer space. Einstein radically changed our understanding about gravity and spacetime. He taught us that gravity was not a force but curvature of spacetime. You are able to sit on the chair in your room because spacetime is pushing you from above. The earth is in its orbit because it moves in a geodesic in spacetime. Quantum laws are even more bizzare. These laws are probabilistic laws. By “probabilistic” it is to mean that you can not predict with hundred percent certainty everything. We have laws determining radioactive decays of some elements. But we can not tell when the decay will happen. Even if we can we do not know their cause. Probability is more fundamental than you can think. May be space and time are not continuous and smooth as we think but quantized like the space around the nucleus of an atom. What we call elementary particles are just vibrations in the corresponding quantum fields in space and time. There are electron fields , gluon fields and other matter fields which are endless and pervasive throughout the universe. When a field , for example electron field, is excited at a particular position in space and at a particular instant in time the matter-like electron appears. These fields contain energy even in the vacuum state. The rule of Maxwell’s equations is even more apparent in daily lives. It is seen when we turn on our television, when we speak on our cell-phones and particularly when we see other objects with our bare eyes. The universe is a grand design and the architect was perhaps a great mathematician. When we are on the fourth floor of a building we will age slowly relative to ground floor. Time flows at different rate at different places in the universe. The earth’s center may be few years older than its surface.

**Universe as a gigantic time machine:**

The universe is a gigantic time machine. We are not likely to travel to another galaxy or another solar system any time soon. Our neighboring galaxy Andromeda is millions of light-year away. One light year is the distance that light travel in one year. Such a huge distance can not traversed in short time. We will be old and die on the way by the time we reach there. Even if we reach there by the time we come to the earth , nothing will be here. It is only possible if we can build time machines. Warp drive could take us to another galaxy in a very short time. To do so we must be able to bend space to create a worm-hole like shortcut through spacetime. Thus we can travel between two distant points in short time. Suppose one day we create such a worm hole to reach Andromeda galaxy. By reaching there we can see our past events such as the extinction of dinosaurs on the earth. The light from the event is still rushing towards the Andomeda and by reaching there fast we can catch those lights. Otherwise there is a possibility for closed time-like curves (CTC) to exist in spacetime. Following this curve we can travel back to our past. For example we can start our journey at the morning of one day and can come back to previous day at night. Otherwise there arise many paradoxes and logical contradictions in time travelling to the past. This makes it improbable the fact that we can travel back to our past. It is still a good science fiction. But time dilation is a true fact. It has been proven countless numbers of times. We have a lot of evidences for that. On the other hand , black hole can also be used as a gateway or portal to go to another universe. The center of a black hole is a singularity of spacetime. It is one of the biggest mystery that gravity or general theory of relativity can not explain.

**“Have you ever had a dream that you are not sure if you are asleep or awake. What if you could never wake up from that dream! Could you tell the difference between the real world and the dream world”**

**Multiverse theory:**

The idea of multiverse is probably the most daring concept in science. At one time this universe meant everything that are in the cosmos ; the stars , the galaxies and us. But multiverse theory predicts these are not the totality of things. There are infinite multiverse of universes. Each universe may contain a copy of you reading this sentence right now. The idea of multiverse came from the “many world” interpretation of quantum mechanics. When we do do observe a quantum system the system possess an infinite number of possibilities. There are an infinite number of outcomes that exist simultaneously. Many suggest that each outcome is as real as the other and exists at an individual world. The whole collection of such individual worlds is called the multiverse. String theory says that big bang is not the beginning of our universe. General theory of relativity says that we are like the insects on the surface of a gigantic soap bubble. This soap bubble expands outward. But string theory says there are other bubbles and there are actually an infinite number of them. Big bang occurs when two such bubbles collide or a bubble spits into two baby bubbles. That is modern string theoretical interpretation of big bang. According to string theory physics is the harmony that the strings create. Chemistry is the melody played on the same strings. And our universe is cosmic symphony resonating through ten dimensional hyperspace. Among the cosmological models of our universe the no boundary proposal developed by Stephen hawking is the most notable. This proposal says that our universe had no boundary at the event of big bang. Usual model states that space and time themselves were created at big bang. Time had a beginning. This might sound ridiculous but theory of relativity had taught us time is relative. Consequently it was the big bang when time started its journey. Hawking later suggested that at the big bang space and time were the same and spacetime was like a smooth surface without any boundary. It was like the south pole of the earth. The boundary condition of the universe is that there is no boundary.

Another matter that is of great debate is the problem of free will. According to principles of classical mechanics everything is predictable. Our actions are not governed by us. Every will and volition have previous causes and that cause in turns has another cause. Thus we certainly do not have any free will. But in quantum mechanical world nothing is predictable with absolute certainly and we might possess free will after all. We have freedom to make our own decision. According to classical physics we have only one of two alternatives (yes or no) in our mind. Our choice is predetermined with yes or no option. But according to quantum principles we have both yes and no options, which exist simultaneously in our mind. Thus Quantum mechanics has rescued free will from drowning.

The phenomena of having both yes and no states in our mind is called

the principle of quantum superposition. Scientists have been able to find the exact location of the brain where this quantum superposition seems to take place. This part of the brain is called micro-tubules. There is a close connection between our consciousness and quantum mechanics. Both are mysterious and thus both may be the same.

One electron universe is a concept or idea which tells that there are only one electron in the universe. What we observe to be different particles is really one electron going back and forth through time. The world lines traced by a single electron make a twisted structure like a knot in spacetime. Any slice through time represent the single electron at different locations. Positron can be viewed as electron going from future to past in space.

Richard Feynman quoted something which represents this fact of electron going back and forth in time :

” I know why all the electrons have identical mass and charge because they are all the same electron. “

Electron is a point mass which have negative charge. Electrons are the singularities in electromagnetic field. That is to say,

they have infinite divergence. What it means need a careful study of maxwell equation.

Michio kaku have tried to explain all the paranormal activities in the context of science. These are telekinesis , telepathy, mind reading , psychokinesis and many others. We see all these in sci-fi Hollywood movies every now and then. But are these phenomena real or scientific? There is no direct relationship between these and science. Science like to explain stuff in terms of causal relationships. As far as causality is concerned there are no hope for these kinds of phenomena to be true. In science we have explanation and evidences. Paranormal activities have no explanation otherwise these were not called paranormal in the first place.

That does not mean we give up. May be, some future science will explain or make these phenomena possible.

**Quantum teleportation:**

Have you seen the movie “star trek”. Here the crews of the spaceship become teleported from one place to another instantaneously. By teleportation it is possible to move physically from one to another instantaneously without being in the intermediate place. That also amounts to say that something disappears from one place and reappears at other place instantaneously. In the context of quantum mechanics teleportation means the transfer of information from one place to another instantaneously. This idea of quantum teleportation came from the idea of quantum entanglement of quantum mechanics. According to the principles of quantum entanglement information can travel faster than light. By properly utilizing these quantum information same copy of a particle or a group of particles can be reconstructed out of nothing. The principle is that using only the quantum information it is to create a particle in another place. The quantum teleported particle should have the same properties as the origin one so after the original particle is destroyed the identical one would be created. At the moment only one particle has been teleported successfully by scientists. But as the energy and time needed to encode the information of a large number of particles are huge it not very practical to teleport a massive body. But it is still a possibility.

**A universe from nothing:**

The energy content of our universe is zero. This might sound absurd but our universe can emerge from nothing which is zero energy. The quantum fluctuation in the vacuum can give rise to particle and anti-particle for a brief moment of time. These particle then annihilate again to keep the total energy zero. The inflationary cosmology states that our universe can be spontaneously created from pure vacuum fluctuation. The other explanation is that gravity is negative energy. If you separate two objects far away then the system possesses negative energy. Due to gravity our universe has a macroscopic stable structure. And the energy of all the planets , stars and galaxies would have negative energy. This negative energy can be balanced by the energy equivalence of matter content in the whole universe. This equivalence energy can be found from Einstein’s famous equation E = mc^2 . Thus it is very logical that the energy of the whole universe is zero(0). May be we are inside an electric battery which has exhausted all of its energy. Reality is very illusive but a persistent one. The first thing that is illusive is the atom.

**The reality of atom: **

Atom is the greatest mystery although everything is made up with it. Einstein first proved the reality of atom by observer a kind of random motion called Brownian motion. We can not see atom with bare eyes but it is the fundamental constituents of all the matter in the universe. Inside the atoms there are electrons in the quantum orbits. Protons and neutron stay inside the nucleus. These particles are so minuscule that we can never see them with the naked eye. But that is not the end of the story. Inside protons , if we zoom in we will be able to see quarks. By the exchange of gluons, quarks are held together inside the proton. The force induced from this exchange is called strong nuclear force. Quarks are not the end of the story too. String theory now posits that there are further fundamental entities inside these quarks. But these entities are not matter-like. These are string like filaments of energy. Like the strings of the violin these can vibrate but in multi-dimensional space. All these phenomena are part of the atomic world. The cosmos is the music of these vibrating strings. Various vibrational patterns create various particles. Graviton which is supposed to carry gravitational force is one such pattern. There is another force that works inside the nucleus of the atom. This force is called weak nuclear force. It is very weak and short range. Due to this weak force radioactive decay of elements occurs. All the phenomena happening inside the nucleus are very mysterious and only quantum mechanics can explains this weird stuffs accurately.

**Arrow of time: **

This was one of the chapters in the famous book “brief history of time” written by Stephen W . Hawking . He compared three kinds of time: the one is psychological time, the second is thermodynamic time and the third is physical time. Are they the same? The concept of psychological time is hard to explain. But the other two can be given much easily. Time always flows from past to future. This is the arrow of time. It can not run backwards. This apparent done direction flow of time can be accounted from the fact that entropy of a closed system always increases. The entropy of our universe is increases. We are destined to face heat death of the universe, when temperature will be uniform throughout the universe. No process will run anymore. This is the consequence of entropy change. Entropy is the measure of disorder of the universe. Things only get more and more disorder over time. If you put a hot cup of coffee on the table the coffee will be cold. That means entropy will increase. Boltzmann found that atoms plays a fundamental role in the universe. He based the concept of entropy purely on the statistics of the arrangement of atoms and molecules. He was able to define entropy in terms of probability. Microscopic properties of the system gives it macroscopic behavior. Time may be the result of some such microscopic properties of the universe. Time is a one-way street and it has its direction fixed by the thermodynamical property of entropy.

**Histories of our universe:**

Einstein did something quite remarkable. He united history with geography though his theory of relativity. Newton thought that our universe was only run by one master clock. We all share one absolute time. But Einstein radically changed our understanding. Our physical universe evolves through time. Only mathematical language can perfectly explain this accurately. The upshot is that our universe not only has different spatial properties at different location but also it has a history. The geometry of the universe changes with time too. It was very astonishing idea which helped scientist to unlock the secret of the creating and evolution of the universe. We now know that big bang happened some 14 billion years ago. Two scientists were awarded noble prize for sharing their discovery with the world. The relic or leftover from the big bang was experimentally found. This relic is the cosmic background radiation(CMB). The temperature of this CMB matches the prediction of the theory. You can actually see some of this radiation leftover when you tune in the TV in your home. The noise in some blank channel is that radiation coming from the big bang. But this is not the end of the story. The next revolution came from quantum mechanics.

Feynman discovered his famous “sum over histories”. According to the principles of classical physics an object goes from one place to another place in one definite trajectory , which can be determined by Newton’s law of motion. The object has one definite history. But in quantum physics a particle can go through all the paths that are possible. It includes the most bizarre path across the entire universe. It also includes the paths where particles travels backward in time and forward again. The particle has not a single history but an infinite number of histories. Quantum mechanics forbids a single history. So in the context of quantum mechanics it is called “sum over histories”. Similarly when applied to our universe as a whole , it contains a infinite number of histories. Our universe is only one among infinite number of other possible universe. This now brings us to quantum cosmology.

**Quantum cosmology:**

Michio Kaku argued that big bang must be explained in the context of quantum mechanics. Big was a tiny event and universe was like a particle. So we can apply Schrodinger equation at the time of big bang. Our universe must have a wave function. Heisenberg’s uncertainty forbids a single big band accidentally. We can neither locate precisely where it happened nor can know how it happened. This is all quantum mechanical principles which destroys accuracy of measurement. Certain amount of energy can be borrowed from empty space and matter can be created out of nothing to initiate the big bang. Quantum fluctuation can initiate big bang , which was inevitable to happen due to chance. There are a flat infinite stage , where big bang is happening all the time due to this quantum fluctuation. Each big bang is creating a pocket universe all the time , even when you are reading this sentence. This process is called bubble nucleation. The proper theory of this quantum bubble-bath of universes can only be properly described by inflationary cosmology proposed by Alan Guth. The upshot is that the universe can emerge from nothing taking a quantum leap from eternity.

**Consciousness and its relation to physics:**

Consciousness is hard to explain. Why do we feel conscious? Why are we self-aware. It is remarkable that we are the only living organisms who are self-aware. Consciousness arises solely due to our memory system and sensory data that we receive from our five senses. Memory creates the perception of time. If we could not remember the past we could not perceive time. Memory process or functions are associated with certain part of the brain called hippocampus. So memory directly relates to the physical structure of the brain and neurons. Consciousness directly relates to a model that is in our mind. Our mind is continually updating the model based on the sensory data to give us the true perception of reality. We can not know a table by first looking at it. It must match the model in our brain or mind to be properly recognized. I must recall Stephen Hawking’s quote that every reality is model dependent. Through our conscious mind we perceive our reality directly.

The other theory of consciousness is that we are not conscious but the universe as a whole is conscious itself. There are information encoded in the electromagnetic field of spacetime. We are like an antenna leaving information as our memory in the field. Everything is there is the field which is the universal consciousness. We are just experiencing it like everybody else. The difference with the concept of the usual definition of consciousness is the reverse of the flow of information. Now lets return to the connection of consciousness with physics.

Our current understanding of physics is unable to explain consciousness. Everything in physics is computational problem. We can find the solution of a problem in finite number of steps within finite time. We can also compute the numerical solution. All the physics can be called computational physics in this sense. Roger Penrose has argued that our consciousness is something that lies beyond our current understanding of physics. Consciousness can not be computed using the laws of physics existing at present.

**Artificial intelligence:**

Artificial intelligence is the ability which machine can acquire to act and think consciously. Alan Turing first proposed the idea of AI . His hypothetical abstract machine called “Turing machine” was the precursor to modern computer. Although modern computer is constrained by finite memory, ideal Turing Machine has infinite memory storage. So if the computational power increases beyond certain range , all computers can become self aware and intelligence. This higher level of computational power will be called A. I . There are two version of A.I : one is the strong a.i and the other is weak a.i. Strong A.I is the ability for a machine to think like human beings and also gives insight of how the thinking process works. But weak A.I does not give insight about the process of how the mind work. Deep Blue Sea, a computer program , which defeated Kasporav is an example of weak A.I. The rise of machines will be the rise of artificial intelligence. Machines will one day be able to think consciously. The will become conscious and thus will dominate us. Although this is purely a science fiction, some regard it as a serious issue. One of the most notable examples are movies where A.I is portrayed is “Matrix”. In this movie machines have suddenly taken control over human by making them a source of energy.

` `

]]>