Search Results - Kleene, Stephen Cole, 1909-1994
Stephen Cole Kleene
Stephen Cole Kleene ( ; or , Kleene himself pronounced it . His son, Ken Kleene, wrote: "As far as I am aware this pronunciation is incorrect in all known languages. I believe that this novel pronunciation was invented by my father." However, many instances of this surname can be found in the Netherlands and Dutch pronunciation of 'ee' is as ay as in hail, but shorter. Probably, Kleene was aware of that.}} January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixed-point theorem. He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism. Provided by Wikipedia- Showing 1 - 12 results of 12
-
1
Introduction to metamathematics / by Kleene, Stephen Cole, 1909-1994
Published 1952Call Number: Loading…
Located: Loading…Book Loading… -
2
Sets, logic, and mathematical foundations / by Kleene, Stephen Cole, 1909-1994
Published 1956Call Number: Loading…Search for the full-text version of this title in HathiTrust
Located: Loading…
Book -
3
The foundations of intuitionistic mathematics : especially in relation to recursive functions / by Kleene, Stephen Cole, 1909-1994
Published 1965Call Number: Loading…
Located: Loading…Book Loading… -
4
Mathematical logic. by Kleene, Stephen Cole, 1909-1994
Published 1967Call Number: Loading…
Located: Loading…Book Loading… -
5
Introduction to metamathematics. by Kleene, Stephen Cole, 1909-1994
Published 1952Call Number: Loading…Search for the full-text version of this title in HathiTrust
Located: Loading…
Book -
6
Two papers on the predicate calculus / by Kleene, Stephen Cole, 1909-1994
Published 1952Call Number: Loading…Full Text (via ProQuest)
Located: Loading…
eBook -
7
Formalized recursive functionals and formalized realizability / by Kleene, Stephen Cole, 1909-1994
Published 1969Call Number: Loading…Full Text (via ProQuest)
Located: Loading…
eBook -
8
Formalized recursive functionals and formalized realizability / by Kleene, Stephen Cole, 1909-1994
Published 1969Call Number: Loading…
Located: Loading…Book Loading… -
9
Permutability of inferences in Gentzen's calculi LK and LJ. / by Kleene, Stephen Cole, 1909-1994
Published 1967Call Number: Loading…
Located: Loading…Book Loading… -
10
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Published 1980Other Authors: “…Kleene, Stephen Cole, 1909-1994…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
11
The foundations of intuitionistic mathematics
Published 1965Other Authors: “…Kleene, Stephen Cole, 1909-1994…”
Call Number: Loading…Full Text (via ScienceDirect)
Located: Loading…
Electronic eBook -
12
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Published 1980Other Authors: “…Kleene, Stephen Cole, 1909-1994…”
Call Number: Loading…Full Text (via ScienceDirect)
Located: Loading…
Electronic Conference Proceeding eBook
Search Tools:
RSS Feed
–
Save Search