Wednesday, March 18, 2009

Logic

It’s about 10:33 pm, I’m sitting in a comfortable computer chair thinking to myself, “oh god, do I really wan to write this entry”… but being the genuine guy I am, I felt implied to do so.
This week I’ve been thinking about life, and what it is composed of. As a software developer, I like to try and relate reality in terms of a computer. At times this can be difficult, but one concept that fits well is logic. Logic can be defined in two ways:
* formal
* informal
Formal is the definition mathematicians tend to use. They enjoy systematically proving propositions by examining if the concluding directly draws from their hypothesis, although there are many methods for proving propositions, my favorite in particular
proof by contradiction

Informally, logic could be described as an intellective process that involves solving a particular problem intuitively. As humans grow, so do their understanding of the world. i.e. logic would tell a person if something is hot then don’t touch it or you will be burnt. Ironically enough this statement could be expressed in symbols using discrete mathematics. Note that in the real world, quantities are generally expressed in a continuous manner. Although in the digital world this is quite the inverse. With that said I invite you to check out this YouTube video I found of a guy replicating logic using dominoes, enjoy…
http://www.youtube.com/watch?v=SudixyugiX4

No comments:

Post a Comment