ΔΙΑΛΕΞΕΙΣ ΓΙΑ ΤΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ

Όταν έγραψα τις Διαλέξεις για την Φυσική, εδώ και τριάντα χρόνια περίπου, το θεώρησα ως μια βοήθεια προς τους φοιτητές οι οποίοι είχαν σκοπό να σπουδάσουν Φυσική. Παραπονέθηκα επίσης για τις δυσκολίες του να στριμώξω πολλές εκατοντάδες χρόνια επιστήμης σε μόλις τρεις τόμους. Με αυτές τις Διαλέξεις για τους Υπολογιστές τα πράγματα είναι κάπως ευκολότερα, αλλά μόνον αυτό. Πρώτον, οι διαλέξεις δεν προορίζονται μόνο για σπουδαστές της επιστήμης των υπολογιστών, γεγονός που με απελευθερώνει από τα δεσμά των σημειώσεων για εξετάσεις και μου επιτρέπει να καλύψω διάφορες περιοχές του αντικειμένου, απλά και μόνο, γιατί είναι ενδιαφέρουσες. Δεύτερον, η επιστήμη των υπολογιστών δεν είναι τόσο παλαιά όσο η Φυσική, υπολείπεται κατά διακόσια χρόνια. Εν τούτοις, αυτό δεν σημαίνει ότι το πιάτο ενός πληροφορικού είναι πιο άδειο από αυτό ενός φυσικού: μπορεί να είναι νεότερη αλλά έχει μια πολύ πιο ραγδαία ανάπτυξη. Έτσι υπάρχουν ακόμη πολλά που πρέπει να καλύψουμε. Η επιστήμη των υπολογιστών επίσης διαφέρει από την φυσική στο ότι δεν είναι ακριβώς μια επιστήμη. Δεν μελετά φυσικά αντικείμενα. Ούτε είναι, όπως θα μπορούσατε να νομίσετε, μαθηματικά παρόλο που χρησιμοποιεί σε αρκετή έκταση τον μαθηματικό συλλογισμό. Μάλλον, η επιστήμη των υπολογιστών μοιάζει με την μηχανική - όλη η ιστορία είναι ότι χρησιμοποιείς κάτι για να κάνεις κάτι, αντί να ασχολείσαι με αφαιρέσεις και υποθετικούς συλλογισμούς όπως συνέβαινε στην προ Smith Γεωλογία. Σήμερα στην επιστήμη των υπολογιστών χρειάζεται επίσης να κατεβούμε κάτω στις στοές - αργότερα μπορούμε να γενικεύσουμε. Δεν κάνει κακό να κοιτάμε πρώτα τις λεπτομέρειες. Αλλά αυτό δεν σημαίνει ότι αυτή η επιστήμη είναι εξ ολοκλήρου ένα πρακτικό ζήτημα όπως η κατασκευή μιας γέφυρας. Καμία σχέση. Η επιστήμη αυτή αγγίζει μια ποικιλία σοβαρών θεωρητικών θεμάτων. Έχει φωτίσει την φάση τη γλώσσας, την οποία νομίζαμε ότι είχαμε καταλάβει: πρώιμες προσπάθειες μηχανικής μετάφρασης απέτυχαν, επειδή, οι παλαιές απόψεις περί γραμματικής δεν μπόρεσαν να συλλάβο