Showing posts with label mathematics. Show all posts
Showing posts with label mathematics. Show all posts

Wednesday, August 25, 2010

The Essence of Intuition and Its Role in Physical/Mathematical Discoveries

I have been thinking about the role of intuition in physical discoveries and mathematical reasoning. Intuition is a great tool that we have developed in order to navigate through the world around us. If one stops to think, intuition or common-sense is a crude and simple form of mathematical logic and a set of definitions that are based on what is around us. Our intuition can only comprehend finite and discrete things, as these are the things that we deal with in our lives. Furthermore, we build a conceptual framework by categorizing and naming how the things around us seem to us. Thus, say things like “this is a particle, that’s a wave.” And we use analogies to “understand” things by saying like “The particle acts like a bullet here, etc.” However, the whole universe is a much much more complicated mathematical structure which goes beyond the simple logic that evolution and experience have equipped us with. The remarkable fact, however, is that we have come to learn mathematical logic and discover nature through its most basic logic. Well maybe it is not that surprising after all since we are ourselves one of the products of this mathematical structure – the universe looking back at itself.

As we enter new realms of reality through experimentation or mathematical reasoning, we often discover “counter-intuitive” realities. If one does not have the right approach, the struggle to “understand” becomes really frustrating. One has to realize that our intuitive understanding is only designed for quick navigation for only a small portion of the vast mathematical reality. Therefore, none of our discoveries are counter-intuitive because we simply do not have any intuition for those contexts. For example, some people might find the fact that 1 = 0.99999… very counter-intuitive. But the point is that we do not have any intuition about something that is infinitely continued. I would only call it counter-intuitive if one shows that 0.9 = 1 or that a large sphere can fit in a smaller one, because those are the things that I have developed intuition for. But these things are mathematically false and so I don’t have to worry about them. The point is that intuition is a tool that has been developed out of mathematical logic and our intuitive understanding is limited to our context. Another example of the misuse of intuition is quantum mechanics. One cannot say the behaviour of things (I say “things” for the lack of a better word) is counter-intuitive at the quantum level, because we have not developed any intuition for that scale; its neither intuitive nor counter-intuitive.

Nevertheless, intuition can still be really helpful at times. After all, its our brains’ natural mode of thinking and reasoning. One very simple example of how intuition might be helpful could be analyzing the motion of a ball rolling down an incline. Generally-speaking, circular motion is not the most intuitive concept, but instead of taking the integral of the forces on all the points in and on the ball in its initial state in order to find the torque, we can quickly say that there is no torque due to gravity because of the symmetry of the ball. Note that this is still mathematical reasoning, but it’s the kind of reasoning that we are intuitively good at and it can save us a lot of time and effort.

All in all, it is important to realize the capabilities and limitations of our intuition. When used properly, it can boost our problem-solving and give us directions, and when used improperly it can prevent us from developing our understanding of nature.

Friday, August 13, 2010

The Strange Effectiveness of Mathematics

Lately I have been preoccupied with the rather philosophical question of why we are able to discover physical laws through mathematics; or put another way, why does the universe follow mathematical laws and a consistent line of reasoning. One could also go on to ask if mathematics is a human invention or an independent entity that is being discovered bit by bit by humans

