Early Years
The development of formal logic played a big role in the field of automated reasoning which itself led to the development of Artificial Intelligence. A formal proof is a proof in which every logical inference has been checked all the way back to the fundamental axioms of mathematics. All the intermediate logical steps are supplied, without exception. No appeal is made to intuition, even if the translation from intuition to logic is routine. Thus, a formal proof is less intuitive, and less susceptible to logical errors.
Some consider the Cornell Summer meeting of 1957, which brought together a large number of logicians and computer scientists, as the origin of automated reasoning, or automated deduction. Others say that it began before that with the 1955 Logic Theorist program of Newell, Shaw and Simon, or with Martin Davis’ 1954 implementation of Presburger’s decision procedure (which proved that the sum of two even numbers is even). Automated reasoning, although a significant and popular area of research, went through an "AI winter" in the eighties and early nineties. Luckily, it got revived after that. For example, in 2005, Microsoft started using verification technology in many of their internal projects and is planning to include a logical specification and checking language in their 2012 version of Visual C.
Read more about this topic: Automated Reasoning
Famous quotes containing the words early and/or years:
“I looked at my daughters, and my boyhood picture, and appreciated the gift of parenthood, at that moment, more than any other gift I have ever been given. For what person, except one’s own children, would want so deeply and sincerely to have shared your childhood? Who else would think your insignificant and petty life so precious in the living, so rich in its expressiveness, that it would be worth partaking of what you were, to understand what you are?”
—Gerald Early (20th century)
“Self-esteem evolves in kids primarily through the quality of our relationships with them. Because they can’t see themselves directly, children know themselves by reflection. For the first several years of their lives, you are their major influence. Later on, teachers and friends come into the picture. But especially at the beginning, you’re it with a capital I.”
—Stephanie Martson (20th century)