Biografia Kleene, Stephen Cole: Różnice pomiędzy wersjami
m Biografia Kleene moved to Biografia Kleene, Stephen Cole |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
[[grafika:Kleene.gif|thumb|200px|left]] | [[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. | '''Stephen Cole Kleene (1909-1994)''' – amerykański matematyk. | ||
Stephen C. Kleene zdobył tytuł magistra na Amherst College. Studia doktorskie skończył w 1934 na Uniwersytecie w Princeton pod okiem Churcha. Po paru miesiącach wykładania w Princeton dołączył w 1935 do kadry Uniwersytetu Wisconsin w Madison. W 1948 otrzymuje tu posadę profesora i pozostaje na tym stanowisko aż do przejścia na emeryturę w 1979. | Stephen C. Kleene zdobył tytuł magistra na Amherst College. Studia doktorskie skończył w 1934 na Uniwersytecie w Princeton pod okiem Churcha. Po paru miesiącach wykładania w Princeton dołączył w 1935 do kadry Uniwersytetu Wisconsin w Madison. W 1948 otrzymuje tu posadę profesora i pozostaje na tym stanowisko aż do przejścia na emeryturę w 1979. | ||
[[grafika:Kleene-wstęp.jpg|thumb|150px|''Introduction to Metamathematics'', 1952|right]] | |||
Klein 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, | Klein 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. | 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. | ||
Najlepiej znane publikacje Kleene’a to Introduction to Metamathematics (1952) and Mathematical Logic (1967). | Najlepiej znane publikacje Kleene’a to ''Introduction to Metamathematics'' (1952) and ''Mathematical Logic'' (1967). | ||
Wersja z 16:08, 22 sie 2006
Stephen Cole Kleene (1909-1994) – amerykański matematyk.
Stephen C. Kleene zdobył tytuł magistra na Amherst College. Studia doktorskie skończył w 1934 na Uniwersytecie w Princeton pod okiem Churcha. Po paru miesiącach wykładania w Princeton dołączył w 1935 do kadry Uniwersytetu Wisconsin w Madison. W 1948 otrzymuje tu posadę profesora i pozostaje na tym stanowisko aż do przejścia na emeryturę w 1979.
Klein 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.
Najlepiej znane publikacje Kleene’a to Introduction to Metamathematics (1952) and Mathematical Logic (1967).