Some say mathematics is a form of language invented for the purpose of formulating and describing the world around us and thus there is no sense in asking why it is so effective. I do not agree with this. Firstly, mathematics is not a language, it is a logic system. Furthermore, what is so interesting and astonishing about the power of math is not that it can describe the world around us, but that it can make predictions. Unlike the other sciences, in physics one can deduce new ideas and principles mathematically. I recommend reading “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” by Eugene Wigner (http://hiperc2.buffalostate.edu/~carbonjo/documents/Wigner.pdf) and its follow-up, “The Unreasonable Effectiveness of Mathematics” by R.W. Hamming (http://nedwww.ipac.caltech.edu/level5/March02/Hamming/Hamming.html) to understand the power of mathematics.

As I was reading different ideas about and nature and relation of mathematics to science, I came across the Mathematical Universe Hypothesis proposed by Max Tegmark. Tegmark’s hypothesis states that our external physical reality is a mathematical structure. Tegmark extends his idea to say every mathematical structure has physical reality and our universe is just one mathematical structure, out of many, that has been complex enough to allow us to evolve in it (anthropic principle). The purpose of this post is not to discuss the details of Tegmark’s ideas (which can be found here:http://arxiv.org/PS_cache/arxiv/pdf/0704/0704.0646v2.pdf) but to discuss my own thoughts in regard to the questions proposed in the beginning of this post. The source and effectiveness of mathematics are no longer puzzling if, as Tegmark says, “our universe is mathematics in a well-defined sense.” After all, the universe follows mathematical logic and physicists follow this line of logic to discover how nature works. Maybe developing mathematics is ultimately a journey of discovery – a unique form of discovery which progresses through creativity in the use of the logic that comes to us from nature.

One of the challenging ideas about this school of thought is the relationship of mathematical equations and their interpretations. I find one good example of this to be the equations of quantum mechanics. Our mathematical model of quantum mechanics seems to accurately describe what happens at the quantum level, and their implications have been consistently proven. Yet, there are many interpretations of quantum mechanics that attempt to give some physical meaning to the mathematics of the theory. If the universe is a purely mathematical construct, then there should not be different candidates of reality arising from a single mathematical theory. If this is true, then surely there is more than mathematics to the reality and truth that physicists attempt to understand. However, I do not believe this to be the case. The important point important point is that each scientific interpretation assumes a different and distinguishable mathematical structure. For example, in quantum mechanics the Many Worlds interpretation introduces a unique mathematical system in which the collapse of the wave function is associated with splitting the universe into mutually unobservable, alternate histories—distinct universes within a greater multiverse.Obviously this is a completely distinct mathematical landscape than the Copenhagen interpretation for instance. Therefore, the existence of many interpretations for the same set of mathematical laws is not because mathematics does not completely define reality, but the fact that we do not have the complete mathematical landscape of reality. In fact, conceptual and non-mathematical ideas are just shortcuts for us to examine possible mathematical structures, which will be proven right or wrong through experimentation or further mathematical reasoning as other laws get discovered. All in all, conceptual interpretations are a starting point to get to the ultimate mathematical reality, not the other way around.

Saturday, May 15, 2010

Irrationality Proofs

Number theory has always been a fascinating topic to me. If one stops and thinks, the concept of irrational numbers is a very intriguing one; numbers that we cannot determine the exact value of. For example we cannot locate the exact value of √2 on the number line. I find this idea very strange and curious.

To be more precise, irrational numbers are those that cannot be expressed as the ratio of two integer numbers. One interesting approach is to examine irrational numbers by continued fractions. Every number can be written as a continued fraction in the form of


This is an alternative to decimal representations, which is not based on a specific base number. For example:

Irrational numbers are in fact produced from infinite continued fractions. For example:

The value of a number can be approximated to different accuracies by truncating the continued fraction at different poinst.

Determining the continued fraction for an irrational number is also very interesting and I might cover it in a later post. In this post, I am going to prove the irrationality of some numbers such as √2 and π.

Irrationality of √2:

This is proof by contradiction. Let’s assume there is a simplified fraction a/b which is equal to √2.

a/b=√2

a=b√2

a^2=2b^2

∴a^2 | 2

∴a|2 since a∈Z

Since a is even, b cannot be even (since a/b is a simplified fraction).

Since a is even, there should be an integer k for which a=2k.

(2k)^2=2b^2

4k^2=2b^2

b^2=2k^2

∴b^2 |2

∴b|2 since b ∈Z

But b cannot be even. Since a and b are both even, a/b is not a simplified fraction. Therefore, by proof by contradiction, √2 is irrational. Specifically, this is called proof by infinite descent.

Irrationality of π:

This proof is much more difficult and interesting. We are again going to use proof by contradiction. Since this proof involves a lot of exponents, derivatives, and integrals, I have written the proof in Microsoft Word and I am going to upload it here as images.

In future posts I might show irrationality proofs of other numbers as well as proof of transcendence, which is another interesting property of some numbers.

Monday, May 10, 2010

Computing a Theory of Everything

Stephen Wolfram has initiated an interesting approach in studying the physical universe. He tries to create our physical universe out of the much more diverse computation universe, the vast abstract universe of computation and mathematics.

Wolfram has created Mathematica and Wolfram|Alpha, two very powerful mathematical/computational tools. He is also the author of "A New Kind of Science" (which is available online). Wolfram has established a new kind of science (as he calls it) which examines the complexity of systems from very simple computational rules.

In his talk at TED, he outlines this idea and how it relates to our physical world, in the sense that our seemingly complex universe could be the product of simple rules which could be simulated in computers. Wolfram has done much research on this issue and has actually created universes that come very close to ours.

I personally believe that this approach is very valuable and successful. Our understanding of nature lies in understanding complexity in systems consisting of different parameters. Not only will this approach make contributions to theoretical physics (hopefully), but it will also allow us to understand much more complex systems such as those in biological organisms. Something as complex as the brain can only be studied from this approach.
As a matter of fact, a very interesting field named Computational Neuroscience is being established. Many mathematicians, programmers, neuroscientists, and physicists will come together to study the brain from a computational point of view. I personally cannot wait to see what will come out of this in the upcoming years.