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