🔤 Το Αλφάβητο της Λογικής: Ένα Πεπερασμένο Σύνολο Συμβόλων για Άπειρη Αλήθεια

🔠 Ένα πεπερασμένο αλφάβητο

Ένα πεπερασμένο σύνολο συμβόλων συλλαμβάνει άπειρη αλήθεια. Τα σύμβολα ∀ («για κάθε»), ∃ («υπάρχει»), ∃! («υπάρχει μοναδικό»), | («τέτοιο ώστε»), ∈ («ανήκει»), ∧ («και»), ∨ («ή») και ⊆ («υποσύνολο του») αποτελούν τη σύνταξη της αυστηρής λογικής σκέψης. Αυτοί οι ποσοδείκτες και σύνδεσμοι τροφοδοτούν την τυπική επαλήθευση λογισμικού (formal verification), τις αποδείξεις ασφάλειας στην κρυπτογραφία, και τα λογικά θεμέλια της τεχνητής νοημοσύνης. Η ακρίβεια στα σύμβολα οδηγεί σε ακρίβεια στην κατανόηση του κόσμου.

✍️ Ένας αιώνας κατασκευής

Τα περισσότερα από αυτά τα σύμβολα δεν είναι τόσο παλιά όσο ίσως φαντάζεστε — επινοήθηκαν κυρίως ανάμεσα στο 1880 και το 1920, με κύριους «αρχιτέκτονες» τους Giuseppe Peano, Ernst Schröder, Alfred North Whitehead και Bertrand Russell.

Το σύμβολο ∈ προέρχεται από το ελληνικό γράμμα έψιλον — ο Peano το χρησιμοποίησε πρώτος το 1889, ως συντομογραφία της λατινικής λέξης est («είναι»). Το σύμβολο ∃ εισήγαγε επίσης ο Peano, το 1897, ως τα αρχικά γράμματα του λατινικού exi(s)tit («υπάρχει»).

⏳ 38 χρόνια αναμονής για το «για κάθε»

Το πιο εκπληκτικό: το ταίρι του ∃ —το σύμβολο ∀— δεν εμφανίστηκε παρά μόνο το 1935, από τον Γερμανό λογικό Gerhard Gentzen, ο οποίος το επινόησε ως αντεστραμμένο «A», αναφορά στη γερμανική λέξη Alle («όλα»), σε αναλογία με το ήδη υπάρχον σύμβολο του Peano. Επί 38 ολόκληρα χρόνια, λοιπόν, η μαθηματική λογική διέθετε σύμβολο για το «υπάρχει», αλλά όχι για το «για κάθε» — οι μαθηματικοί, όπως ο Bertrand Russell, έγραφαν απλώς τη δεσμευμένη μεταβλητή μέσα σε παρένθεση, όπως (x), για να δηλώσουν καθολικότητα.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →