Στίβεν Κλέινι
 |
Το λήμμα παραθέτει τις πηγές του αόριστα, χωρίς παραπομπές. |
| Στίβεν Κλέινι | |
|---|---|
 | |
| Γέννηση | 5 Ιανουαρίου 1909[1][2][3] Χάρτφορντ[4][5] |
| Θάνατος | 25 Ιανουαρίου 1994[1][2][3] Μάντισον[6] |
| Υπηκοότητα | Ηνωμένες Πολιτείες Αμερικής |
| Σπουδές | Πανεπιστήμιο του Πρίνστον και Κολλέγιο Άμερστ |
| Γνωστός για | Kleene–Brouwer order, παράδοξο Κλέινι-Ρόσερ, Kleene's O, Church–Kleene ordinal, Kleene's recursion theorem, Kleene's T predicate, Kleene's theorem, Kleene's algorithm, Kleene algebra, Αστέρι Κλέινι, Kleene fixed-point theorem, λογισμός λάμδα και The foundations of intuitionistic mathematics |
| Βραβεύσεις | Υποτροφία Γκούγκενχαϊμ (1949), Εθνικό Μετάλλιο των Επιστημών (1990) και βραβείο Λιρόϊ Π. Στιλ (1983) |
| Επιστημονική σταδιοδρομία | |
| Ερευνητικός τομέας | Θεωρητική Πληροφορική και θεωρία υπολογισμού |
| Ιδιότητα | μαθηματικός, επιστήμονας υπολογιστών, φιλόσοφος και διδάσκων πανεπιστημίου |
| Διδακτορικός καθηγητής | Αλόνζο Τσερτς |
| δεδομένα () | |
Ο Στίβεν Κλέινι (Stephen Cole Kleene, 5 Ιανουαρίου 1909 – 25 Ιανουαρίου 1994) ήταν Αμερικανός μαθηματικός.
Γεννήθηκε στο Χάρτφορντ του Κονέκτικατ των Η.Π.Α. Ήταν μαθηματικός που έθεσε τις βάσεις για τη θεωρητική υπολογιστική επιστήμη. Είναι ευρέως γνωστός ως ιδρυτής της αναδρομικής θεωρίας, κλάδου της μαθηματικής λογικής.
Παραπομπές
[Επεξεργασία | επεξεργασία κώδικα]- 1 2 MacTutor History of Mathematics archive. Ανακτήθηκε στις 22 Αυγούστου 2017.
- 1 2 «Encyclopædia Britannica» (Αγγλικά) biography/Stephen-Cole-Kleene. Ανακτήθηκε στις 9 Οκτωβρίου 2017.
- 1 2 (Αγγλικά) SNAC. w65t4dzp. Ανακτήθηκε στις 9 Οκτωβρίου 2017.
- ↑ Εθνική Βιβλιοθήκη της Γερμανίας: «Gemeinsame Normdatei» (Γερμανικά) Ανακτήθηκε στις 14 Δεκεμβρίου 2014.
- ↑ «Большая советская энциклопедия» (Ρωσικά) Η Μεγάλη Ρωσική Εγκυκλοπαίδεια. Μόσχα. 1969. Ανακτήθηκε στις 28 Σεπτεμβρίου 2015.
- ↑ Εθνική Βιβλιοθήκη της Γερμανίας: «Gemeinsame Normdatei» (Γερμανικά) Ανακτήθηκε στις 31 Δεκεμβρίου 2014.
Δείτε επίσης
[Επεξεργασία | επεξεργασία κώδικα]Εξωτερικοί σύνδεσμοι
[Επεξεργασία | επεξεργασία κώδικα]
- Biographical memoir Αρχειοθετήθηκε 2008-10-26 στο Wayback Machine. – από το Saunders Mac Lane
- Βιβλιογραφία του Κλέινι Αρχειοθετήθηκε 2013-11-03 στο Wayback Machine.
- Συνέντευξη του Κλέινι και του Τζον Μπάρκλεϊ Ρόσερ
 |
Αυτό το λήμμα σχετικά με έναν μαθηματικό χρειάζεται επέκταση. Μπορείτε να βοηθήσετε την Βικιπαίδεια επεκτείνοντάς το. |