Stephen Cole Kleene
Stephen Cole Kleene, ameriški matematik, častnik in logik, * 5. januar 1909, Hartford, Connecticut, ZDA, † 25. januar 1994, Madison, Wisconsin.
| Stephen Cole Kleene | |
|---|---|
 | |
| Rojstvo | Stephen Cole Kleene 5. januar 1909[1][2][…] Hartford[d], Connecticut[4] |
| Smrt | 25. januar 1994[1][2][…] (85 let) Madison[d], Wisconsin[5] |
| Državljanstvo |  ZDA |
| Poklic | matematik, računalnikar, filozof, univerzitetni učitelj |
Življenje in delo uredi
Kleene je študiral na Kolidžu Amherst (Amherst College), kjer je diplomiral leta 1930. Iz matematike je doktoriral na Univerzi Princeton leta 1934 z disertacijo Teorija pozitivnih celih števil v formalni logiki (A Theory of Positive Integers in Formal Logic) pod Churchevim mentorstvom. Kratek čas je predaval v Princetonu, leta 1935 pa je odšel na Univerzo Wisconsina-Madison, kjer je najprej leta 1937 postal docent. Leta 1941 se je vrnil na Amherst.
Med 2. svetovno vojno je kot poročnik služil v Vojni mornarici ZDA, kjer je predaval s področja navigacije.
Leta 1946 se je vrnil v Madison in tu leta 1948 postal profesor. Upokojil se je leta 1979.
Posvetil se je raziskovanju teorije algoritmov in rekurzivnih funkcij, funkcij določenih kot končno zaporedje kombinatoričnih korakov. Kleene je skupaj s Churchem, Gödlom, Turingom in drugimi razvil področje rekurzivne teorije, ki je omogočila dokazati ali so določeni razredi matematičnih problemov rešljivi ali nerešljivi. Rekurzivna teorija je vodila k teoriji računalniško izračunljivih funkcij, katera je raziskovala tiste funkcije, ki se dajo izračunati z digitalnim računalnikom.
Kleene je bil navdušen alpinist in je imel zelo rad naravo in njeno neokrnjeno okolje. Sodeloval je v mnogih dejavnostih za varstvo okolja. Vodil je več profesionalnih organizacij.
Kleene je med drugim napisal Uvod v metamatematiko (Introduction to Metamathematics) 1952 in Matematična logika (Mathematical Logic) 1967.
Zaradi njegovega dela so se po letu 1945 začeli zanimati za Brouwerjev intuicionizem. Njegov ugled v matematični logiki se zrcali v izreku logikov: »Kleenstvo je takoj za gödelstvom«.
Sklici uredi
- ↑ 1,0 1,1 MacTutor History of Mathematics archive — 1994.
- ↑ 2,0 2,1 Encyclopædia Britannica
- ↑ 3,0 3,1 SNAC — 2010.
- ↑ Клини Стивен Коул // Большая советская энциклопедия: [в 30 т.] — 3-е изд. — Moskva: Советская энциклопедия, 1969.
- ↑ Record #136329632 // Gemeinsame Normdatei — 2012—2016.
Glej tudi uredi
Zunanje povezave uredi
- http://www.nap.edu/html/biomems/skleene.html (angleško)
- Stran o Stephenu Coleu Kleeneu Univerze svetega Andreja Arhivirano 2004-10-21 na Wayback Machine. (angleško)
- http://math.library.wisc.edu/kleene.htm (angleško)
- http://math.library.wisc.edu/biblio.htm (angleško)