Ντόναλντ Κνουθ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Ντόναλντ Κνουθ
Όνομα στη
μητρική γλώσσα
Donald Ervin Knuth (Αγγλικά)
Γέννηση10  Ιανουαρίου 1938[1][2][3]
Μιλγουόκι[2]
ΥπηκοότηταΗνωμένες Πολιτείες Αμερικής
ΣπουδέςΠανεπιστήμιο Κέις Ουέστερν Ριζέρβ, Τεχνολογικό Ινστιτούτο της Καλιφόρνιας και Milwaukee Lutheran High School
ΒραβεύσειςΥποτροφία Γκούγκενχαϊμ (1972), Βραβείο Τούρινγκ (1974), μετάλλιο Τζον φον Νόιμαν (1995), βραβείο Χάρβεϊ (1995), Εθνικό Μετάλλιο των Επιστημών (1979), μετάλλιο Φαραντέι (2011), Βραβείο Γκρέις Μάρεϊ Χόπερ (1971), Josiah Willard Gibbs Lectureship (1978), αλλοδαπό μέλος της Βασιλικής Εταιρείας του Λονδίνου (2003), Turing Talk (2011), Computer History Museum fellow (1998), μετάλλιο Φράνκλιν (1988), βραβείο Κιότο στις Προηγμένες Τεχνολογίες (1996), ACM Software System Award (1986), Βραβείο Ουάλας-Μακντάουελ (1980), Paul R. Halmos - Lester R. Ford Awards (1975 και 1993), BBVA Foundation Frontiers of Knowledge Award (2010), βραβείο Λιρόϊ Π. Στιλ (1986), John von Neumann Prize (2016), επίτιμος διδάκτωρ του Ελβετικού Ομοσπονδιακού Ινστιτούτου Τεχνολογίας Ζυρίχης (2005), επίτιμος διδάκτωρ του Πανεπιστημίου της Τυβίγγης (2001), ACM Fellow (1994), εταίρος της Εταιρείας Βιομηχανικών και Εφαρμοσμένων Μαθηματικών (2009), Εταίρος της Βρετανικής Εταιρείας Υπολογιστών (1980), επίτιμος διδάκτορας του Πανεπιστημίου της Γλασκώβης (2011), επίτιμος διδάκτωρ του πανεπιστημίου Χάρβαρντ (2003), επίτιμος διδάκτωρ του Πανεπιστημίου Μάζαρυκ (1996) και εταίρος της Αμερικανικής Μαθηματικής Εταιρίας (2013)
Ιστοσελίδα
https://www-cs-faculty.stanford.edu/~knuth και https://profiles.stanford.edu/donald-knuth
Επιστημονική σταδιοδρομία
Ερευνητικός τομέαςσυνδυαστική, Επιστήμη υπολογιστών και ανάλυση αλγορίθμων
Αξίωμακαθηγητής πανεπιστημίου
Ιδιότηταμαθηματικός, επιστήμονας υπολογιστών, ιστορικός των μαθηματικών, συγγραφέας, προγραμματιστής, διδάσκων πανεπιστημίου, μηχανικός, ακαδημαϊκός και σχεδιαστής γραμματοσειρών
Διδακτορικός καθηγητήςΜάρσαλ Χωλ
Ακαδημαϊκός τίτλοςδιδάκτωρ φιλοσοφίας

Ο Ντόναλντ Έρβιν Κνουθ (αγγλικά: Donald Ervin Knuth [knuːθ][4], 10 Ιανουαρίου 1938) είναι Αμερικανός διεθνώς αναγνωρισμένος επιστήμονας πληροφορικής και ομότιμος καθηγητής της «Τέχνης του Προγραμματισμού Υπολογιστών»[5] στο Πανεπιστήμιο Στάνφορντ.

Συγγραφέας του σημαντικού πολύτομου έργου «Η Τέχνη του Προγραμματισμού Υπολογιστών» (αγγλ.: The Art of Computer Programming)[6] ο Κνουθ έχει χαρακτηριστεί ο πατέρας της ανάλυσης αλγορίθμων, συμβάλλοντας στην ανάπτυξη και στη συστηματοποίηση μαθηματικών τεχνικών για την εις βάθος ανάλυση της υπολογιστικής πολυπλοκότητας των αλγορίθμων.

