εφαρμογή των Μαθηματικών

Μια εφαρμογή των Μαθηματικών είναι οι Ηλεκτρονικοί Υπολογιστές. Οι Η/Υ είναι υπολογιστικές μηχανές δυαδικών αριθμών (0 και 1). Τα πάντα στους Η/Υ ξεκινούν από την αποθήκευση, την πρόσθεση ή την αφαίρεση δυαδικών αριθμών. Άρα στον πυρήνα τους βρίσκονται οι αριθμοί.

Οι Η/Υ ξεπήδησαν , με ένα τρόπο απρόσμενο και ειρωνικό, από την αποτυχία των μαθηματικών να φέρουν εις πέρας το περίφημο σχέδιο του Χίλμπερτ. Ο Χίλμπερτ το 1900, ήλπιζε να αυτοματοποιήσει τη μαθηματική σκέψη, να βρίσκει με μηχανικό τρόπο την απόδειξη οποιουδήποτε θεωρήματος. Όμως, ο Κούρτ Γκαίντελ απέδειξε το 1931 ότι υπάρχουν θεωρήματα που δεν έχουν αποδείξεις ( Θεώρημα της μη πληρότητος του Γκαίντελ ). Και μερικά χρόνια αργότερα , ο Τούρινγκ (1937) έδωσε τη χαριστική βολή στα μεγαλεπήβολα σχέδια του Χίλμπερτ, αποδεικνύοντας ότι δεν υπάρχει καμιά μηχανή που βρίσκει αποδείξεις θεωρημάτων. Τούτο αποτέλεσε τη βάση για την παραπέρα δουλειά του Τούρινγκ σε μηχανές αποκρυπτογράφησης του κώδικα « Αίνιγμα» του γερμανικού ναυτικού κατά τον Β΄ Παγκόσμιο Πόλεμο και τελικά την έλευση του υπολογιστή (ENIAC) με τον Τζον Φον Νόιμαν το 1945.

Η καλπάζουσα ανάπτυξη των υπολογιστών επηρέασε βαθιά τα μαθηματικά. Δημιούργησε έναν νέο σημαντικό κλάδο των μαθηματικών που λέγεται «Θεωρία του Υπολογισμού». Δηλαδή, στα κλασικά αντικείμενα των μαθηματικών, που ήταν από την εποχή των αρχαίων Ελλήνων οι Αριθμοί και η Γεωμετρία προστέθηκαν ισότιμα και οι Αλγόριθμοι(οι λεπτομερείς ακολουθίες εντολών που ακολουθούν οι υπολογιστές).

Η πρώτη μεγάλη ανακάλυψη που βασίστηκε στο παιχνίδι με τους Η/Υ είναι η Θεωρία των Φράκταλ στα μαθηματικά (σύνθετες γεωμετρικές καμπύλες, που δε μετασχηματίζονται σε απλά σχήματα αν τις μεγεθύνουμε και η διάστασή τους βρίσκεται ανάμεσα σε ακέραιους αριθμούς) και η θεωρία του χάους στις φυσικές επιστήμες.

Σήμερα η θεωρία της πολυπλοκότητας (επιστήμη του Χάους), των δυναμικών συστημάτων και των φράκταλ (δύο απλά φράκταλ είναι η «Χιονονιφάδα βαν Κωχ» και το «τρίγωνο Σιερπίνσκι»), είναι από τους πιο ζωντανούς τομείς επιστημονικής έρευνας, με εφαρμογές στη Βιολογία, τα Οικονομικά, τη Σεισμολογία, τις Τηλεπικοινωνίες, ..

Η ανακάλυψη στην Ιατρική του αξονικού και αργότερα του μαγνητικού τομογράφου (Νόμπελ Ιατρικής 1979 και 2003) στηρίζονται στη λύση μαθηματικών προβλημάτων, ο δε αξονικός τομογράφος στηρίζεται στη λύση ενός συγκεκριμένου μαθηματικού προβλήματος που λέγεται Αντιστροφή του μετασχηματισμού Radom. Το 2006 ανακαλύφθηκαν τρεις καινούργιες απεικονιστικές τεχνικές, ο λειτουργικός μαγνητικός τομογράφος, το PET (Τομογράφος εκπομπής πρωτονίων) και το SPECT (Toμογράφος εκπομπής Φωτονίων) οι οποίες επιτρέπουν να παρατηρούμε τον εγκέφαλο εν λειτουργία. Το PET στηρίζεται ακριβώς στον ίδιο μαθηματικό φορμαλισμό που στηρίζεται και ο αξονικός τομογράφος, ενώ το αντίστοιχο μαθηματικό πρόβλημα για το SPECT είναι πολύ πιο δύσκολο και παρέμενε άλυτο για πολλά χρόνια.

Όταν το 1977 το διαστημόπλοιο Βόγιατζερ ξεκινούσε το μοναχικό του ταξίδι στο αχανές διάστημα , οι υπεύθυνοι της ΝΑΣΑ , σκεπτόμενοι μια πιθανή συνάντηση του με εξωγήινα όντα, τοποθέτησαν στο εσωτερικό του ηχογραφημένα πολιτικά μηνύματα, την Πέμπτη του Μπετόβεν και μια πλάκα επικοινωνίας όπου είχαν χαρακτεί μαθηματικά σύμβολα. Μαθηματικά : ο εφιάλτης της σχολικής ζωής για πολλούς , πάνω από όλα όμως, μια αυτόνομη γλώσσα ή ακριβέστερα: μια συμπαντική γλώσσα..

Όπως ο Κολόμβος , που ψάχνοντας έναν καινούργιο δρόμο για την Κίνα ανακάλυψε την Αμερική, οι μέθοδοι που αναπτύχθηκαν για να απαντηθούν τα διάφορα άλυτα μαθηματικά προβλήματα, οδήγησαν σε κάθε είδους ανακάλυψη, έτσι που όλο και περισσότεροι μαθηματικοί άρχισαν να συμμετέχουν στο κυνήγι. Κλασσικό παράδειγμα είναι ο τετραγωνισμός του κύκλου, ένα πρόβλημα που ενώ η τελική, αρνητική απάντηση που έλαβε το1882, μετά από περίπου 2300 χρόνια ζωής, έχει πολύ μικρή σημασία στα μαθηματικά, προκάλεσε την ανάπτυξη πλούσιων και γόνιμων θεωριών που βρίσκονται σήμερα στο κέντρο της μαθηματικής έρευνας. Με τον ίδιο τρόπο λειτούργησε και το τελευταίο «Θεώρημα του Φερμά» , που λύθηκε το 1995, από τον Άντριου Ουάιλς, ενώ είχε διατυπωθεί το 1637.

Λένε ότι τα άλυτα προβλήματα , όπως η «Η υπόθεση του Ρίμαν», ίσως είναι καλύτερο να παραμείνουν άλυτα, εξαιτίας των μεγάλων μαθηματικών ανακαλύψεων που έχουν επιτευχθεί κατά την προσπάθεια λύσης τους. Η υπόθεση Ρίμαν είναι ένα νέο «Γκράαλ-Δισκοπότηρο». Οι καθαροί μαθηματικοί αγαπούν το ταξίδι, την πρόκληση. Αγαπούν τα  άλυτα προβλήματα. Το ταξίδι είναι πολύ πιο ενδιαφέρον από την άφιξη στον προορισμό.