Stephen Kleene

(person)Professor Stephen Cole Kleene (1909-01-05 -1994-01-26) /steev'n (kohl) klay'nee/ An Americanmathematician whose work at the University of Wisconsin-Madison helped lay the foundations for moderncomputer science. Kleene was best known for founding thebranch of mathematical logic known as recursion theory andfor inventing regular expressions. The Kleene star andAscending Kleene Chain are named after him.

Kleene was born in Hartford, Conneticut, USA. He received hisbachelor of arts degree from Amherst College in 1930. From1930 to 1935, he was a graduate student and research assistantat Princeton University where he received his doctorate inmathematics in 1934. In 1935, he joined UW-Madisonmathematics department as an instructor. He became anassistant professor in 1937.

From 1939 to 1940, he was a visiting scholar at Princeton'sInstitute for Advanced Study where he laid the foundationfor recursive function theory, an area that would be hislifelong research interest. In 1941 he returned to Amherst asan associate professor of mathematics.

During World War II Kleene was a lieutenant commander in theUnited States Navy. He was an instructor of navigation at theU.S. Naval Reserve's Midshipmen's School in New York, and thena project director at the Naval Research Laboratory inWashington, D.C.

In 1946, he returned to Wisconsin, eventually becoming a fullprofessor. He was chair of mathematics, and computer sciencesin 1962 and 1963 and dean of the College of Letters andScience from 1969 to 1974. In 1964 he was named the CyrusC. MacDuffee professor of mathematics.

An avid mountain climber, Kleene had a strong interest innature and the environment and was active in many conservationcauses. He led several professional organisations, serving aspresident of the Association of Symbolic Logic from 1956 to1958. In 1961, he served as president of the InternationalUnion of the History and the Philosophy of Science.

Kleene pronounced his last name /klay'nee/. /klee'nee/ and/kleen/ are extremely common mispronunciations. His firstname is /steev'n/, not /stef'n/. His son, Ken Kleene, wrote: "As far as I am aware thispronunciation is incorrect in all known languages. I believethat this novel pronunciation was invented by my father."

gopher://gopher.adp.wisc.edu/00/.data/.news-rel/.9401/.940126a.

单词	stephen kleene
释义	Stephen Kleene Stephen Kleene (person)Professor Stephen Cole Kleene (1909-01-05 -1994-01-26) /steev'n (kohl) klay'nee/ An Americanmathematician whose work at the University of Wisconsin-Madison helped lay the foundations for moderncomputer science. Kleene was best known for founding thebranch of mathematical logic known as recursion theory andfor inventing regular expressions. The Kleene star andAscending Kleene Chain are named after him. Kleene was born in Hartford, Conneticut, USA. He received hisbachelor of arts degree from Amherst College in 1930. From1930 to 1935, he was a graduate student and research assistantat Princeton University where he received his doctorate inmathematics in 1934. In 1935, he joined UW-Madisonmathematics department as an instructor. He became anassistant professor in 1937. From 1939 to 1940, he was a visiting scholar at Princeton'sInstitute for Advanced Study where he laid the foundationfor recursive function theory, an area that would be hislifelong research interest. In 1941 he returned to Amherst asan associate professor of mathematics. During World War II Kleene was a lieutenant commander in theUnited States Navy. He was an instructor of navigation at theU.S. Naval Reserve's Midshipmen's School in New York, and thena project director at the Naval Research Laboratory inWashington, D.C. In 1946, he returned to Wisconsin, eventually becoming a fullprofessor. He was chair of mathematics, and computer sciencesin 1962 and 1963 and dean of the College of Letters andScience from 1969 to 1974. In 1964 he was named the CyrusC. MacDuffee professor of mathematics. An avid mountain climber, Kleene had a strong interest innature and the environment and was active in many conservationcauses. He led several professional organisations, serving aspresident of the Association of Symbolic Logic from 1956 to1958. In 1961, he served as president of the InternationalUnion of the History and the Philosophy of Science. Kleene pronounced his last name /klay'nee/. /klee'nee/ and/kleen/ are extremely common mispronunciations. His firstname is /steev'n/, not /stef'n/. His son, Ken Kleene, wrote: "As far as I am aware thispronunciation is incorrect in all known languages. I believethat this novel pronunciation was invented by my father." gopher://gopher.adp.wisc.edu/00/.data/.news-rel/.9401/.940126a.
随便看	advisory committee for operational hydrology advisory committee for public art advisory committee for reactor physics advisory committee for reactor safeguards advisory committee for reproductive health drugs advisory committee for safety, hygiene and health protection at work advisory committee for scotland advisory committee for student athletes advisory committee for students with disabilities advisory committee for the center for human radiobiology advisory committee for the co-ordination of information systems advisory committee for the health professions advisory committee for the nations and regions advisory committee for trade negotiations advisory committee for trade policy and negotiations advisory committee for vocational training advisory committee for young anatomists advisory committee meeting advisory committee of deputy ministers of education advisory committee of experts on marine resources research advisory committee of population health and security anthoecology anthography anthogyas anthoid