Εκτός από την ουσιαστική συνεισφορά του σε αρκετούς κλάδους της θεωρητικής πληροφορικής, ο Κνουθ είναι ο κύριος δημιουργός του διάσημου συστήματος στοιχειοθεσίας μέσω υπολογιστή TeX, της σχετιζόμενης γλώσσας ορισμού γραμματοσειρών και συστήματος σχεδίασης METAFONT και της οικογένειας γραμματοσειρών Computer Modern.

Πολυγραφότατος συγγραφέας,[7] ο Κνουθ δημιούργησε τα συστήματα προγραμματισμού υπολογιστών WEB/CWEB, τα οποία είναι σχεδιασμένα για να ενθαρρύνουν και να διευκολύνουν τον «λόγιο προγραμματισμό» (literate programming). Έχει σχεδιάσει επίσης την αρχιτεκτονική συνόλου εντολών MMIX.

Εκπαίδευση και ακαδημαϊκό έργο[Επεξεργασία | επεξεργασία κώδικα]

Ο Κνουθ γεννήθηκε στο Μιλγουόκι του Ουισκόνσιν, όπου ο πατέρας του είχε ένα μικρό τυπογραφείο και δίδασκε λογιστική στο Λουθηρανικό Λύκειο του Μιλγουόκι, το οποίο παρακολούθησε και ο Ντόναλντ. Ήταν άριστος μαθητής, κερδίζοντας διάφορους επαίνους. Εφάρμοζε την εξυπνάδα του με αντισυμβατικούς τρόπους, κερδίζοντας για παράδειγμα ένα διαγωνισμό όπου βρήκε περισσότερες από 4500 λέξεις που μπορούσαν να σχηματιστούν από τα γράμματα της φράσης «Ziegler's Giant Bar». Το έπαθλό του ήταν μια τηλεόραση για το σχολείο του και ένα γλύκισμα για όλους τους συμμαθητές στην τάξη του.

Ο Κνουθ δυσκολεύτηκε να επιλέξει τη φυσική ως βασικό αντικείμενο σπουδών αντί για τη μουσική, κατά τη φοίτησή του στο Ινστιτούτο Τεχνολογίας Κέις. Στη συνέχεια μεταπήδησε από τη φυσική στα μαθηματικά και το 1960 πήρε το πτυχίο Bachelor of Science, λαμβάνοντας ταυτόχρονα και το ανώτερο πτυχίο Master of Science, ως ειδικό βραβείο από το διδακτικό προσωπικό του Πανεπιστημίου που θεώρησε το έργο του εξαιρετικό. Στο Κέις προπονούσε την ομάδα καλαθοσφαίρισης και αξιοποιούσε το ταλέντο του κατασκευάζοντας ένα μαθηματικό τύπο για τον υπολογισμό της «αξίας» κάθε παίκτη. Αυτή η πρωτότυπη προσέγγιση καλύφθηκε από το περιοδικό Newsweek και τον δημοσιογράφο Ουόλτερ Κρόνκαϊτ στο τηλεοπτικό δίκτυο CBS.[8]

Κατά τις μεταπτυχιακές σπουδές του ο Κνουθ δούλεψε ως σύμβουλος, συγγράφοντας μεταγλωττιστές για διάφορους υπολογιστές. Το 1963 ολοκλήρωσε το διδακτορικό του στα μαθηματικά (επιβλέπων: Μάρσαλ Χωλ) στο Ινστιτούτο Τεχνολογίας της Καλιφόρνιας, όπου και έγινε καθηγητής, ξεκινώντας παράλληλα τη συγγραφή του βιβλίου του Η τέχνη του προγραμματισμού υπολογιστών. Ο αρχικός στόχος ήταν να γίνει μόνο ένας τόμος (εκδόθηκε τελικά το 1968), ο οποίος όμως μετατράπηκε σε εξάτομο έργο, για να προστεθεί αργότερα και ένας έβδομος τόμος. Τον ίδιο χρόνο έγινε δεκτός στο διδακτικό προσωπικό του πανεπιστημίου Στάνφορντ, έχοντας απορρίψει μια πρόταση εργασίας από την Υπηρεσία Εθνικής Ασφαλείας των ΗΠΑ.

