Stephen Cole Kleene


Polskojezyczna Wikipedia - wolna encyklopediaDownload this dictionary
Stephen Cole Kleene
Stephen Cole Kleene (ur. 5 stycznia 1909 r. w Hartford w stanie Connecticut, zm. 25 stycznia 1994 r. w Madison w stanie Wisconsin) - amerykański matematyk, jeden z pionierów informatyki teoretycznej. Zasłynął z prac z teorii rekursji, opracowania koncepcji wyrażeń regularnych i teorii funkcji obliczalnych. Z jego nazwiskiem związane są takie pojęcia jak domknięcie Kleene'ego, algebra Kleene'ego, twierdzenie Kleene'ego o rekursji oraz twierdzenie Kleene'ego o punkcie stałym. Wniósł również wkład do prac intuicjonistów w matematyce.

W celu uzyskania więcej informacji, zobacz w Wikipedia.οrg...


© W niniejszym artykule wykorzystano materialy z Wikipédia® i jest na licencji GNU Free Documentation License, a na licencji licencji Commons Attribution-ShareAlike.