Stephen Cole Kleene

Stephen Cole Kleene (* 5. január 1909, Hartford, Connecticut, USA – † 25. január 1994, Madison, Wisconsin) bol americký matematik a informatik, ktorý svojou prácou pomohol položiť základy teoretickej informatiky.

Spolu s Alonzom Churchom (ktorého bol Kleene študentom), ako aj s Alanom Turingom, Emilom Postom, či Kurtom Gödelom je považovaný za zakladateľa odvetvia matematickej logiky, tzv. teórie rekurzívnych funkcií, obzvlášť významná je jeho práca v teórii vypočítateľnosti. Je po ňom pomenovaných viacero matematických konceptov, napr. Kleeneho hierarchia, Kleeneho algebra, či Kleeneho hviezdička (tiež nazývaná iterácia alebo Kleeneho uzáver) a s ňou úzko súvisiace Kleeneho plus (kladná iterácia). Taktiež vynašiel regulárne výrazy a spolu s Alonzom Churchom aj lambda kalkul. Jeho meno nesú aj Kleeneho s-m-n veta a Kleeneho-Rosserov paradox. Bol tiež priekopníkom intuicionizmu.

Správna výslovnosť mena Kleene je /ˈkleɪniː/ (ako anglické „clay-knee“), nie /ˈkliːniː/ alebo /ˈkliːn/. Jeho syn, Ken Kleene pri tejto príležitosti napísal: ''„Pokiaľ je mi známe, táto výslovnosť je nesprávna vo všetkých existujúcich jazykoch. Podľa mňa túto novátorskú výslovnosť vynašiel môj otec.“'' Získané z Wikipedie