Στίβεν Κλέινι

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση
Στίβεν Κλέινι
Kleene.jpg
Γέννηση5  Ιανουαρίου 1909[1][2][3][4]
Χάρτφορντ[5][6]
Θάνατος25  Ιανουαρίου 1994[1][2][3][4]
Μάντισον[7]
ΥπηκοότηταΗνωμένες Πολιτείες Αμερικής
ΣπουδέςΠανεπιστήμιο Πρίνστον και Κολλέγιο Άμχερστ
Βραβεύσειςυποτροφία Γκούγκενχαϊμ, Εθνικό Μετάλλιο των Επιστημών (1990) και Βραβείο Λιρόϊ Π. Στιλ (1983)
Επιστημονική σταδιοδρομία
Ερευνητικός τομέαςΘεωρητική Πληροφορική
Ιδιότηταμαθηματικός, επιστήμονας υπολογιστών, φιλόσοφος και διδάσκων πανεπιστημίου
Διδακτορικός καθηγητήςΑλόνζο Τσερτς

Ο Στίβεν Κλέινι (Stephen Cole Kleene, 5 Ιανουαρίου 190925 Ιανουαρίου 1994) ήταν Αμερικανός μαθηματικός.

Γεννήθηκε στο Χάρτφορντ του Κονέκτικατ των Η.Π.Α. Ήταν μαθηματικός που έθεσε τις βάσεις για τη θεωρητική υπολογιστική επιστήμη. Είναι ευρέως γνωστός ως ιδρυτής της αναδρομικής θεωρίας, κλάδου της μαθηματικής λογικής.

Δείτε επίσης[Επεξεργασία | επεξεργασία κώδικα]

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]