Stephen Cole Kleene

in Wikipedia, die vrye ensiklopedie
Jump to navigation Jump to search
Stephen Kleene
Kleene.jpg
Gebore (1909-01-05)5 Januarie 1909
Hartford, Connecticut, VSA
Oorlede 25 Januarie 1994 (op 85)
Madison, Wisconsin, VSA
Blyplek Verenigde State
Nasionaliteit Amerikaans
Alma mater Amherst-kollege
Princeton-universiteit
Doktorale student(e) John Addison jr.
Paul Axt
Douglas Clarke
Robert Constable
David Kierstead
Shih-Chao Liu
Joan Moschovakis
Yiannis Moschovakis
Nels David Nelson
Gene Rose
Clifford Spector
Richard Vesley
Dick de Jongh

Stephen Cole Kleene (hy het sy van self as kleinie uitgespreek) (5 Januarie 1909 – 25 Januarie 1994) was 'n Amerikaanse wiskundige. Hy was een van die studente van Alonzo Church, soos ook Alan Turing, Emil Post en ander, en is veral bekend as 'n grondlegger van die vertakking van wiskundige logika wat as berekenbaarheidsteorie bekend staan, wat later aangewend sou word om 'n grondslag vir teoretiese rekenaarwetenskap daar te stel. Kleene se werk onderlê die ondersoeke na watter funksies berekenbaar is. Verskillende wiskundige konsepte is na hom vernoem, soos die Kleene-hiërargie (wat versamelings na gelang van hul kompleksiteit klassifiseer), Kleene-algebra ('n deels-geordende semiring), die Kleene-ster ('n eenduidige operator op versamelings, ens.), Kleene se rekursiestellings (vir vastepunte op berekenbare funksies) en die Kleene-vastepuntstelling (omtrent 'n vastepunt van monotone funksies). Hy het belangrike bydraes gelewer tot wiskundige intuïsionisme, en in 1956 ook reëlmatige uitdrukkings ingevoer, wat 'n karakterreeks as 'n soekpatroon definieer.