Biografia Kleene, Stephen Cole
Stephen Cole Kleene (1909-1994) – amerykański matematyk.
Kleene prowadził głównie badania na teorią algorytmów oraz funkcji rekursywnych. Przyczynił się także do rozwoju teorii rekursji, współpracując razem z Churchem, Goedelem, Turingiem i innymi. Pracował również nad intuicjonizmem matematycznym, działem stworzonym przez Brouwera. Jego badania nad teorią rekursji stanowiły kamień węgielny informatyki teoretycznej. Dzięki przedstawieniu metod, które ustalają jakie problemy są rozwiązywalne, prace Kleene’a dały efekt w postaci ustalenia funkcji, które mogą być obliczalne.
Stephen C. Kleene zdobył tytuł magistra na Amherst College. Studia doktorskie skończył w 1934 r. na Uniwersytecie w Princeton pod okiem Churcha. Po paru miesiącach wykładania w Princeton dołączył w 1935 r. do kadry Uniwersytetu Wisconsin w Madison. W 1948 r. otrzymał tam posadę profesora i pozostał na tym stanowisku aż do przejścia na emeryturę w 1979 r.
Najlepiej znane publikacje Kleene’a to Introduction to Metamathematics (1952) and Mathematical Logic (1967).
Opracowanie: zespół wsparcia multimedialnego
