Gaan na inhoud

Stephen Cole Kleene

in Wikipedia, die vrye ensiklopedie
Stephen Kleene
Gebore (1909-01-05)5 Januarie 1909
Hartford, Connecticut, VSA
Oorlede 25 Januarie 1994 (op 85)
Madison, Wisconsin, VSA
Nasionaliteit Amerikaans
Alma mater Amherst-kollege
Princeton-universiteit

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 regulêre uitdrukkings ingevoer, wat 'n karakterreeks as 'n soekpatroon definieer.