Stephen Cole Kleene
Stephen Cole Kleene ( /ˈkleɪni/ KLAY -nee ; [a] 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.
Napomene[uredi | uredi izvor]
- ^ Although his last name is commonly pronounced /ˈkliːni/ Šablon:Respell or /kliːn/ Šablon:Respell, Kleene himself pronounced it /ˈkleɪni/ Šablon:Respell.[1] 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."[2]
Reference[uredi | uredi izvor]
- ^ Pace, Eric (27. 1. 1994). "Stephen C. Kleene Is Dead at 85; Was Leader in Computer Science". The New York Times.
- ^ In Entry "Stephen Kleene" at Free Online Dictionary of Computing.