Γιάννης Μοσχοβάκης
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. |
Ο Γιάννης Μοσχοβάκης (Αθήνα, 18 Ιανουαρίου 1938) είναι Έλληνας μαθηματικός και με ειδίκευση στη θεωρία συνόλων, την περιγραφική θεωρία συνόλων και τη θεωρία αναδρομής. Υπήρξε καθηγητής στο Πανεπιστήμιο της Καλιφόρνιας στο Λος Άντζελες.
Γιάννης Μοσχοβάκης | |
---|---|
Γενικές πληροφορίες | |
Γέννηση | 18 Ιανουαρίου 1938[1] Αθήνα[2] |
Χώρα πολιτογράφησης | Ηνωμένες Πολιτείες Αμερικής |
Εκπαίδευση και γλώσσες | |
Ομιλούμενες γλώσσες | νέα ελληνική γλώσσα[3] |
Σπουδές | Τεχνολογικό Ινστιτούτο Μασαχουσέτης Πανεπιστήμιο του Ουισκόνσιν στο Μάντισον |
Πληροφορίες ασχολίας | |
Ιδιότητα | μαθηματικός[4] λογικολόγος διδάσκων πανεπιστημίου επιστήμονας υπολογιστών |
Εργοδότης | Πανεπιστήμιο της Καλιφόρνιας, Λος Άντζελες Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών |
Οικογένεια | |
Σύζυγος | Τζόαν Ραντ Μοσχοβάκη |
Αξιώματα και βραβεύσεις | |
Βραβεύσεις | εταίρος της Αμερικανικής Μαθηματικής Εταιρίας (2016)[5][6] Τάγμα του Φοίνικος (2014) Υποτροφία Γκούγκενχαϊμ[7] |
Συνδέεται στενά με την ανάπτυξη της αποτελεσματικής περιγραφικής θεωρίας συνόλων, ή αλλιώς της "ελαφροπρόσωπης" ή περιγραφικής θεωρίας συνόλων- είναι γνωστός για το λήμμα κωδικοποίησης Μοσχοβάκη που φέρει το όνομά του.
Βιογραφία Επεξεργασία
Μετά από βασικές και μεταπτυχιακές σπουδές στο Τεχνολογικό Ινστιτούτο της Μασαχουσέτης, εκπόνησε τη διδακτορική του διατριβή με τίτλο Αναδρομική ανάλυση (Recursive Analysis) κάτω από την επίβλεψη του Στίβεν Κλέινι στο Πανεπιστήμιο του Ουισκόνσιν–Μάντισον και αναγορεύτηκε διδάκτορας το 1963. Ειδικεύεται στη μαθηματική λογική, με έμφαση στη θεωρία συνόλων και τη θεωρία υπολογισιμότητας. Το σύγγραμμά του Περιγραφική θεωρία συνόλων ("Descriptive set theory", α΄ έκδοση το 1980) παραμένει το βασικότερο ίσως βιβλίο αναφοράς του εν λόγω τομέα. Εργαζόταν στο Πανεπιστήμιο της Καλιφόρνιας του Λος Άντζελες (UCLA), καθώς και στο Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών.
Είναι παντρεμένος με τη μαθηματικό Τζόαν Ραντ Μοσχοβάκη και έχει δύο παιδιά.
Βιβλία Επεξεργασία
Αναφορές Επεξεργασία
- ↑ 1,0 1,1 Εθνική Βιβλιοθήκη της Γερμανίας: (Γερμανικά) Gemeinsame Normdatei. Ανακτήθηκε στις 24 Απριλίου 2014.
- ↑ Freebase Data Dumps. Google.
- ↑ Εθνική Βιβλιοθήκη της Γαλλίας: (Γαλλικά) καθιερωμένοι όροι της Εθνικής Βιβλιοθήκης της Γαλλίας. data
.bnf .fr /ark: /12148 /cb12859885f. Ανακτήθηκε στις 10 Οκτωβρίου 2015. - ↑ Εθνική Βιβλιοθήκη της Γερμανίας: (Γερμανικά) Gemeinsame Normdatei. Ανακτήθηκε στις 25 Ιουνίου 2015.
- ↑ www
.ams .org /fellows _by _year .cgi?year=2016. Ανακτήθηκε στις 24 Νοεμβρίου 2022. - ↑ www
.ams .org /news?news _id=2847. Ανακτήθηκε στις 24 Νοεμβρίου 2022. - ↑ yiannis-n-moschovakis.
- ↑ Barwise, K. Jon (1975). «Review: Elementary induction on abstract structures, by Y. Moschovakis». Bull. Amer. Math. Soc. 81 (6): 1031–1035. doi:. http://www.ams.org/journals/bull/1975-81-06/S0002-9904-1975-13893-6/.
- ↑ Jech, Thomas (1981). «Review: Descriptive set theory, by Y. Moschovakis». Bull. Amer. Math. Soc. (N.S.) 5 (3): 339–349. doi:. http://www.ams.org/journals/bull/1981-05-03/S0273-0979-1981-14952-1/.
Εξωτερικοί σύνδεσμοι Επεξεργασία