Stephen Kleene
Kleene [kli:ʹni], Stephen, 1909–94, amerikansk logiker och matematiker, professor vid University of Wisconsin 1948–79.
Kleene gav viktiga bidrag till den matematiska grundvalsforskningen och till grundvalarna för teoretisk datalogi. Han generaliserade bl.a. Gödels ofullständighetssats och var tongivande vid utvecklingen av teorin för rekursiva funktioner.
Information om artikeln
Källangivelse