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.
随便看	tangue tanguile tangun tangun accession day tangun day tanguska event tangut tangut language tanguts tanguy tanguy yves tanguy, yves tangv tangwhaup tangy tang yin tangyur tanh tanha tan her hide tan hide tan his hide tanhr tan hsiang tanhumeth