Stephen Cole Kleene: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m r2.7.1) (robot Dodajanje: nl:Stephen Cole Kleene |
m slog, replaced: | ]] → |*]] |
||
Vrstica 9:
Leta [[1946]] se je vrnil v Madison in tu leta [[1948]] postal [[profesor]]. Upokojil se je leta [[1979]].
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
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.
Vrstica 25:
== Zunanje povezave ==
* http://www.nap.edu/html/biomems/skleene.html {{ikona en}}
* [http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Kleene.html Stran o Stephenu Coleu Kleeneu Univerze St Andrews] {{ikona en}}
Vrstica 34 ⟶ 33:
{{lifetime|1909|1994|Kleene, Stephen Cole}}
[[Kategorija:Ameriški logiki]]
[[Kategorija:Ameriški matematiki]]
Vrstica 42 ⟶ 40:
[[Kategorija:Predavatelji na Univerzi Amherst]]
[[Kategorija:Prejemniki nacionalne medalje znanosti]]
[[Kategorija:Stephen Cole Kleene|
[[Kategorija:Ameriški univerzitetni učitelji]]
| |||