Wang Hao (192 1 May 20th-1May 995 13) is a mathematical logician. Originally from Qihe County, Dezhou City, Shandong Province, Jinan City, Shandong Province. 1939 graduated from No.1 Middle School in Jinan, Shandong Province, entered the Department of Mathematics in The National SouthWest Associated University, and studied under mr jin yuelin. 1943 received his bachelor's degree and studied in the philosophy department of Tsinghua University graduate school. 1945 received his master's thesis on the basis of experience and knowledge. Wang Hao was interested in philosophy when he was in middle school. At his father's suggestion, he read Engels' works "Anti-Turin and ludwig feuerbach" and "The End of German Classical Philosophy" in junior high school. From 65438 to 0946, Wang Hao went to Harvard University, where he met W.V.Quine, a famous contemporary American philosopher and logician, and immediately began to learn the formal axiom system he founded. Two years later, he received a doctorate in philosophy from Harvard University. After teaching at Harvard for a short time, I went to Zurich to work with Benaiser. 1954- 1956, lecturer of the second John Locke lecture at Oxford University, senior professor of logic and philosophy of mathematics at the same time, presiding over the discussion class of basic mathematics. 196 1- 1967, a professor at Harvard university. 1967- 199 1 year. He is a professor of logic at Rockefeller University. In the early 1950s, he was elected as an academician of the American Academy of Sciences and later as a foreign academician of the British Academy of Sciences. 1983 was awarded the first "Milestone Award for Mechanical Proof of Mathematical Theorem" by the International Federation of Artificial Intelligence in recognition of its pioneering contribution in the field of mechanical proof of mathematical theorems. He is the author of Introduction to Mathematical Logic, From Mathematics to Philosophy and Godel and Transcendental Analytical Philosophy.
Chinese name: Wang Hao.
Nationality: China.
Place of birth: Jinan, Shandong Province
Date of birth:1921May 20th.
Date of death:1May 1995 13.
Occupation: Mathematical logician
Graduate school: Tsinghua University.
Main achievements: the first "milestone award for mechanical proof of mathematical theorems"
Masterpiece: Mathematical Principles
Character experience
When he was in high school, he accidentally read Logic written by Kim (1935), of which about 80 pages introduced the contents of the first volume of B. Russell's famous book Principles of Mathematics. He realized that these contents were both interesting and easy to understand, so he decided to try to learn easier mathematical logic first, so as to make a basic preparation for studying dialectics in the future. In his freshman year, he took part in Wang Xianjun's symbolic logic class and systematically studied the first volume of Mathematical Principles. And learn German by reading Hilbert Ackerman's Fundamentals of Mathematical Logic (version 1938). After that, I read the first volume (two-volume set, 1934 edition) of Hilbert Berners' Fundamentals of Mathematics. 1942 Listen to the lecture of Wittgenstein (L Wittgenstein, 1889~ 195 1) by Shen Youding, and read Canape (R) to recall this intense and meaningful study life. Wang Hao said: I went from 1939 to. Especially because Mr. Jin () and several other teachers and students share common interests and values, I feel very happy, so I can turn my work into a basic need and become the main pillar in my future life. My wish is that more and more young people in China can have the opportunity to enjoy such a faint happiness! Wang Hao also worked as a math teacher when he was studying (1943~ 1946).
Outstanding contribution
According to Quinn's suggestion, the title of the paper is Economics of Classical Analysis. 65438-0947, began to serve as the teaching assistant of Quine's Higher Logic and Philosophy of Language. 1948 Received Doctor of Science and stayed at Harvard University. 1948~ 195 1 year as a junior researcher, 195l~ 1956 as an assistant professor of philosophy. During 1949 Quinn's temporary absence from Harvard, Wang Hao took his place in the advanced logic class and introduced Godel's incompleteness theorem completely.
life
During the period of 1950~ 195 1, Wang Shu went to the Institute of Mathematics of Swiss Federal Institute of Technology in Zurich for postdoctoral research. 1954 went to Britain to be a Rockefeller Foundation researcher. 1954- 1955, hosted the second John Locke lecture on philosophy at Oxford University, England. 1956 master's degree from belliol college, Oxford university. 1956~ 196 1 as a senior lecturer in philosophy of mathematics at Oxford university. During this period, he presided over a seminar to discuss how to maintain Genstein's views on the basis of mathematics. Most of the leading philosophers of Oxford University attended the seminar. 196 1~ 1967 returned to Harvard as a professor of mathematical logic and applied mathematics. After l967, he served as a professor of mathematics at Rockefeller University and presided over the logic laboratory of the school. 1975 to 1976 visited and worked at Princeton Institute for Advanced Studies.
Hold an important position
From 65438 to 0953, Wang Hao began to study computer theory and machine proof. Because on the one hand, he keenly feels that mathematical logic, which is considered to be too precise in form, very complicated and has no practical use, can play an excellent role in the computer field; On the other hand, because of the establishment of New China, he wants to learn more useful things so that he can come back to serve his motherland in the future. For this reason, he worked as a research engineer of Burroughs Company (1953 ~ 1954), a technical expert of Bell Telephone Laboratory (1959~ 1960) and a visiting scientist of IBM Research Center (1973 ~/kloc-).