Retrospective: An Axiomatic Basis for Computer Programming

-
http://cacm.acm.org/magazines/2009/10/42360-retrospective-an-axiomatic-basis-for-computer-programming/fulltext

Comments

Post a Comment

Popular posts from this blog

Contentment

-
http://www.happinessclub.com/FairfieldCitizen/032206.htm " Happiness is now being defined in two ways. The first way is happiness as it relates to having good humor. The second is happiness as it relates to inner satisfaction. It is here under the second definition that contentment is properly defined." " Contentment is happiness with one's situation in life." "Until you make peace with who you are, you'll never be content with what you have." " Seeking approval from other people in order to feel satisfaction, creates many problems. We have all heard about people who try to become famous so they can be happy. They are trying to feel good about themselves through the approval of others. No matter how much approval or fame you receive, it will never be enough. The more you get, the more you think you need. So satisfaction is never found out there, or by the approval you receive from other people." " True happiness stems from a quality
Read more

Time management tips

-
http://timeman.com/time-management-tips/time-management-tips-for-getting-results *) Many people concentrate on what I call “ant stomping” when they should concentrate on “elephant hunting.” When you focus on stomping ants you confuse activity with accomplishment. *) You’re going for the small insignificant tasks that are easy to do. They can be done quickly, so you give yourself the illusion that you’re really accomplishing a lot, when in actuality you’re getting further and further behind because you’re overlooking the elephant hunting. *) Elephant hunting means to pursue significant projects that have long-term payoffs for you. If you’re busy stomping ants all day long, you might not even be aware that you’re totally ignoring some of your elephants. *) Solving problems is “fire fighting.” You’d be better off in the long run figuring out how to prevent fires in the first place instead of constantly reacting to problems. Preventing fires puts us ahead of the game–and saves
Read more

Free Will versus the Programmed Brain

-
http://www.sciam.com/article.cfm?id=free-will-vs-programmed-brain&sc=WR_20080826 People are starting to understand that a human being is just a collection of neurons. Things are determined. Humans are behaving as per how the brain works. Brain has 100 billion neurons and the complex connections help in the complex behaviour. Neurons are so big that there is no place for uncertainty principle or principles of quantum mechanics. Or could it be that the dendrites and axons are smaller than neurons that uncertainty principle may apply. I guess that even if that is true, it may not be the reason for the stable complex behaviour and free will. But overall I do believe that a human brain is a determined machine. Quantum uncertainty would not apply. At the same time, I would say that every human being is morally responsible for his own actions. Another way of saying this is that my brain is determined to say that "things are determined but I am morally responsible for my own actio
Read more