Μπορεί ένας υπολογισμός στη θεωρία αριθμών να αποκαλύψει ένα ελάττωμα σε έναν από τους διασημότερους επεξεργαστές της εποχής του;
Αυτό ακριβώς συνέβη με τους δίδυμους πρώτους: ζεύγη πρώτων αριθμών που διαφέρουν κατά \(2\), όπως
\[ (3,5),\quad(5,7),\quad(11,13),\quad(17,19),\ldots \]
Το 1919 ο Νορβηγός μαθηματικός Viggo Brun απέδειξε ένα εντυπωσιακό αποτέλεσμα: ακόμη κι αν υπάρχουν άπειρα ζεύγη δίδυμων πρώτων, το άθροισμα των αντιστρόφων τους συγκλίνει.
\[ \frac13+\frac15+\frac15+\frac17+ \frac1{11}+\frac1{13}+\cdots \longrightarrow 1.9021605\ldots \]
Ο αριθμός αυτός είναι γνωστός ως σταθερά του Brun.
Δεκαετίες αργότερα, ο μαθηματικός Thomas Nicely υπολόγιζε τη σταθερά του Brun. Όμως ορισμένα αποτελέσματα του υπολογιστή του διαφωνούσαν επανειλημμένα με όσα περίμενε. Το πρόβλημα δεν βρισκόταν στα Μαθηματικά — αλλά στον ίδιο τον υπολογιστή.
Οι έρευνές του συνέβαλαν στην αποκάλυψη, το 1994, του περίφημου Intel Pentium floating-point division bug: ενός σφάλματος στον επεξεργαστή που μπορούσε, σε συγκεκριμένες διαιρέσεις κινητής υποδιαστολής, να δώσει λανθασμένα αποτελέσματα.
✨ Μια έρευνα για τους πρώτους αριθμούς κατέληξε να εντοπίσει ένα λάθος μέσα σε ένα μικροτσίπ.
📚 Πηγή: David Wells, Prime Numbers: The Most Mysterious Figures in Math.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου