Stephen Sticks Kleene

Stephen Cole Kleene (born the January 5th 1909 with Hartford, dead the January 25th 1994) is a mathematician and logician states-unien.

Kleene is known to have founded the branch of the Logique known mathematics under the name of theory of recursion in collaboration with in particular Alonzo Church, Kurt Gödel and Alan Turing, and also the branch of the Lambda-calculation with Alonzo Church and J. Barkley Rosser. It is also known to have invented the concept of rational Expression and rational Langage.

By creating the tools making it possible to determine which problems are resolvable by algorithms and in addition by working out the concepts making it possible to analyze the computer programming languages and to describe the simplest Automate S, it provided, without the knowledge, the theoretical foundations of the Informatique. The Closing of Kleene, the Theorem of recursion of Kleene and the ascending Chaîne of Kleene point out the part which he played in the establishment of these concepts. It also contributed to the Logique intuitionalist.

In 1934, its thesis directed by Alonzo Church is entitled a theory of the positive entireties in formal logic . It constitutes the bases of the definition of the functions on the entireties by a mechanical process (the definition \ lambda) which is the first characterization of the recursive functions. In 1935, it integrates the department of mathematics of the Université of Wisconsin, of which he becomes professor assisting in 1937.

From 1939 to 1940 it is detached with the Institute for Advanced Study of Princeton, where it takes part in the foundation of the theory of the recursivity.

It takes part in the Second world war as instructor in the marine .

Mountaineer raftered, it showed a great passion for the defense of nature and the environment.

Publications

  • Introduction to Métamathématiques (1952)

  • Logical mathematics (1967).
  • Representation of the events in the nervous networks and finite-state machines in Automata Studies (1956) eds. C. Shannon and J. McCarthy.
  • Origins off Recursive Function Theory in Annals off the History off Computing , vol. 3 No January 1st, th and th 1981.

See too

Random links:Cypriot book | Nature' S Wonderland | Hieracium | Justus Möser | SR-91 Aurora | Gargouille