[There is a video that cannot be displayed in this feed. Visit the blog entry to see the video.]

[There is a video that cannot be displayed in this feed. Visit the blog entry to see the video.]

[There is a video that cannot be displayed in this feed. Visit the blog entry to see the video.]

Οι μαθηματικοί ερευνούν αυτές τις δομές και προσπαθούν να σχηματίζουν υποθέσεις και να εξακριβώνουν την αλήθεια ή το ψεύδος τους μέσω αυστηρών κανόνων συνεπαγωγής και έχοντας ως βάση ορισμένα αξιώματα και ορισμούς. Η έρευνα που απαιτείται για την επίλυση μαθηματικών προβλημάτων μπορεί να πάρει χρόνια ή ακόμα και αιώνες συνεχούς έρευνας. Μετά την πρωτοποριακή δουλειά του Τζουζέπε Πεάνο, του Ντέιβιντ Χίλμπερτ και άλλων για τα συστήματα αξιωμάτων στα τέλη του 19ου αιώνα, έχει καταστεί εθιμικό δίκαιο η οπτική της μαθηματικής έρευνας της επικρατούσας αλήθειας με αυστηρή επαγωγή από κατάλληλα επιλεγμένα αξιώματα και ορισμούς. Όταν οι μαθηματικές δομές είναι καλά μοντέλα των πραγματικών φαινομένων, τότε η μαθηματική λογική μπορεί να παράσχει πληροφορίες ή προβλέψεις για τη φύση. Οι δομές που ερευνώνται συχνά έλκουν την προέλευσή τους από τις φυσικές επιστήμες, συνηθέστερα από την φυσική, αλλά οι μαθηματικοί επίσης ορίζουν και ερευνούν δομές για λόγους καθαρά εσωτερικούς στα μαθηματικά, επειδή οι δομές αυτές μπορούν να παρέχουν, παραδείγματος χάριν, μια ενοποιητική γενίκευση για διάφορα υποπεδία, ή ένα χρήσιμο εργαλείο για τον λογισμό. Τελικά, πολλοί μαθηματικοί μελετούν τα μαθηματικά για καθαρά αισθητικούς λόγους, αντιμετωπίζοντας τα ως μια μορφή τέχνης περισσότερο παρά ως μια πρακτική ή εφαρμοσμένη επιστήμη.

Μέσω της χρήσης της αφαίρεσης και της λογικής σκέψης, τα μαθηματικά αναπτύχθηκαν από την καταμέτρηση, τον υπολογισμό, τη μέτρηση, και την συστηματική μελέτη των σχημάτων και των κινήσεων των φυσικών αντικειμένων. Πρακτικά μαθηματικά ήταν πάντα μια ανθρώπινη δραστηριότητα όπως άλλωστε δείχνουν και οι αρχαιότερες από τις γραπτές μαρτυρίες υπάρχουν. Ωστόσο, τα αυστηρά επιχειρήματα εμφανίστηκαν για πρώτη φορά στα ελληνικά μαθηματικά, κυρίως στα Στοιχεία του Ευκλείδη. Τα Μαθηματικά αναπτύσσονταν με σχετικά αργούς ρυθμούς μέχρι την Αναγέννηση, όταν μαθηματικές καινοτομίες που άρχισαν να αλληλεπιδρούν με τις νέες επιστημονικές ανακαλύψεις σε άλλα πεδία, οδήγησαν πλέον σε ραγδαία αύξηση του ρυθμού των μαθηματικών ανακαλύψεων που συνεχίστηκε μέχρι σήμερα.

Στα λατινικά και στα αγγλικά γύρω στα 1700, ο όρος «mathematics» πιο συχνά σήμαινε αστρολογία ή μερικές φορές αστρονομία, παρά μαθηματικά με τη σύγχρονη έννοια του όρου. Το γεγονός αυτό είχε ως αποτέλεσμα πολλές λανθασμένες μεταφράσεις και παρανοήσεις, με πιο ιδιαίτερο παράδειγμα τη διαβόητη προειδοποίηση του Αγίου Αυγουστίνου ότι οι χριστιανοί θα πρέπει «να προσέξουν τη μαθηματική έννοια», και ενώ αναφέρει τα μαθηματικά με την αστρολογική έννοια της εποχής και στην ουσία καταδικάζει την αστρολογία, μπορεί μερικές φορές η φράση να παρερμηνευθεί και να θεωρήσει κανείς πως ο άγιος καταδικάζει τα μαθηματικά, με τη σημερινή έννοια του όρου.

Ο εμφανιζόμενος πληθυντικός στα αγγλικά, όπως και στα γαλλικά «les mathématiques» και το λιγότερο χρησιμοποιουμενο παράγωγο στον ενικό «la mathématique», πηγαίνει πίσω στο ουδέτερο πληθυντικό στη Λατινική «mathematica» (Κικέρων), με βάση τον ελληνικό πληθυντικό «τα μαθηματικά», που χρησιμοποιείται από τον Αριστοτέλη και σημαίνει περίπου «όλα τα πράγματα μαθηματικά», αν και είναι πιθανό ότι η αγγλική να δανείστηκε αρχικά μόνο το επίθετο «mathematical» και να σχηματίστηκε εκ νέου το ουσιαστικό «mathematics», κατά τα πρότυπα των λέξεων φυσική (physics) και μεταφυσική (metaphysics), που κληρονόμησε απευθείας από την ελληνική γλώσσα^[20]. Στα αγγλικά, τα μαθηματικά ουσιαστικό παίρνει ρηματικούς τύπους στον ενικό αριθμό. Συχνά συντομεύεται σε «maths», ή ακόμη, κυρίως στην αγγλόφωνη Βόρεια Αμερική, σε «math».