Stephen Cole Kleene: Razlika med redakcijama

Kleene je študiral na [[Koledž Amherst|Koledžu Amherst]] (Amherst College), kjer je diplomiral leta [[1930]]. Iz [[matematika|matematike]] je [[doktorat|doktoriral]] na [[Univerza v Princetonu|Univerzi v Princetonu]] leta [[1934]] z disertacijo ''Teorija pozitivnih celih števil v formalni logiki'' (''A Theory of Positive Integers in Formal Logic'') pod mentorstvom [[Alonzo Church|Alonza Churcha]]. Kratek čas je predaval v Princetonu, leta [[1935]] pa je odšel na Univerzo Wisconsina v Madison kjer je najprej leta [[1937]] postal docent. Leta [[1941]] se je vrnil na Amherst.

Med [[druga svetovna vojna|2. svetovno vojno]] je kot [[poročnik]] služil v [[Vojna mornarica Združenih držav Amerike|Vojni mornarici ZDA]], kjer je predaval s področja [[navigacija|navigacije]].

Posvetil se je raziskovanju teorije [[algoritem|algoritmov]] in [[rekurzivna funkcija|rekurzivnih funkcij]], funkcij določenih kot končno [[zaporedje]] [[kombinaorika|kombinatoričnih]] korakov. Kleene je skupaj s Churchem, [[Kurt Gödel|Kurtom Gödlom]], [[Alan Mathison Turing|Alanom Turingom]] in drugimi razvil področje [[rekurzivna teorija|rekurzivne teorije]], ki je omogočila dokazati ali so določeni razredi matematičnih problemov rešljivi ali nerešljivi. RekuzrivnaRekurzivna teorija je vodila k teoriji [[računalništvo|računalniško]] izračunljivih funkcij, katera je raziskovala tiste funkcije, ki se dajo izračunati z digitalnim [[računalnik|računalnikom]].

Kleene je bil navdušen gorski plezalec in je imel zelo rad [[narava|naravo]] in njeno neokrnjeno [[okolje]]. Sodeloval je v mnogih dejavnostih za [[ohranitev okolja]]. Vodil je več profesionalnih organizacij.