Sunday, February 19, 2012


Mathematics… (Say What?)

Initially, when people think about the field of mathematics many think about number crunching and intense/confusing calculations involving the use of various algorithms.  However, true this may be, mathematics is much more than this and a large portion of mathematics involves little to no number crunching/calculations!

The core values in the field of mathematics are LOGIC and TRUTH. 

The field of Mathematics is based off of a set of axioms (i.e. statements) from which theorems, postulates, and lemmas can be deduced (i.e. true statements).  For example, a famous axiom set proposed by Hilbert to help develop the field of geometry looks like such:
Undefined Terms: point, line, incidence, betweenness, and congruence.
Incidence Geometry
AXIOM I-1: For every point P and for every point Q not equal to P there exists a unique line l that passes through P and Q.
AXIOM I-2: For every line, l, there exist at least two distinct points incident with l .
AXIOM I-3: There exist three distinct points with the property that no line is incident with all three of them.

One of the theorems deduced from this axiom set is known as the Crossbar Theorem which states:

If ray AD is between rays AC and AB, then ray AD intersects line segment BC.

In simpler words this theorem basically states that if we have a triangle ABC with a line that passes through the one of the vertexes such that the line passes through the interior of the triangle, then the line must intersect another side of the triangle.

It may seem redundant to actually prove this, but a large part of mathematics is proving what is seemingly obvious.  For example in an introductory proving course a person may actually prove 1 + 1 = 2 !

Overall, mathematics is about pattern and structure.  Mathematicians use logical analysis, deduction, and calculations within these patterns and structures.  Which, to state again, mathematics main emphasis is on LOGIC and deriving statements based off statements known to be TRUE (i.e. theorems, propositions, etc).  Mathematics main purpose is to extend on these theorems and propositions to find new patterns/structures and then see if these new findings relate to other fields (i.e. computer programing, biology, physics, chemistry, ecology, oceanography, etc.).  In a way, mathematicians prove true statements/ find patterns before we even know/understand how they relate to the real world or other fields. 

However, once a connection is made between the math and a practical application the ramifications are endless.  This can be seen in many fields such as:

·        Physics (quantum theory)

·        Biology (relations to the way DNA unknots itself before dividing)  

·        Computer science (algorithms behind programming languages and the use of fractals as a practical tool for compressing data on computer disks). 

There are also everyday fun practical applications that abstract mathematics gives us as well!  For example, the mathematics which go behind solving a Rubik’s cube.  Here a very complex series of steps can be reduced to relatively few simple algorithms. 


The link below goes over the math and shows the “everyday person” how to solve any 3 X 3 Rubik’s cube.

http://web.mit.edu/sp.268/www/rubik.pdf

<script type="text/javascript" language="javascript">var fid=12494;var pid=""</script><a href="http://www.goodcounter.org/" title="Free Counter"><script type="text/javascript" language="javascript" alt="Free Counter" src="http://goodcounter.org/counterz.js"></script></a><noscript><img src="http://goodcounter.org/counterz.php?i=12494&jj=no" border="0"></noscript><br /><!-- You are about to exprience the best FREE Counter Software in The World. Enjoy! Do Not Change the Code in any way so you can Keep Enjoying it to an unlimited amount of Time.-->

5 comments:

  1. Very interesting read Ms. Kolars, but since you brought up the idea of proofs I was wondering what your favorite proof/lemma/formula is? Mine is probably Euler's formula or Fermat's last theorem because they do what everyone expects mathematics to do beautifully; they condense a complex phenomenon or idea into an inch long equation. (Fermat's last theorem also has a nice documentary about it if you haven't seen it: http://www.youtube.com/watch?v=7FnXgprKgSE).

    ReplyDelete
    Replies
    1. Wow surprised to see that someone else is interested in proofs! My favorite proof is currently the Euler-Maclaurin Summation formula partially because I'm doing my Capstone project on it (so I'm bias).

      Otherwise a fun one is why every positive number is interesting:

      Theorem: Every positive integer is interesting.

      Proof - Assume towards a contradiction that there is an uninteresting positive integer. Then there must be a smallest uninteresting positive integer. But being the smallest uninteresting positive integer is interesting by itself. Contradiction!

      Delete
  2. Nice introduction to the field of mathematics. People so often don't realize how many ways we are able to improve life or invent new things from mathematical research which at first may seem useless.

    From the examples that you gave, it seems that you're most interested in the geometric side of things?

    ReplyDelete
  3. This was very informative. :) Good work. -Joe Lutovsky

    ReplyDelete