Stephen Cole Kleene byl americký matematik a logik, který svou prací pomohl položit základy matematické informatiky. Spolu s Alonzo Churchem, Alanem Turingem, Emilem Postem či Kurtem Gödelem je považován za zakladatele specifické větve matematické logiky, a to tzv. teorie rekurzivních funkcí. Obzvláště významná je jeho práce v teorii vyčíslitelnosti. Je po něm… Wikipedia
© 1996–2025 Seznam.cz, a.s.