Stephen Cole Kleene: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m tn|+p |
slog |
||
Vrstica 1:
'''Stephen Cole Kleene''', [[Američani|ameriški]] [[častnik]], [[matematik]] in [[logik]], * [[5. januar]] [[1909]], [[Hartford, Connecticut|Hartford]], [[Connecticut]], [[ZDA]], † [[25. januar]] [[1994]], [[Madison, Wisconsin|Madison]], [[Wisconsin]].
Kleene je študiral na [[Koledž Amherst|Koledžu Amherst]] (Amherst College), kjer je diplomiral leta [[1930]]. Iz [[matematika|matematike]] je [[doktorat|doktoriral]] na [[Univerza v Princetonu|Univerzi v Princetonu]] leta [[1934]] z disertacijo ''Teorija pozitivnih celih števil v formalni logiki'' (''A Theory of Positive Integers in Formal Logic'') pod mentorstvom [[Alonzo Church|Alonza Churcha]]. Kratek čas je predaval v Princetonu, leta [[1935]] pa je odšel na Univerzo Wisconsina v Madison, kjer je najprej leta [[1937]] postal docent. Leta [[1941]] se je vrnil na Amherst.
Med [[druga svetovna vojna|2. svetovno vojno]] je kot [[poročnik]] služil v [[Vojna mornarica Združenih držav Amerike|Vojni mornarici ZDA]], kjer je predaval s področja [[navigacija|navigacije]].
Vrstica 9:
Posvetil se je raziskovanju teorije [[algoritem|algoritmov]] in [[rekurzivna funkcija|rekurzivnih funkcij]], funkcij določenih kot končno [[zaporedje]] [[kombinaorika|kombinatoričnih]] korakov. Kleene je skupaj s Churchem, [[Kurt Gödel|Kurtom Gödlom]], [[Alan Mathison Turing|Alanom Turingom]] in drugimi razvil področje [[rekurzivna teorija|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štvo|računalniško]] izračunljivih funkcij, katera je raziskovala tiste funkcije, ki se dajo izračunati z digitalnim [[računalnik|računalnikom]].
Kleene je bil navdušen [[gorsko plezanje|gorski plezalec]] in je imel zelo rad [[narava|naravo]] in njeno neokrnjeno [[okolje]]. Sodeloval je v mnogih dejavnostih za [[ohranitev 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]].
Vrstica 30:
[[Category:Rojeni v letu 1909|Kleene, Stephen Cole]]
[[Category:Umrli v letu 1994|Kleene, Stephen Cole]]
[[Category:Ameriški častniki|Kleene, Stephen Cole]]
[[Category:Ameriški matematiki|Kleene, Stephen Cole]]
[[Category:Ameriški logiki|Kleene, Stephen Cole]]
| |||