Το 1971 ο Κνουθ έγινε ο πρώτος παραλήπτης του Βραβείου Γκρέις Μάρεϊ Χόπερ του Συλλόγου Μηχανημάτων Υπολογισμού (ACM). Έχει τιμηθεί με πολλές ακόμα διακρίσεις, ανάμεσα στις οποίες το Βραβείο Τούρινγκ (1974), το Εθνικό Μετάλλιο Επιστημών των ΗΠΑ, το Μετάλλιο Τζον φον Νόιμαν και το Βραβείο Κιότο. Μετά την έκδοση του τρίτου τόμου του έργου του το 1976, ένιωσε τέτοια απογοήτευση για τη βρεφική κατάσταση των τότε πρωτόλειων ηλεκτρονικών εργαλείων στοιχειοθεσίας, ώστε δαπάνησε χρόνο από την εργασία του για να δημιουργήσει τα εργαλεία στοιχειοθεσίας TeX και METAFONT.

Σε αναγνώριση για τη συμβολή του Κνουθ στην πληροφορική, το 1990 του απενεμήθη ο μοναδικός ακαδημαϊκός τίτλος του «Καθηγητή της Τέχνης του Προγραμματισμού Υπολογιστών». Το 1992 έγινε μέλος της Γαλλικής Ακαδημίας Επιστημών, ενώ τον ίδιο χρόνο παραιτήθηκε από τα τακτικά καθήκοντα έρευνας και διδασκαλίας στο Στάνφορντ, ώστε να τελειώσει το πολύτομο βιβλίο του. Το 2003 εξελέγη αλλοδαπό μέλος της Βασιλικής Εταιρείας. Το 2004 επανεκδόθηκαν οι τρεις πρώτοι τόμοι του έργου του και ο Κνουθ εργαζόταν πάνω στον τέταρτο, αποσπάσματα του οποίου δημοσίευε περιοδικά στην ιστοσελίδα του. Εν τω μεταξύ, παραδίδει ανεπίσημες διαλέξεις μερικές φορές το χρόνο στο Στάνφορντ, τις οποίες αποκαλεί «Computer Musings». Είναι επίσης επισκέπτης καθηγητής στο Εργαστήριο Πληροφορικής του Πανεπιστημίου της Οξφόρδης.

Εκτός από το συγγραφικό έργο του στην πληροφορική, ο Κνουθ, πιστός λουθηρανός,[9] είναι επίσης και συγγραφέας του 3:16 Bible Texts Illuminated (1991), ISBN 0-89579-252-4, στο οποίο αποπειράται να εξετάσει τη Βίβλο με μια διαδικασία συστηματικής δειγματοληψίας, αναλύοντας το κεφάλαιο 3, στίχος 16 από κάθε βιβλίο της. Κάθε στίχος συνοδεύεται από καλλιγραφία, την οποία παρείχε ομάδα καλλιγράφων υπό την καθοδήγηση του τυπογράφου Χέρμαν Ζαπφ.

Είναι επίσης ο συγγραφέας του Surreal Numbers (1974) ISBN 0-201-03812-9, ενός μυθιστορήματος με θέμα τη θεωρία συνόλων του Τζον Κόνγουεϊ για κατασκευή ενός εναλλακτικού συστήματος αριθμών. Αντί να εξηγεί απλώς το θέμα, το βιβλίο προσπαθεί να δείξει την ανάπτυξη των μαθηματικών. Στόχος του Κνουθ ήταν να προετοιμάσει τους φοιτητές για την πραγματοποίηση πρωτότυπης και δημιουργικής έρευνας.

Στις 1 Ιανουαρίου 1990 ο Κνουθ ανακοίνωσε στους συναδέλφους του ότι δεν θα είχε πλέον διεύθυνση ηλεκτρονικού ταχυδρομείου, ώστε να συγκεντρωθεί στο έργο του.[10]

Το χιούμορ του Κνουθ[Επεξεργασία | επεξεργασία κώδικα]

