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

http://www.youtube.com/watch?v=SudixyugiX4
No comments:
Post a Comment