Saturday, June 20, 2015

The "Reality" of math and logic

Logic has been used as a methodology even before its formalization. In order to survive, our progenitors had to be able to deduce whether a particular place or event was dangerous. These more earlier versions of ourselves, needed to determine what was safe to eat and where food was located. In this sense they were using logic intuitively.

As societies evolved, we became aware of a need for a system of accounting. We developed symbols to serve as abstract models for real world objects. Empirically , we can demonstrate the need for a modeling system. We can also demonstrate that these models of real world objects work. The models functionality means they can be used for future discoveries, and aids in civilization building.

Enumeration permeates our entire civilization and history on multiple levels. It observably exists separate from language. From the simplest counting systems, patterns began to emerge. The laws of mathematics became more complex, and a method of proof was needed that was empirically verifiable. The earliest proofs were purely empirical as used by the Pythagoreans and Thales of Miletus. Over time, mathematical proofs slowly became less heuristic and a formalized system of logic was becoming more prominent. Logic was largely an emergent aspect of these methods of empirical verification. The methods of logical proof slowly grew over the next two and half centuries from Thales around 550 BCE to Euclid around 300 BCE. Euclid is credited with formulation of the axiomatic method of proof.

The Euclidean style of proof through axioms, appears assumptive, or only justifiable a priori.
The axioms served as descriptions or definitions of geometric objects. The definitions could be demonstrated empirically in general, but they did rely on assumptions. For example, take the statement 2 points determine a line. This is a postulate proposed as self-evident, and deduced from it is many other theorems. If you were to take this as meaning all statements derived rely on a non-empirical premise you would be incorrect. The statement can be demonstrated as empirically true. You would simply have to draw a line through only one point. The line drawn, would be a point and not a line. To construct a line you would have no choice but to have it pass through multiple points. So, we can see the statement is both self-evident and empirically demonstrable.

The evolution of mathematical systems of proof allowed for a more formalized system of logic. All of which finds its origins in our innate pattern recognition. The ability to recognize patterns and natural desire to seek them out led to the mathematical modeling of real world objects. The modeling techniques made a complete system of logic and mathematics more easily constructed and shared. We formulated logical and mathematically complete laws and theorems from some of the simplest models.
We see that these models are intuitive,empirical, and justified in their use.



Tuesday, June 2, 2015

Positional Notation

Positional Notation



Our number system is base ten, as many learned in elementary school. Which means that there is only ten symbols to represent numbers. 0,1,2,3,4,5,6,7,8,9 . To represent ten we use 1 and 0 (10). Which when we learned place value, we recognized this as 1 in the tens place and 0 in the ones place. What this means is that the position of the symbol will determine the value of the number. For example when we see the symbol 34 we recognize it as 3 tens and 4 ones. We would often see something like:
Tens ones
3 4



 We are mostly taught this and just accept it as is and move on. To dig a little deeper into to place value I will introduce a new way of looking at this (Positional Notation) . To rewrite our example ,34, into positional notation we get this:



3 x 10¹ + 4 x 10º



The reason I write it this way is that is represents a number as powers of the base it is in. In this case it is base 10. Positional notation gives us a way of looking at numbers relevant to their base. The reason this is useful to learn, is that it gives us a quick way to convert numbers from other bases to base ten. For example, if you need to convert the number 101 in binary to base 10 you can rewrite 101 in positional notation and convert it easily. Since 101 is in binary we will use powers of 2 instead of 10 and we get



1 x 2² + 0 x 2¹ + 1 x  2º
1 x 4 + 0 x 2 + 1 x 1
4 + 0 + 1
5


As you can see from the table above just by rewriting the number into positional notation relevant to the base it is in you add it all up and you get the number in base 10. So when we convert 101 from binary to base ten we get 5.


 This is just a neat little trick I use to quickly convert numbers from other bases to base 10. With a little practice, you can convert numbers from most bases back to base ten almost effortlessly. There is other ways of converting number to other bases, I just really like this one.    

Monday, June 1, 2015

Kindergarten Math worksheets

I know that I haven't posted in a while, I have been very busy getting my daughter ready to start kindergarten. In doing this, I found that worksheets have been extremely helpful. So I created a few math worksheets of my own to help out. I decided I would share them with you so you may download and print the the worksheets below.  You may need to open them on a new page to get them zoomed to the right size for printing.