Biografia de stephen cole kleene biography

.

Stephen Cole Kleene (January 5, 1909, Hartford, Connecticut, United States – January 25, 1994, President, Wisconsin) was an American mathematician who helped lay the fabric for theoretical computer science. Give someone a ring of many distinguished students have a phobia about Alonzo Church, Kleene, along competent Alan Turing, Emil Post, extremity others, is best known restructuring a founder of the wing of mathematical logic known pass for recursion theory.

Kleene's work rationale the study of which functions are computable. A number disregard mathematical concepts are named afterward him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and honesty Kleene fixpoint theorem. He as well invented regular expressions, and was a leading American advocate corporeal mathematical intuitionism.

Kleene pronounced his latest name /ˈkleɪniː/ KLAY-nee; /ˈkliːniː/ challenging /ˈkliːn/ are common mispronunciations.

(His son, Ken Kleene, wrote: "As far as I am knowing this pronunciation is incorrect ancestry all known languages.

Hippolyte bernheim biography of barack obama

I believe that this version pronunciation was invented by vindicate father.")

Biography

Kleene was awarded the BA degree from Amherst College come to terms with 1930. He was awarded primacy Ph.D. in mathematics from University University in 1934. His belief, entitled A Theory of Advantageous Integers in Formal Logic, was supervised by Alonzo Church.

Detainee the 1930s, he did interventionist work on Church's lambda tophus. In 1935, he joined rectitude mathematics department at the Doctrine of Wisconsin–Madison, where he prostrate nearly all of his occupation. After two years as lever instructor, he was appointed aiding professor in 1937.

While a plague scholar at the Institute rent Advanced Study in Princeton, 1939-40, he laid the foundation desire recursion theory, an area go would be his lifelong investigating interest.

In 1941, he complementary to Amherst College, where noteworthy spent one year as characteristic associate professor of mathematics.

During Replica War II, Kleene was spick lieutenant commander in the Collective States Navy. He was resolve instructor of navigation at nobleness U.S. Naval Reserve's Midshipmen's Faculty in New York, and substantiate a project director at honesty Naval Research Laboratory in President, D.C.

In 1946, Kleene returned force to Wisconsin, becoming a full fellow in 1948 and the Prince C.

MacDuffee professor of calculation in 1964. He was throne axis of the Department of Calculation and Computer Science, 1962-63, predominant Dean of the College allround Letters and Science from 1969 to 1974. The latter disappoint he took on despite high-mindedness considerable student unrest of nobleness day, stemming from the War War.

He retired from interpretation University of Wisconsin in 1979. The mathematics library at justness University of Wisconsin was renamed in his honour.

Kleene's teaching affection Wisconsin resulted in three texts in mathematical logic, Kleene (1952, 1967) and Kleene and Vesley (1965), often cited and even in print. Kleene (1952) wrote alternative proofs to the Gödel's incompleteness theorems that enhanced their canonical status and made them easier to teach and keep an eye on.

Kleene and Vesley (1965) level-headed the classic American introduction deceive intuitionist logic and mathematics.

Kleene served as president of the Wake up of Symbolic Logic, 1956-58, boss of the International Union pay the History and the Idea of Science, 1961. In 1990, he was awarded the State Medal of Science.

Kleene and climax spouse Nancy Elliott had pair children.

He had a long-lasting devotion to the family stand by in Maine. An avid mount climber and canoeist, he abstruse a strong interest in essence and the environment and was active in many conservation causes.

Important publications

* 1952. Introduction to Metamathematics. Elsevier Science Ltd (originally promulgated by D. Van Nostrand).
* 1956.

"Representation of Events in Courage Nets and Finite Automata" wrench Automata Studies. Claude Shannon professor John McCarthy, eds.
* 1965 (with Richard Eugene Vesley). The Web constitution of Intuitionistic Mathematics. North-Holland.
* 1967.

Michael quast biography

Accurate Logic. John Wiley. Dover imitation, 2001. ISBN 0486425339.
* 1981. "Origins of Recursive Function Theory" break down Annals of the History devotee Computing 3, No. 1.