Ο Κνουθ είναι γνωστός για το «επαγγελματικό του χιούμορ».

  • Συνήθιζε να πληρώνει εύρετρα 2,56 δολαρίων για κάθε λάθος (τυπογραφικό ή περιεχομένου) στα βιβλία του, γιατί "256 δεκάρες είναι ένα δεκαεξαδικό δολάριο". (Τα εύρετρα για λάθη στο 3:16 Bible Texts Illuminated, είναι αντίστοιχα 3,16 δολάρια). Σύμφωνα με άρθρο του περιοδικού Technology Review του ΜΙΤ αυτές οι επιταγές είναι από τα πλέον περιζήτητα «τρόπαια» στον κόσμο της πληροφορικής. Ο Κνουθ σταμάτησε την αποστολή των επιταγών το 2008, λόγω τραπεζικής απάτης και πλέον δίνει σε κάθε δικαιούχο πίστωση στην εικονική «Τράπεζα του Σαν Σερίφ».[11][12]
  • Οι αριθμοί εκδόσεων του λογισμικού TeX του Κνουθ αποτελούν προσέγγιση του αριθμού π, δηλαδή εξελίσσονται ως 3, 3.1, 3.14, 3.141 κ.ο.κ. Όπως έχει ζητήσει ο ίδιος, μετά τον θάνατό του η μόνη αλλαγή που θα γίνει στον κώδικα του TeX θα είναι η αναβάθμιση του αριθμού έκδοσης σε π.[13] Ομοίως στο λογισμικό Metafont οι αριθμοί εκδόσεων αποτελούν προσέγγιση του αριθμού e.
  • Κάποτε προειδοποίησε έναν αλληλογράφο: «Πρόσεξε για σφάλματα στον παραπάνω κώδικα. Έχω απλώς αποδείξει ότι είναι σωστός, δεν τον έχω δοκιμάσει».[4]
  • Όλα τα παραρτήματα στην σειρά Computers and Typesetting έχουν τίτλους που ξεκινούν με το γράμμα που χαρακτηρίζει το παράρτημα.
  • Στον τρίτο τόμο (δεύτερη έκδοση) του The Art of Computer Programming, υπάρχει στα περιεχόμενα η καταχώρηση «Εισοδήματα από δικαιώματα, χρήση των, 407». Στην σελίδα 407 δεν υπάρχει σαφής αναφορά στα εισοδήματα από δικαιώματα, υπάρχει όμως το διάγραμμα ενός εκκλησιαστικού οργάνου στο σχήμα 2. Προφανώς η αγορά του οργάνου για το σπίτι του χρηματοδοτήθηκε από τα έσοδά του από το βιβλίο.[14]

Εργογραφία[Επεξεργασία | επεξεργασία κώδικα]

Σύντομος κατάλογος των έργων του:[15]

  1. Volume 1: Fundamental Algorithms (3rd edition), 1997. Addison-Wesley Professional, ISBN 0-201-89683-4
  2. Volume 2: Seminumerical Algorithms (3rd Edition), 1997. Addison-Wesley Professional, ISBN 0-201-89684-2
  3. Volume 3: Sorting and Searching (2nd Edition), 1998. Addison-Wesley Professional, ISBN 0-201-89685-0
  4. Volume 4: Combinatorial Algorithms, in preparation
  • Donald E. Knuth, The Art of Computer Programming, fascicles:
  1. Volume 1, Fascicle 1: MMIX — A RISC Computer for the New Millennium, 2005. ISBN 0-201-85392-2
  2. Volume 4, Fascicle 0: Introduction to Combinatorial Algorithms and Boolean Functions. 2008. ISBN 0-321-53496-4
  3. Volume 4, Fascicle 1: in preparation.
  4. Volume 4, Fascicle 2: Generating All Tuples and Permutations, 2005. ISBN 0-201-85393-0
  5. Volume 4, Fascicle 3: Generating All Combinations and Partitions, 2005. ISBN 0-201-85394-9
  6. Volume 4, Fascicle 4: Generating All Trees -- History of Combinatorial Generation, 2006. ISBN 0-321-33570-8
  1. Donald E. Knuth, Literate Programming (Center for the Study of Language and Information — Lecture Notes), 1992. ISBN 0-937073-80-6
  2. Donald E. Knuth, Selected Papers on Computer Science (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 59), 1996. ISBN 1-881526-91-7
  3. Donald E. Knuth, Digital Typography (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 78), 1999. ISBN 1-57586-010-4
  4. Donald E. Knuth, Selected Papers on Analysis of Algorithms (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 102), 2000. ISBN 1-57586-212-3
  5. Donald E. Knuth, Selected Papers on Computer Languages (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 139), 2003. ISBN 1-57586-381-2 (cloth), ISBN 1-57586-382-0 (paperback)
  6. Donald E. Knuth, Selected Papers on Discrete Mathematics (Stanford, California: Center for the Study of Language and Information — CSLI Lecture Notes, no. 106), 2003. ISBN 1-57586-249-2 (cloth), ISBN 1-57586-248-4 (paperback)
  7. Donald E. Knuth, Selected Papers on Design of Algorithms (publication planned after Vol 4 Fasc 1)
  8. Donald E. Knuth, Selected Papers on Fun and Games (publication planned after Vol 4 Fasc 1)

