Thumbnail
Ένα σημαντικό βήμα προς την απόδειξη ενός μαθηματικού γρίφου

Ένα σημαντικό βήμα προς την απόδειξη ενός μαθηματικού γρίφου πραγματοποίησαν δύο μαθηματικοί με τη βοήθεια ηλεκτρονικού υπολογιστή. Μοναδικό πρόβλημα στην αξιολόγηση της εργασίας τους, είναι πως το αρχείο που περιέχει τις πράξεις τους έχει μέγεθος 13 Gigabyte, όταν για παράδειγμα ολόκληρη η ηλεκτρονική εγκυκλοπαίδεια Wikipedia έχει μέγεθος μικρότερο από 10 Gigabyte.  

Τη δεκαετία του 1930 ο Ούγγρος μαθηματικός Paul Erdős ασχολήθηκε με τη συμπεριφορά άπειρων ακολουθιών των αριθμών 1 και -1 που επαναλαμβάνονται με τυχαία σειρά, ερευνώντας για μοτίβα που εμφανίζονται στα επιμέρους τμήματα. Ένας από τους τρόπους που σκέφτηκε για να μελετήσει μία τέτοια άπειρη ακολουθία, ήταν να επικεντρωθεί σε ένα τμήμα της και να δημιουργήσει μικρότερες υποακολουθίες, λαμβάνοντας υπόψη κάθε νιοστό ψηφίο, όπως για παράδειγμα κάθε δεύτερο, τρίτο ή έκτο ψηφίο. Στη συνέχεια όρισε το μέγεθος της ασυμφωνίας, ως το άθροισμα των ψηφίων της κάθε ακολουθίας.

Η υποψία του Erdős ήταν πως για κάθε άπειρη ακολουθία, υπάρχει μία πεπερασμένη υποακολουθία της οποίας η ασυμφωνία είναι μεγαλύτερη από οποιοδήποτε αριθμό μπορεί να διαλέξει κανείς. Μη καταφέρνοντας να αποδείξει μάλιστα τον ισχυρισμό του, προκήρυξε και το έπαθλο των 500$, σε όποιον άλλον τα κατάφερνε, κάτι που δε συνέβη όμως για τα επόμενα 80 χρόνια.
 
Το πρόβλημα για μικρές ακολουθίες είναι σχετικά απλό: για παράδειγμα σε ακολουθίες 12 ψηφίων, είναι δυνατό να αποδειχτεί ακόμη και με το χέρι  πως υπάρχει πάντα μία υποακολουθία της οποίας η ασυμφωνία είναι μεγαλύτερη από 1. Καθώς όμως ο αριθμός των ψηφίων μεγαλώνει το πρόβλημα γίνεται ολοένα και πιο περίπλοκο.
 
Οι Alexei Lisitsa και Boris Konev, ερευνητές του πανεπιστημίου του Λίβερπουλ, με τη βοήθεια ενός προγράμματος υπολογιστή, επέκτειναν τη λύση για ακολουθίες 1161 ψηφίων, όπου απέδειξαν πως πάντοτε βρίσκεται μία υποακολουθία με ασυμφωνία μεγαλύτερη από 12, ενώ σε άπειρες ακολουθίες έδειξαν πως πάντοτε υπάρχει υποακολουθία με ασυμφωνία μεγαλύτερη από 2.Αν και η εργασία τους αποτελεί ένα σημαντικό βήμα για τη διερεύνηση του ισχυρισμού του Erdős, η αξιολόγησή της είναι πρακτικά αδύνατη, εξαιτίας του όγκου των πράξεων που περιέχονται που αντιστοιχούν σε εκατομμύρια σελίδες. Όπως εξηγούν οι επιστήμονες η έρευνα της συμπεριφοράς του απείρου οδηγεί κάποιες φορές και σε «μη-ανθρώπινα» μαθηματικά. Ωστόσο οι επιστήμονες πιστεύουν πως εάν άλλα προγράμματα αναπαράγουν τα ίδια αποτελέσματα τότε θα υπάρχει και μία έμμεση επιβεβαίωση των αποτελεσμάτων τους, κάτι που προσπαθούν να κάνουν αυτό το διάστημα μαθηματικοί του πανεπιστημίου της Ιερουσαλήμ.
 

Όλες οι σημαντικές και έκτακτες ειδήσεις σήμερα

ΕΛΜΕΠΑ: Το κορυφαίο πρόγραμμα Ειδικής Αγωγής στην Ελλάδα για διπλή μοριοδότηση

Το 1ο στην Ελλάδα Πρόγραμμα επιμόρφωσης Τεχνητής Νοημοσύνης για εκπαιδευτικούς με Πιστοποιητικό

ΑΣΕΠ: Η πιο Εύκολη Πιστοποίηση Αγγλικών για μόρια σε 2 ημέρες (δίνεις από το σπίτι σου με 95 ευρώ)

Παν.Πατρών: Μοριοδοτούμενο σεμινάριο ΕΙΔΙΚΗ ΑΓΩΓΗΣ με 65Є εγγραφή - έως 25/11

ΕΥΚΟΛΕΣ πιστοποιήσεις ΙΣΠΑΝΙΚΩΝ - ΙΤΑΛΙΚΩΝ - ΓΑΛΛΙΚΩΝ - ΓΕΡΜΑΝΙΚΩΝ για ΑΣΕΠ - Πάρτε τις ΑΜΕΣΑ

2ος Πανελλήνιος Γραπτός Διαγωνισμός ΑΣΕΠ: Τα 2 μαθήματα εξέτασης και η ύλη

Google news logo Ακολουθήστε το Alfavita στo Google News Viber logo Ακολουθήστε το Alfavita στo Viber

σχετικά άρθρα

elmepa eidiki agwgi
Άμβλυνση και Ένταξη Παιδιών με Ειδικές Δυσκολίες στην Εκπαιδευτική Διαδικασία: Προκλήσεις και Αιτήματα
Η έλλειψη επαρκούς στήριξης και ουσιαστικής  καθοδήγησης του εκπαιδευτικού προσωπικού, σε συνδυασμό με τις αυξημένες ανάγκες αυτών των μαθητών,...
Άμβλυνση και Ένταξη Παιδιών με Ειδικές Δυσκολίες στην Εκπαιδευτική Διαδικασία: Προκλήσεις και Αιτήματα
ΣΧΟΛΕΙΟ
Μισθοδοσία εκπαιδευτικών: Οι ημερομηνίες πληρωμής για μόνιμους και αναπληρωτές
Ο μισθός του αναπληρωτή εκπαιδευτικού είναι συνάρτηση της προϋπηρεσίας του, των ακαδημαϊκών του προσόντων (μεταπτυχιακό ή διδακτορικό) και ανάλογα με...
Μισθοδοσία εκπαιδευτικών: Οι ημερομηνίες πληρωμής για μόνιμους και αναπληρωτές