Current location - Training Enrollment Network - Mathematics courses - What is the allusion of spirit?
What is the allusion of spirit?
Alan turing (19 12) was born in London, England on June 23rd, 2002. He is regarded as one of the most famous mathematicians in the 20th century. No one expected that his name would be associated with the computer industry. In the 20th century, mathematicians are discussing one of the greatest scientific discoveries of this century-Gint Godel's incompleteness theorem. Until now, mathematicians have always believed that although it may be difficult to find an answer to a mathematical problem, there is always a definite answer and a mathematical proposition in theory, and the answer is true or false. Godel's incomplete theorem points out that there is always such a proposition in a slightly complicated mathematical axiom system, and we can neither prove its truth nor prove its falsehood. Mathematicians are surprised to find that there is such disturbing uncertainty in mathematics that used to be considered absolutely strict. Every logician is thinking hard, trying to find a way out for mathematics in crisis. These logicians include Bertrand Russell, alfred whitehead, Ludwig Wittser and other famous logicians in Cambridge at that time. Turing is studying in Cambridge at this time, and he is also troubled by this problem. 1936, Turing made the most important scientific contribution in his life. In his famous paper "Computer Number and Its Application in Entscheidungs- Problems" based on Boolean algebra [i], he expressed and completed any proposition in logic (that is, mathematical symbols) with a general machine. This paper is regarded as the pioneering work of modern computer principles. It describes an imaginary machine that can realize general calculation, and is later called "Turing Machine". This imaginary machine consists of a controller and an infinitely long working belt at both ends. The workspace is divided into squares of the same size, in which symbols of a given alphabet are recorded. The controller has a read-write head, which can move left and right on the working belt as needed. With the movement of the controller, the read-write head above can read the symbols on the grid and rewrite the symbols on the grid. This machine can perform various operations and can be used to prove some famous theorems. This is the earliest model of general-purpose computer. Turing also proved the possibility of this virtual machine in theory. Although Turing machine was just a dead letter at that time, its thought laid a theoretical foundation for the development of modern computers. 1945, Turing was transferred to the National Institute of Physics. Combining his years of theoretical research and wartime experience in making code breakers, he drafted a report on the development of automatic computer engine (ACE) to realize his own design idea of general computer. Through long-term research and in-depth thinking, Turing predicted that one day computers could acquire intelligence that could compete with human beings through programming. 1950+00 In June, Turing published a book entitled "Can Machines Think? This paper caused a great shock in the field of computer science and laid the foundation for the establishment of artificial intelligence. In the same year, Turing spent 40,000 pounds to successfully develop an ACE prototype with about 800 electron tubes. Its storage capacity is much larger than Eniac [ii]. At the public demonstration meeting, it was considered as one of the fastest and most powerful computers in the world at that time. Turing also designed the famous "The Imitation Game Test", which was later called "Turing Test". In this experiment, a questioner and a computer are isolated in two rooms, so that the questioner can take a quiz in a way acceptable to both employers and computers. If the questioner can't tell whether the respondent is a human or a machine, it proves that the computer has human intelligence (the famous "Turing Test" [iii] held by Boston Computer Museum in 1993 fully verified Turing's prediction). This reminds me of the man-machine war between Deep Blue, a computer developed by IBM, and Kasparov, the world chess champion, which ended with Deep Blue defeating Kasparov. We have to admire Turing's genius prediction. Von Neumann [IV], the father of modern computer, said modestly many times before his death: If the ideas put forward earlier by Babbage [V] and others are not considered, the concept of modern computer should belong to alan turing. Von Neumann can put the crown of "father of computer" on Turing's head, who is 10 years younger than himself, which shows Turing's great influence on computer science.