Συνεντεύξεις και διαλέξεις[Επεξεργασία | επεξεργασία κώδικα]

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

  1. Εθνική Βιβλιοθήκη της Γερμανίας: (Γερμανικά, Αγγλικά) Gemeinsame Normdatei. Ανακτήθηκε στις 9  Απριλίου 2014.
  2. 2,0 2,1 amturing.acm.org/award_winners/knuth_1013846.cfm. Ανακτήθηκε στις 6  Μαρτίου 2016.
  3. MacTutor History of Mathematics archive. Ανακτήθηκε στις 22  Αυγούστου 2017.
  4. 4,0 4,1 "Frequently Asked Questions" at Stanford site Αρχειοθετήθηκε 2008-03-06 στο Wayback Machine.. Gives the pronunciation of his name as "Ka-NOOTH".
  5. http://www-cs-faculty.stanford.edu/~knuth/ Αρχειοθετήθηκε 2004-07-14 στο Wayback Machine..
  6. http://www-cs-faculty.stanford.edu/~uno/taocp.html Αρχειοθετήθηκε 2009-02-26 στο Wayback Machine..
  7. «Knuth's CV». Αρχειοθετήθηκε από το πρωτότυπο στις 18 Φεβρουαρίου 2012. Ανακτήθηκε στις 6 Ιανουαρίου 2009. 
  8. Kenneth H. Rosen, Discrete Mathematics and Its Applications 4th Ed., McGraw-Hill. 1999. p.82
  9. Love at First Byte Αρχειοθετήθηκε 2006-09-25 στο Wayback Machine.. Stanford Magazine, May/June 2006.
  10. Knuth, Donald Knuth versus Email Αρχειοθετήθηκε 2007-08-11 στο Wayback Machine. last changed on 2005-09-23, Retrieved on 2008-12-29.
  11. “Rewriting the Bible in 0’s and 1’s” in the Technology Review of the Massachusetts Institute of Technology. Το San Serriffe είναι το όνομα ενός φανταστικού νησιού που εμφανίστηκε σε πλαστό ρεπορτάζ της βρετανικής εφημερίδας Guardian, την Πρωταπριλιά του 1977. Σημειώνεται ακόμη ότι στα αγγλικά η ονομασία για τις γραμματοσειρές χωρίς ακρεμόνες είναι «sans serif». Γνωστά παραδείγματα αυτών των γραμματοσειρών είναι η Helvetica, η Arial και η Gill Sans.
  12. Sparkes, Matthew (31 Οκτωβρίου 2008). «Knuth launches The Bank of San Serriffe». PC Pro. Αρχειοθετήθηκε από το πρωτότυπο (html) στις 13 Απριλίου 2009. Ανακτήθηκε στις 31 Οκτωβρίου 2008. 
  13. Donald E. Knuth. The future of TeX and METAFONT, NTG journal MAPS (1990), 489. Ανατυπώθηκε ως το κεφάλαιο 30 στο έργο του Κνουθ Digital Typography, σ. 571.
  14. «"Pipe Organ" at Stanford site». Αρχειοθετήθηκε από το πρωτότυπο στις 17 Δεκεμβρίου 2008. Ανακτήθηκε στις 6 Ιανουαρίου 2009. 
  15. Πλήρης λίστα: "Books" at Stanford site Αρχειοθετήθηκε 2008-03-14 στο Wayback Machine.
  16. «"Selected Papers" at Stanford site». Αρχειοθετήθηκε από το πρωτότυπο στις 11 Ιουνίου 2007. Ανακτήθηκε στις 6 Ιανουαρίου 2009. 

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