First, learn the syllogism
Aristotle's most important job is in the logic of the doctrine of the syllogism. Including a syllogism is a
have demonstrated major premise, a minor premise and a conclusion three parts. There are many different kinds of syllogisms, each of which scholastic
scholar gave has a name. Best known is called "Barbara" what kind of ①:
Every dog has died (major premise).
Socrates is a man (minor premise).
So: Socrates mortal (conclusion).
By the logic of the syllogism I got to know the origin.
Then we watched a little story
Three logicians want to be together after work drink so went to a bar. I asked the waiter says, "all of you a cup of beer, how?" Then answer made him very puzzled.
The first person says, "I do not know."
The second man said, "I do not know."
If you are a waiter, you should give them end to how much beer?
Please note that the three logicians seemingly inexplicable, in fact, is to ask the waiter replied:
The first logician said, "I do not know," referring to his own willingness cup of beer, but do not know what other people want to drink, how much to drink; the second person, "I do not know" It refers to the same meaning. If they do not want to drink beer, or not as long as a cup, would answer "no" or "I'll have two cups."
When the third logician speak, he has been very clear that his two companions have a beer, so his "good" means that he also points a glass of beer. So, should the waiter brought them cups of beer.
This story reflects the rigor of logic , and we usually use computer programming, each step can not be skipped, according to logic execution, similar logic of the machine, what we need training.
Then we understand the logic of the development of the dark time, all kinds of fallacies shaken the foundations of mathematics, leading scientists exhausted endless.
Fortunately, through the efforts of Russell published Principia Mathematica, and thus saved the world theory on the verge of collapse. (Ps: it took three one hundred prove that 1 + 1 = 2, regressed)
Then know this big cow called the founder of the computer
In today's electronic world, we often hear the word "Boolean" variable is called - only two values, 1 or 0, TRUE or FALSE-- is named after him. Some people might think, "What a silly invention of ah! Who would have demand to use this variable ah." But history is always strikingly similar, in fact, a Boolean variable is just a byproduct of George Boole contributed to logic .
Famous before George Boole, mathematics and logic have been individually developed 200 years. He Boolean algebra by this concept, combine the two disciplines together. After creating the field of mathematical logic, a series of new exploration have been driven up, such as general-purpose computing.
The initial goal of George Boole hair Ming Buer variables, want to reproduce the results of operations of classical logic through a series of mathematical axioms. He began to study the classical algebra, such as x, y variables, subtraction, multiplication and division this.
At first, he found a lot of similarities between classical algebra and logic. For example, p and p (here, and indicates "and" operation) and q and p are the same, as q * p = p * q. However, if further investigated, they discovered or different. Such as p * p = p ^ 2, but p and p or p. This ambiguity, George Boole's idea is: still use the classic algebraic symbols, but add some additional axioms can result shows the vast majority of the logic.
George Boole formal mathematical language to describe this theory. But for decades, these theories and constantly being revised, from the experience of the last century, the simpler form gradually being discovered. After, that is, 16 years ago, Stephen Wolfram (ie, author) ended the long evolutionary history. Previous work has demonstrated to a simple axiom system is entirely feasible, Stephen proposed, in fact, only an axiom that is enough.
No George Boole boolean invention and which engage in operations with non-computer ah, the big brother's life is still very far away from the computer, except to say Niubi.
The next big brothers can be said to be the father of the computer, he created the Turing machine is a prototype of the modern computer, his name is the computer industry's Turing Award Grand Prize
艾伦·麦席森·图灵（英语：Alan Mathison Turing，1912年6月23日—1954年6月7日），英国数学家、逻辑学家，被称为计算机科学之父，人工智能之父。1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，第二次世界大战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统恩格玛，帮助盟军取得了二战的胜利。
牛逼，大佬改变世界
最后做了一个人工模拟门电路的实验，虽然太快了没理解清楚，但是对计算机的基本操作有了认识
通过高低电平表达二进制数字0和1，通过各种门电路实现逻辑的转换