Εισαγωγή
Το 1936, ο Βρετανός μαθηματικός Άλαν Τούρινγκ σκέφτηκε μια ιδέα για έναν παγκόσμιο υπολογιστή. Ήταν μια απλή συσκευή: μια άπειρη λωρίδα ταινίας καλυμμένη με μηδενικά και ένα, μαζί με μια μηχανή που μπορούσε να κινείται εμπρός και πίσω κατά μήκος της ταινίας, αλλάζοντας τα μηδενικά σε ένα και αντίστροφα σύμφωνα με κάποιο σύνολο κανόνων. Έδειξε ότι μια τέτοια συσκευή θα μπορούσε να χρησιμοποιηθεί για την εκτέλεση οποιουδήποτε υπολογισμού.
Ο Τούρινγκ δεν σκόπευε η ιδέα του να είναι πρακτική για την επίλυση προβλημάτων. Αντίθετα, πρόσφερε έναν ανεκτίμητο τρόπο για να εξερευνήσετε τη φύση του υπολογισμού και τα όριά του. Τις δεκαετίες μετά από αυτή τη θεμελιώδη ιδέα, οι μαθηματικοί έχουν συγκεντρώσει μια λίστα με ακόμη λιγότερο πρακτικά υπολογιστικά σχήματα. Παιχνίδια όπως το Minesweeper ή το Magic: The Gathering θα μπορούσαν, καταρχήν, να χρησιμοποιηθούν ως υπολογιστές γενικής χρήσης. Το ίδιο θα μπορούσαν και τα λεγόμενα κυψελωτά αυτόματα όπως του John Conway Παιχνίδι της Ζωής, ένα σύνολο κανόνων για την εξέλιξη των ασπρόμαυρων τετραγώνων σε ένα δισδιάστατο πλέγμα.
Τον Σεπτέμβριο του 2023, Ίννα Ζακαρέβιτς του Πανεπιστημίου Cornell και Τόμας Χαλ του Franklin & Marshall College έδειξε ότι οτιδήποτε μπορεί να υπολογιστεί μπορεί να υπολογιστεί διπλώνοντας χαρτί. Απέδειξαν ότι το origami είναι "ολοκληρωμένο το Turing" - που σημαίνει ότι, όπως μια μηχανή Turing, μπορεί να λύσει οποιοδήποτε υπολογιστικό πρόβλημα που μπορεί να λυθεί, με αρκετό χρόνο.
Ο Zakharevich, ένας δια βίου λάτρης του origami, άρχισε να σκέφτεται αυτό το πρόβλημα το 2021 αφού σκόνταψε σε ένα βίντεο που εξηγούσε την πληρότητα του Turing του Game of Life. «Ήμουν ότι το origami είναι πολύ πιο περίπλοκο από το Game of Life», είπε ο Zakharevich. "Αν το Game of Life είναι ολοκληρωμένο το Turing, το origami θα πρέπει να είναι και το Turing πλήρες."
Αλλά δεν ήταν αυτός ο τομέας της ειδικότητάς της. Αν και είχε διπλώσει το origami από μικρή — «αν θέλετε να μου δώσετε ένα εξαιρετικά περίπλοκο πράγμα που απαιτεί ένα φύλλο χαρτιού 24 ιντσών και έχει 400 βήματα, το έχω ξεπεράσει όλα αυτά», είπε — της η μαθηματική έρευνα ασχολήθηκε με τα πολύ πιο αφηρημένα πεδία της αλγεβρικής τοπολογίας και της θεωρίας κατηγοριών. Έτσι έστειλε email στον Hull, ο οποίος μελετούσε τα μαθηματικά του origami με πλήρες ωράριο.
«Μόλις μου έστειλε email από το μπλε και σκέφτηκα, γιατί ένας αλγεβρικός τοπολόγος με ρωτάει για αυτό;» είπε ο Χαλ. Αλλά συνειδητοποίησε ότι ποτέ δεν είχε σκεφτεί πραγματικά αν το origami θα μπορούσε να είναι πλήρες του Turing. «Ήμουν, μάλλον είναι, αλλά στην πραγματικότητα δεν ξέρω».
Έτσι, αυτός και ο Ζαχάρεβιτς ξεκίνησαν να αποδείξουν ότι μπορείτε να φτιάξετε έναν υπολογιστή από origami. Πρώτα έπρεπε να κωδικοποιήσουν τις υπολογιστικές εισόδους και εξόδους - καθώς και βασικές λογικές πράξεις όπως AND και OR - ως πτυχές χαρτιού. Εάν μπορούσαν στη συνέχεια να δείξουν ότι το σχήμα τους θα μπορούσε να προσομοιώσει κάποιο άλλο υπολογιστικό μοντέλο που είναι ήδη γνωστό ότι είναι ολοκληρωμένο ο Turing, θα πετύχαιναν τον στόχο τους.
Μια λογική πράξη λαμβάνει μία ή περισσότερες εισόδους (καθεμία γραμμένη ως TRUE ή FALSE) και βγάζει μια έξοδο (TRUE ή FALSE) βάσει ενός δεδομένου κανόνα. Για να κάνουν μια πράξη από χαρτί, οι μαθηματικοί σχεδίασαν ένα διάγραμμα γραμμών, που ονομάζεται μοτίβο πτυχής, που καθορίζει πού θα διπλώσει το χαρτί. Μια πιέτα στο χαρτί αντιπροσωπεύει μια είσοδο. Εάν διπλώσετε κατά μήκος μίας γραμμής στο σχέδιο πτυχής, η πιέτα γυρίζει προς τη μία πλευρά, υποδεικνύοντας μια τιμή εισαγωγής TRUE. Αλλά αν διπλώσετε το χαρτί κατά μήκος μιας διαφορετικής (κοντινής) γραμμής, η πιέτα γυρίζει στην αντίθετη πλευρά, υποδεικνύοντας FALSE.
Εισαγωγή
Δύο από αυτές τις πιέτες εισόδου τροφοδοτούν ένα περίπλοκο γρύλισμα πτυχών που ονομάζεται gadget. Το gadget κωδικοποιεί τη λογική λειτουργία. Προκειμένου να γίνουν όλες αυτές οι πτυχές και να συνεχίσουν να διπλώνουν το χαρτί επίπεδη - μια απαίτηση που επιβάλλουν οι Χαλ και Ζαχάρεβιτς - συμπεριέλαβαν μια τρίτη πτυχή που αναγκάζεται να διπλωθεί με συγκεκριμένο τρόπο. Εάν η πιέτα γυρίσει προς μία κατεύθυνση, σημαίνει ότι η έξοδος είναι ΑΛΗΘΗΣ. Αν γυρίσει αντίστροφα, η έξοδος είναι FALSE.
Οι μαθηματικοί σχεδίασαν διαφορετικά gadget που μετατρέπουν τις εισροές σε εξόδους σύμφωνα με διάφορες λογικές πράξεις. «Ήταν πολύ να παίζουμε με χαρτί και να στέλνουμε φωτογραφίες ο ένας στον άλλο… και μετά να γράφουμε αυστηρές αποδείξεις ότι αυτά τα πράγματα λειτουργούσαν όπως είπαμε», είπε ο Χαλ.
Είναι γνωστό από τα τέλη της δεκαετίας του 1990 ότι ένα απλούστερο μονοδιάστατο αναλογικό του Conway's Game of Life ολοκληρώθηκε ο Turing. Ο Χαλ και ο Ζαχάρεβιτς κατάλαβαν πώς να γράψουν αυτή την έκδοση του Life από την άποψη των λογικών πράξεων. «Καταλήξαμε να χρειαζόμαστε μόνο τέσσερις πύλες: AND, OR, NAND και NOR», είπε ο Zakharevich, αναφερόμενος σε δύο επιπλέον απλές πύλες. Αλλά για να συνδυάσουν αυτές τις διαφορετικές πύλες, έπρεπε να κατασκευάσουν νέα gadgets που απορροφούσαν ξένα σήματα και επέτρεπαν σε άλλα σήματα να στρίβουν και να τέμνονται χωρίς να παρεμβαίνουν μεταξύ τους. «Αυτό ήταν το πιο δύσκολο κομμάτι», είπε ο Ζαχάρεβιτς, «να καταλάβω πώς να τα φτιάξω όλα σωστά». Αφού αυτή και ο Χαλ κατάφεραν να ταιριάξουν τα gadget τους μεταξύ τους, μπορούσαν να κωδικοποιήσουν όλα όσα χρειάζονταν σε πτυχώσεις χαρτιού, δείχνοντας έτσι ότι το origami είναι πλήρες.
Ένας υπολογιστής origami θα ήταν πολύ αναποτελεσματικός και μη πρακτικός. Αλλά κατ 'αρχήν, εάν είχατε ένα πολύ μεγάλο κομμάτι χαρτί και πολύ χρόνο στα χέρια σας, θα μπορούσατε να χρησιμοποιήσετε origami για να υπολογίσετε αυθαίρετα πολλά ψηφία $latex pi$, να καθορίσετε τον βέλτιστο τρόπο δρομολόγησης κάθε οδηγού παράδοσης στον κόσμο ή τρέξτε ένα πρόγραμμα για να προβλέψετε τον καιρό. «Στο τέλος, το σχέδιο τσάκισης είναι τεράστιο», είπε ο Χαλ. «Είναι δύσκολο να πάει πάσο, αλλά κάνει τη δουλειά».
Για δεκαετίες, οι μαθηματικοί έλκονταν από το origami επειδή «φαινόταν διασκεδαστικό και άχρηστο», είπε. Erik Demaine, επιστήμονας υπολογιστών στο Ινστιτούτο Τεχνολογίας της Μασαχουσέτης που έχει συμβάλει εκτενώς στα μαθηματικά του origami. Πρόσφατα όμως τράβηξε και τα βλέμματα των μηχανικών.
Τα μαθηματικά του origami έχουν χρησιμοποιηθεί για τον σχεδιασμό τεράστιων ηλιακών συλλεκτών που μπορούν να διπλωθούν και να μεταφερθούν στο διάστημα, ρομπότ που κολυμπούν μέσα στο νερό για να συλλέξουν περιβαλλοντικά δεδομένα, στεντ που ταξιδεύουν μέσα από μικροσκοπικά αιμοφόρα αγγεία και πολλά άλλα. «Τώρα υπάρχουν εκατοντάδες αν όχι χιλιάδες άνθρωποι που χρησιμοποιούν όλα τα μαθηματικά και τους αλγόριθμους origami που έχουμε αναπτύξει στο σχεδιασμό νέων μηχανικών δομών», είπε ο Demaine.
Και έτσι, «όσο περισσότερα κάνουμε τέτοια πράγματα», είπε ο Hull, «τόσο περισσότερες πιθανότητες πιστεύω ότι θα έχουμε να δημιουργήσουμε βαθιές διασταυρώσεις μεταξύ origami και καθιερωμένων κλάδων των μαθηματικών».
- SEO Powered Content & PR Distribution. Ενισχύστε σήμερα.
- PlatoData.Network Vertical Generative Ai. Ενδυναμώστε τον εαυτό σας. Πρόσβαση εδώ.
- PlatoAiStream. Web3 Intelligence. Ενισχύθηκε η γνώση. Πρόσβαση εδώ.
- PlatoESG. Ανθρακας, Cleantech, Ενέργεια, Περιβάλλον, Ηλιακός, Διαχείριση των αποβλήτων. Πρόσβαση εδώ.
- PlatoHealth. Ευφυΐα βιοτεχνολογίας και κλινικών δοκιμών. Πρόσβαση εδώ.
- πηγή: https://www.quantamagazine.org/how-to-build-an-origami-computer-20240130/
- :έχει
- :είναι
- :δεν
- :που
- ][Π
- $UP
- 2021
- 2023
- 400
- 7
- a
- Σχετικα
- απορροφηθεί
- ΠΕΡΙΛΗΨΗ
- ολοκληρώσει
- Σύμφωνα με
- πραγματικά
- Πρόσθετος
- Μετά το
- Alan
- Alan Turing
- αλγόριθμοι
- Όλα
- επιτρέπεται
- κατά μήκος
- ήδη
- Επίσης
- Αν και
- an
- και
- κάθε
- οτιδήποτε
- ΠΕΡΙΟΧΗ
- γύρω
- AS
- ζητώντας
- At
- πίσω
- βασίζονται
- βασικός
- BE
- επειδή
- ήταν
- Καλύτερα
- μεταξύ
- Μαύρη
- αίμα
- Μπλε
- υποκαταστήματα
- Βρετανοί
- χτίζω
- αλλά
- by
- υπολογίσει
- που ονομάζεται
- ήρθε
- CAN
- κατηγορία
- αλιεύονται
- ευκαιρία
- αλλαγή
- συλλέγουν
- Κολλέγιο
- συνδυασμός
- πλήρης
- συγκρότημα
- περίπλοκος
- υπολογισμός
- υπολογιστική
- υπολογίζεται
- υπολογιστή
- υπολογιστές
- χρήση υπολογιστή
- συνέβαλε
- cornell
- θα μπορούσε να
- καλύπτονται
- ημερομηνία
- μοιράστηκε
- δεκαετίες
- βαθύς
- διανομή
- Υπηρεσίες
- σχεδιασμένα
- Προσδιορίστε
- αναπτύχθηκε
- συσκευή
- διάγραμμα
- DID
- διαφορετικές
- ψηφία
- do
- γίνεται
- Μην
- που
- οδηγός
- κάθε
- τέλος
- έληξε
- Μηχανικοί
- αρκετά
- θιασώτης
- περιβάλλοντος
- δημιουργία
- Even
- Κάθε
- πάντα
- εξελίσσεται
- εξειδίκευση
- εξήγησε
- διερευνήσει
- εκτεταμένα
- μάτι
- ψευδής
- σχηματικός
- Όνομα
- ταιριάζουν
- ίσια
- Περνάει
- πτυχές
- Για
- αναγκάζεται
- Εμπρός
- τέσσερα
- Franklin
- πλήρη
- διασκέδαση
- Gadgets
- παιχνίδι
- Games
- Πύλες
- συγκέντρωση
- γενικού σκοπού
- παίρνω
- παίρνει
- Δώστε
- δεδομένου
- γκολ
- Πλέγμα
- είχε
- τα χέρια
- Σκληρά
- Έχω
- he
- αυτήν
- του
- Πως
- Πώς να
- HTML
- http
- HTTPS
- Εκατοντάδες
- i
- ιδέα
- if
- επιβάλλω
- μη πρακτικός
- in
- περιλαμβάνονται
- ανεπαρκής
- Άπειρος
- εισαγωγή
- είσοδοι
- Ινστιτούτο
- σκοπεύω
- παρεμβαίνοντας
- Τομή
- σε
- ανεκτίμητος
- IT
- ΤΟΥ
- Δουλειά
- Γιάννης
- μόλις
- Ξέρω
- γνωστός
- large
- Αργά
- μείον
- ζωή
- ισόβια
- Μου αρέσει
- όρια
- γραμμή
- γραμμές
- Λιστα
- λογικός
- Παρτίδα
- πλήθος
- μηχανή
- περιοδικό
- μαγεία
- κάνω
- διαχειρίζεται
- πολοί
- Μασαχουσέτη
- Ινστιτούτο Τεχνολογίας της Μασαχουσέτης
- μαζική
- μαζικά
- μαθηματικά
- μαθηματικός
- μαθηματικά
- me
- νόημα
- μέσα
- μηχανικός
- ενδέχεται να
- μοντέλο
- περισσότερο
- μετακινήσετε
- πολύ
- Φύση
- που απαιτούνται
- χρειάζονται
- ποτέ
- Νέα
- of
- προσφέρονται
- on
- ONE
- αυτά
- αποκλειστικά
- επάνω σε
- λειτουργία
- λειτουργίες
- απέναντι
- βέλτιστη
- or
- τάξη
- ΑΛΛΑ
- έξω
- παραγωγή
- εξόδους
- επί
- πάνελ
- Χαρτί
- μέρος
- Ειδικότερα
- πρότυπο
- People
- Εκτελέστε
- Εικόνες
- κομμάτι
- Πλάτων
- Πληροφορία δεδομένων Plato
- Πλάτωνα δεδομένα
- παιχνίδι
- Πρακτικός
- προβλέψει
- αρχή
- πιθανώς
- Πρόβλημα
- προβλήματα
- Πρόγραμμα
- αποδείξεις
- δεόντως
- Αποδείξτε
- αποδείχθηκε
- Quantamamagazine
- μάλλον
- συνειδητοποίησα
- σφαίρες
- πρόσφατα
- αντιπροσωπεύει
- απαίτηση
- Απαιτεί
- έρευνα
- αυστηρός
- ρομπότ
- Διαδρομή
- Άρθρο
- κανόνες
- τρέξιμο
- Είπε
- σχέδιο
- συστήματα
- Επιστήμονας
- φαινόταν
- αποστολή
- Σεπτέμβριος
- σειρά
- αυτή
- σεντόνι
- θα πρέπει να
- δείχνουν
- έδειξε
- πλευρά
- σήματα
- Απλούς
- απλούστερη
- υποκρίνομαι
- αφού
- So
- ηλιακός
- ηλιακούς συλλέκτες
- SOLVE
- Επίλυση
- μερικοί
- Χώρος
- πλατείες
- ξεκίνησε
- Βήματα
- Ακόμη
- δομές
- μελετημένος
- σκοντάψει
- τέτοιος
- Σούπερ
- παίρνει
- Τεχνολογία
- όροι
- από
- ότι
- Η
- ο κόσμος
- τους
- τότε
- θεωρία
- εκ τούτου
- Αυτοί
- αυτοί
- πράγμα
- πράγματα
- νομίζω
- Σκέψη
- Τρίτος
- αυτό
- σκέψη
- χιλιάδες
- Μέσω
- ώρα
- προς την
- μαζι
- πολύ
- ταξίδι
- αληθής
- αναδιάρθρωσης
- ΣΤΡΟΦΗ
- δύο
- Παγκόσμιος
- πανεπιστήμιο
- χρήση
- μεταχειρισμένος
- άχρηστος
- χρησιμοποιώντας
- αξία
- διάφορα
- εκδοχή
- πολύ
- μέγγενη
- Βίντεο
- θέλω
- ήταν
- Νερό
- Τρόπος..
- we
- Weather
- webp
- ΛΟΙΠΌΝ
- ήταν
- αν
- άσπρο
- Ο ΟΠΟΊΟΣ
- WHY
- με
- χωρίς
- εργάστηκαν
- κόσμος
- θα
- γράφω
- γραφή
- γραπτή
- Εσείς
- νέος
- Σας
- zephyrnet