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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση
Ο Κνουθ το 2005

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  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. 1,0 1,1 "Frequently Asked Questions" at Stanford site. Gives the pronunciation of his name as "Ka-NOOTH".
  2. http://www-cs-faculty.stanford.edu/~knuth/.
  3. http://www-cs-faculty.stanford.edu/~uno/taocp.html.
  4. Knuth's CV
  5. Kenneth H. Rosen, Discrete Mathematics and Its Applications 4th Ed., McGraw-Hill. 1999. p.82
  6. Love at First Byte. Stanford Magazine, May/June 2006.
  7. Knuth, Donald Knuth versus Email last changed on 2005-09-23, Retrieved on 2008-12-29.
  8. “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.
  9. Sparkes, Matthew (2008-10-31). «Knuth launches The Bank of San Serriffe» (html). PC Pro. http://www.pcpro.co.uk/blogs/2008/10/31/knuth-launches-the-bank-of-san-serriffe/. Ανακτήθηκε στις 2008-10-31. 
  10. Donald E. Knuth. The future of TeX and METAFONT, NTG journal MAPS (1990), 489. Ανατυπώθηκε ως το κεφάλαιο 30 στο έργο του Κνουθ Digital Typography, σ. 571.
  11. “Pipe Organ” at Stanford site
  12. Πλήρης λίστα: "Books" at Stanford site
  13. "Selected Papers" at Stanford site

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

Commons logo
Τα Wikimedia Commons έχουν πολυμέσα σχετικά με το θέμα
Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Donald Knuth της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 3.0. (ιστορικό/συντάκτες).