Η εμφάνιση των λογαρίθμων συνεπαγόταν με σημαντική εξοικονόμηση χρόνου και ενέργειας αφού μέχρι τότε χρησιμοποιούνται αργοί υπολογισμοί. Αργότερα, εμφανίστηκε ο κανόνας λογισμού και οι πρώτες υπολογιστικές μηχανές.
Ήταν όμως οι υπολογιστές οι πρώτοι που άρχισαν να κάνουν υπολογισμούς οι οποίοι κατάφεραν να ξεπερνούν και τον άνθρωπο; Έφτασε η στιγμή που οι μηχανές μπόρεσαν να φέρουν εις πέρας την προσομοίωση της προωθητικής αλύσωσης, ίδιον ενός μαθηματικού νου. Κάποιοι επιστήμονες είχαν την αίσθηση ότι εισέρχονταν σε ένα πεδίο στο οποίο μέχρι τότε δεν είχε πρόσβαση κανένα μηχάνημα.
Η ανάπτυξη της πληροφορικής, με την εκθετική της αύξηση, άρχιζε να αλλάζει. Εμφανίστηκαν οι πρώτοι αλγόριθμοι υπολογιστικών συστημάτων ικανοί να λύνουν θεωρήματα. Όμως οι επικριτές των αποδείξεων υποστηρίζουν 2 βασικούς λόγους για να αμφισβητήσουν αυτή τη διαδικασία οι οποίοι είναι:
- Οι αλγόριθμοι δεν ήταν επαληθεύσιμοι.
- Αυτή η διαδικασία υπόκειται σε σφάλματα τόσο το λογισμικό όσο και του υλικού μέρους
Το 1991 ο David R. Stoutemyer πραγματοποίησε 18 πειράματα λογισμού με υπολογιστικά προγράμματα που δεν έδωσαν σαφή αποτελέσματα. Αυτό το γεγονός οδήγησε πολλούς να πιστέψουν ο ότι ο νέος τρόπος μαθηματικής συμπεριφοράς αρμόζει περισσότερο στις επιστήμες αλλά και στις ανάγκες των ανθρώπων. Κανένας όμως δεν είπε ότι τα μαθηματικά δεν έχουν σχεδιαστεί για να εκτελούνται μόνο με έναν τρόπο. Όμως και στον «παραδοσιακό» μαθηματικό τρόπο έχουν βρεθεί πολλά λανθασμένα αποτελέσματα. Επιπλέον, στις μέρες μας τα μαθηματικά έχουν φτάσει σε τόσο υψηλό επίπεδο διαφορετικότητας που η επαλήθευση ενός θεωρήματος μπορεί να θα πάρει πολλά χρόνια.
Πολλοί ειδικοί πιστεύουν σήμερα ότι η χρήση του υπολογιστή έχει γεννήσει ένα διαφορετικό τρόπο αντίληψης των μαθηματικών σε κάθε περίπτωση κανείς δεν μπορεί να θέσει σε αμφιβολία την ισχύ των μεθόδων των υπολογιστικών συστημάτων για να βρούμε πρώτους αριθμούς και μάλιστα να επαληθεύσουμε αν ένας αριθμός είναι πρώτος.
Αρθρογράφος : Ανδρέας Κύργιος
Πηγή : Gόmez , J. (2011) : «Μαθηματικοί , κατάσκοποι και πειρατές της πληροφορικής : Κωδικοποίηση και κρυπτογραφία». Χαλάνδρι, Ελλην. Έκδοση Κοπελιάδης Γ. (4π).
