Για την «υπαρκτή Πληροφορική»

Αυτές τις μέρες διαβάζω μια βιογραφία του John von Neumann γραμμένη από τον Βρετανο-Ινδό μαθηματικό Ananyo Bhattacharya. 

Πέραν του ότι είναι ένα υπέροχο ανάγνωσμα από μόνο του (χαρισματικός ο συγγραφέας και άψογη η μετάφραση), δεν μπορώ να κρύψω τον ενθουσιασμό μου διαβάζοντας για δυο τεράστιες προσωπικότητες, τον Kurt Gödel και τον Alan Turing (ειδικά όταν διάβασα για τους «αριθμούς Gödel», έπαθα πλάκα) μέσα από την αλληλεπίδραση τους με τον von Neumann για τη θεμελίωση της Επιστήμης Υπολογιστών αλλά και της δημιουργίας των πρώτων υπολογιστικών μηχανών γενικού σκοπού. 

Είναι εκπληκτικό να αντιληφθεί κανείς την δική τους οπτική στα πράγματα και θλιβερό (;) να δεις σε τι έχει καταντήσει η «υπαρκτή πληροφορική», που μάλλον μοιάζει με παιχνίδι Lego και αποστήθιση βιβλιοθηκών.

Ίσως από την άλλη να μην είναι θλιβερό αλλά να είναι μαγικό. Το ότι μπορεί κάποιος να «γράφει» χρήσιμα πρόγραμμα χωρίς να ξέρει τίποτα για λογική και αλγόριθμους, ούτε φυσικά για το υλικό στο οποίο αυτοί «τρέχουν», μπορεί να ιδωθεί ενδεχομένως και ως μια ύστατη μορφή εκδημοκρατισμού.

Εκδημοκρατισμός όμως που περιέχει μεγάλες παγίδες, όπως για παράδειγμα μας δίδαξαν οι δυο συντριβές των ολοκαίνουργιων Boeing 737 Max λόγω σφάλματος λογισμικού…

Αναρωτιέμαι, στις εταιρείες που εργαζόμαστε, μην πω και σε ερευνητικά ιδρύματα, «παράγουμε software» ή απλώς ενώνουμε κουτάκια;