Ο θρύλος των υπολογιστών και πρώην συνεργάτης της Apple, Alan Kay, έγραψε ευγενικά ένα λεπτομερές σημείωμα εξηγώντας ένα σχόλιο που έκανε στην CES, αναφέρθηκε ευγενικά εδώ. Lookάχνοντας για ένα καινοτόμο ψήγμα από τη σύνθετη ομιλία του Κέι, προσπαθούσα να κάνω ένα αστείο σχετικά με κάτι βαθύ που αποκαλύπτεται στο όργανο του gadget CES. («Όλοι πιστεύαμε ότι ήταν πολύ αστείο», είπε ο Kay σε ξεχωριστό email).
Το σημείωμα του Κέι εξηγεί ένα σχόλιο που έκανε σχετικά με τη λογική έκφραση ΟΥΤΕ ΚΑΙ ΤΑ ΔΥΟ στα οποία βασίζεται όλη η ανθρώπινη σκέψη.
«Αυτό που είπα ήταν ότι όλα τα ανθρώπινα σύμβολα/λογικά συστήματα ΠΑΡΟΥΣΙΑΣΗΣ και όλοι οι υπολογιστές του παρελθόντος και του μέλλοντος μπορούν να γίνουν και από τα δύο», λέει ο Kay.
Το πλήρες, συναρπαστικό email του Kay μετά το άλμα.
Ευχαριστώ για τη γραφή σας στη χθεσινή μου συζήτηση.
Μια μικρή διόρθωση είναι ότι δεν είπα:
«Όλη η ανθρώπινη γνώση μπορεί να εξηγηθεί με την απλή λογική έκφραση ΟΧΙ ΤΑ ΔΥΟ, είπε ο Κέι. "Είναι μια λογική έκφραση που εξηγεί κάθε σκέψη", είπε στη μέση της ομιλίας του "
Αυτό που είπα ήταν ότι όλα τα ανθρώπινα σύμβολα/λογικά συστήματα ΠΑΡΟΥΣΙΑΣΗΣ και όλοι οι υπολογιστές του παρελθόντος και του μέλλοντος μπορούν να κατασκευαστούν από ΟΧΙ ΤΑ ΔΥΟ.
Έκανα το κλασικό σφάλμα να αφήσω το ρολόι να με πιέσει να χρησιμοποιήσω μια πρόταση όπου θα έπρεπε να είχα χρησιμοποιήσει καμία ή λίγες.
Η αναλογία είναι ότι όλα τα έμβια όντα που γνωρίζουμε στον πλανήτη είναι φτιαγμένα από μερικά μόνο είδη ατόμων (περίπου έξι είδη). Αυτό δεν εξήγησε τη ζωή, επειδή είναι η σύνθετη δυναμική αρχιτεκτονική αυτών των ατόμων που εξηγεί τη ζωή, όχι τα ίδια τα άτομα. Ομοίως, μπορούμε να φτιάξουμε καμάρες από τούβλα, αλλά είναι πολύ δύσκολο να εφεύρουμε μια καμάρα από το να βλέπουμε ένα τούβλο (χρειάστηκαν χιλιάδες χρόνια για να έχουν την ιδέα και να καταλάβουν πώς να το κάνουν).
Ο χειριστής ΟΧΙ ΤΟ ΔΥΟ (που ονομάζεται NAND in computerdom) πραγματοποιήθηκε για πρώτη φορά από τον Αμερικανό μαθηματικό Charles Peirce 1880 όταν κοιτούσε το βιβλίο του Boole για τη λογική, το οποίο έδειχνε πώς όλες οι λογικές πράξεις μπορούν να γίνουν από AND, OR, και ΔΕΝ. Ο Peirce συνειδητοποιεί ότι ΟΥΤΕ και οι δύο σε όλες τις πιθανές τιμές των εισόδων Α και Β ήταν αρκετές για να κάνουν αυτό που έκαναν οι τρεις πιο κατανοητές πράξεις του Boole και άλλων λογικών.
Σήμερα, αυτή η επέμβαση συχνά ονομάζεται «Εγκεφαλικό επεισόδιο Σέφερ» (περ. αρχές του 1900) επειδή το έργο του Peirce χάθηκε για λίγο.
Παραδείγματα
Νομίζω ότι η χρήση του 0 και του 1 είναι ευκολότερο να κατανοηθεί από το ψευδές και αληθινό (ή απενεργοποιημένο και ενεργοποιημένο, ή όχι ή ναι), οπότε ας:
0 να χρησιμοποιηθεί για να δηλώσει ψευδές ή απενεργοποιημένο ή όχι
1 χρησιμοποιείται για να δηλώσει true ή on ή yes
———————————————————–
Ορίστε op = ΟΧΙ ΤΑ ΔΥΟ ως
A op B = C
— — —
0 0 = 1
0 1 = 1
1 0 = 1
1 1 = 0
————————————————————
Μερικές φορές χρησιμοποιούμε αυτή τη λειτουργία στη συνηθισμένη ζωή.
Για παράδειγμα, αν μιλάμε για τη στήριξη της ζωής ενός ασθενούς, και το Α είναι η οικογένεια του ασθενούς, και ο Β είναι ο γιατρός, και τα μέσα Γ πρέπει να είναι η ζωή η υποστήριξη του ασθενούς να είναι ενεργοποιημένη (1) ή απενεργοποιημένη (0), τότε η λογική που θέλουμε να κάνουμε είναι ότι μπορούμε να απενεργοποιήσουμε τη στήριξη ζωής μόνο αν η οικογένεια και ο γιατρός συμπίπτω.
Δηλαδή Α: Ναι Β: Ναι Γ: Ανενεργό
Φυσικά, οι περισσότεροι άνθρωποι δεν θα το σκέφτονταν έτσι, γιατί το νευρικό μας σύστημα είναι τρομερό ΔΕΝ (και άρνηση όλων των ειδών). (Δεν μπορούμε να πούμε σε κάποιον "Μην σκέφτεσαι τον ροζ ελέφαντα" χωρίς να το λες - ή "Η κριτική επιτροπή θα αγνοήσει την τελευταία παρατήρηση".)
Η καθολικότητα αυτού για την πραγματοποίηση αναπαραστάσεων είναι πιο εύκολο να δει τώρα από ό, τι στην εποχή του Peirce, επειδή μπορούμε να φτιάξουμε κάθε στοιχείο σε έναν υπολογιστή (τόσο μνήμη όσο και λογική επεξεργασίας) από ΟΧΙ ΤΑ ΔΥΟ. Και οι άνθρωποι έχουν πλέον μια άτυπη αίσθηση χρησιμοποιώντας υπολογιστές ότι μπορούν να αντιπροσωπεύουν «τα πάντα» (όλες οι γραπτές γλώσσες, οτιδήποτε μπορεί να γίνει από σημάδια, κείμενο, εικόνες, ταινίες, ήχους και συστήματα αναπαράστασης που είναι πιο σκοτεινά, και τα λοιπά.).
Και, πίσω στην αναλογία της σχέσης μεταξύ μερικών ειδών ατόμων και της δημιουργίας ζωής, θεωρητικά θα πρέπει να μπορούμε να κάνουμε μηχανές που σκέφτονται επίσης (και καλύτερα από εμάς) από αρχιτεκτονικές εντελώς διαμορφωμένες από το μοναδικό είδος τούβλου του ΟΧΙ ΚΑΙ ΤΑ ΔΥΟ. Αλλά τόσο η επιστήμη όσο και η μηχανική απαιτούν πραγματικά παραδείγματα μοντέλων που λειτουργούν - έτσι αυτές είναι εικασίες (αλλά καλές) σε αυτό το σημείο.
Μπορείτε να δείτε γιατί έπρεπε να είχα κλείσει το στόμα μου για αυτό (ή να είχα μια διαφορετική ομιλία).
Στην υγειά σας,
Άλαν
