Allen Mathison Turing (19 12~ 1954), a famous British mathematician, logician and cryptographer, is known as the father of computer science and artificial intelligence. Born in Paddington, England on June 23rd, 2002, 19 193 1 entered King's College, Cambridge University, studied under the famous mathematician Hardy, 1938 received his doctorate from Princeton University, and returned to Cambridge after the outbreak of World War II. He helped the military to crack the famous German cryptographic system Enigma and helped the Allies win World War II. 1954 died in Manchester on June 7th.
Turing is the founder of computer logic and put forward some important concepts such as "Turing machine" and "Turing test". People specially set up the Turing Award to commemorate its outstanding contribution in the computer field.
Friedrich Ludwig Gottlob Frege (German: Friedrich Ludwig Gottlobfrege, IPA:/? ɡ? tlop？ f？ e？ ɡ? / ; 1848165438+1October 8-1July 26, 925), a German mathematician, logician and philosopher. Is the founder of mathematical logic and analytical philosophy.
Petrus Ramus (French: Petrus Ramus, 15 15- 1572 August 26th), also known as Pierre Delara May (French: Pierre drame), is a French male humanist, logician, philosopher and educational reformer. He was killed in the San Bartholme massacre in 1972.
Mr. Shen Youding (1908-1989) is a famous logician, philosopher and educator in modern and contemporary China, and a pioneer, pioneer and genius in the field of logic in China. Specializing in mathematical logic and the history of Chinese and western logic. He used to be a professor of Tsinghua University, The National SouthWest Associated University and Peking University, and a researcher of China Academy of Sciences and Institute of Philosophy of Chinese Academy of Social Sciences. He is a famous scholar at home and abroad.