Biografia Kleene, Stephen Cole: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| (Nie pokazano 7 wersji utworzonych przez 3 użytkowników) | |||
| Linia 1: | Linia 1: | ||
[[grafika:Kleene. | [[grafika:Kleene.gif|thumb|200px|left]] | ||
[[grafika:Kleene-Amherst.jpg|thumb|150px|Amherst College, Massachusetts, USA|right]] | |||
'''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.[[grafika:Kleene-wstęp.jpg|thumb|150px|''Introduction to Metamathematics'', 1952|right]] Badania Kleene'a nad teorią rekursji stanowiły kamień węgielny informatyki teoretycznej. Dzięki przedstawieniu metod, które wskazują jakie problemy są rozwiązywalne, prace Kleene’a były pomocne dla ustalenia funkcji, które mogą być obliczalne. | ||
Kleene był absolwentem 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) i ''Mathematical Logic'' (1967). | |||
---- | |||
''Opracowanie: zespół wsparcia multimedialnego'' | |||
Aktualna wersja na dzień 17:09, 16 gru 2006
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.
Badania Kleene'a nad teorią rekursji stanowiły kamień węgielny informatyki teoretycznej. Dzięki przedstawieniu metod, które wskazują jakie problemy są rozwiązywalne, prace Kleene’a były pomocne dla ustalenia funkcji, które mogą być obliczalne.
Kleene był absolwentem 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) i Mathematical Logic (1967).
Opracowanie: zespół wsparcia multimedialnego
