Stephen Cole Kleene
Stephen Cole Kleene ( /ˈkleɪni/ KLAY -nee ; 5 januar 1909. - 25. jan 1994.) bio je američki matematičar. Jedan od učenika Alonzo Churcha, Kleene, zajedno s Rózsom Péterom, Alanom Turingom, Emilom Postom i drugima, najpoznatiji je kao osnivač grane matematičke logike poznate kao teorija rekurzije, koja je kasnije pomogla da se stvore temelji teorijske informatike. Kleeneov rad utemeljuje proučavanje izračunljivih funkcija. Po njemu su nazvani brojni matematički koncepti: Kleeneova hijerarhija, Kleeneova algebra, Kleeneova zvijezda (Kleeneovo zatvaranje), Kleeneov rekurzijski teorem i Kleeneov teorem s fiksnom tačkom. Također je izumio regularne izraze 1951. godine kako bi opisao neuronske mreže McCulloch-Pittsa, i dao je značajan doprinos osnovama matematičkog intuicionizma. Kleene je 1930. godine diplomirao na koledžu Amherst . Dobio je doktorat iz matematike na Univerzitetu Princeton 1934. Njegovu tezu pod naslovom Teorija pozitivnih cijelih brojeva u formalnoj logici nadzirao je Alonzo Church. Tridesetih godina 20. stoljeća radio je važan posao na Church-ovom lambda računu . 1935. pridružio se odsjeku za matematiku na Univerzitetu Wisconsin – Madison, gdje je proveo gotovo cijelu karijeru. Nakon dvije godine instruktorstva, 1937. imenovan je docentom.