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

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

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

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

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

  1. 1,0 1,1 MacTutor History of Mathematics archive. Ανακτήθηκε στις 22  Αυγούστου 2017.
  2. 2,0 2,1 «Encyclopædia Britannica» (Αγγλικά) biography/Stephen-Cole-Kleene. Ανακτήθηκε στις 9  Οκτωβρίου 2017.
  3. 3,0 3,1 (Αγγλικά) SNAC. w65t4dzp. Ανακτήθηκε στις 9  Οκτωβρίου 2017.
  4. 4,0 4,1 Μουσείο Γκούγκενχαϊμ. stephen-cole-kleene. Ανακτήθηκε στις 9  Οκτωβρίου 2017.
  5. 5,0 5,1 (Γερμανικά) Brockhaus Enzyklopädie. kleene-stephen-cole. Ανακτήθηκε στις 9  Οκτωβρίου 2017.
  6. 6,0 6,1 (Γαλλικά) BnF authorities. 12281199v.
  7. Γερμανική Εθνική Βιβλιοθήκη, Κρατική Βιβλιοθήκη του Βερολίνου, Βαυαρική Κρατική Βιβλιοθήκη, Εθνική Βιβλιοθήκη της Αυστρίας: Gemeinsame Normdatei. Ανακτήθηκε στις 14  Δεκεμβρίου 2014.
  8. «Большая советская энциклопедия» (Ρωσικά) Great Russian Entsiklopedia, JSC. Μόσχα. 1969. Ανακτήθηκε στις 28  Σεπτεμβρίου 2015.
  9. Γερμανική Εθνική Βιβλιοθήκη, Κρατική Βιβλιοθήκη του Βερολίνου, Βαυαρική Κρατική Βιβλιοθήκη, Εθνική Βιβλιοθήκη της Αυστρίας: Gemeinsame Normdatei. Ανακτήθηκε στις 31  Δεκεμβρίου 2014.

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

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