Προβολή πηγαίου κώδικα για τη σελίδα Θεμέλια των μαθηματικών

Δεν έχετε την άδεια να τροποποιήσετε αυτή τη σελίδα, για τον ακόλουθο λόγο:
Η διεύθυνση IP σας βρίσκεται σε ένα εύρος που έχει αποκλειστεί σε όλα τα wiki του Ιδρύματος Wikimedia.
Ο αποκλεισμός έγινε από ‪Jon Kolbert‬ . Ο λόγος που δίνεται είναι Open proxy/Webhost: See the help page if you are affected .
Έναρξη αποκλεισμού: 05:37, 21 Φεβρουαρίου 2024
Λήξη αποκλεισμού: 05:37, 21 Φεβρουαρίου 2029
Η τρέχουσα διεύθυνση IP σας είναι 18.219.33.68 . Το αποκλεισμένο εύρος είναι 18.219.0.0/16 .
Παρακαλούμε συμπεριλάβετε τις παραπάνω λεπτομέρειες σε όποια ερωτήματα κάνετε. Εάν πιστεύετε ότι έχετε αποκλειστεί κατά λάθος, μπορείτε να βρείτε πρόσθετες πληροφορίες και οδηγίες στην παγκόσμια πολιτική No open proxies παγκόσμια πολιτική.
Διαφορετικά, για να συζητήσετε τον αποκλεισμό, παρακαλούμε αναρτήστε ένα αίτημα για έλεγχο στο Meta-Wiki. ⧼wikimedia-globalblocking-blockedtext-mistake- email-steward⧽
Μπορείτε να δείτε και να αντιγράψετε τον κώδικα της σελίδας:
Ο όρος '''θεμέλια των μαθηματικών'''<ref>{{Cite web|url=https://www.britannica.com/science/foundations-of-mathematics|title=Foundations of mathematics {{!}} History & Facts {{!}} Britannica|website=www.britannica.com|language=en|accessdate=2025-05-27}}</ref><ref>{{Cite book|title=Cultural Foundations of Mathematics: The Nature of Mathematical Proof and the Transmission of the Calculus from India to Europe in the 16th C. CE|first=C. K.|last=Raju|publisher=Pearson Education India|isbn=978-81-317-0871-2|date=2007|url=https://books.google.gr/books?id=jza_cNJM6fAC&printsec=frontcover&dq=Foundations+of+mathematics&hl=el&newbks=1&newbks_redir=0&sa=X&redir_esc=y#v=onepage&q=Foundations%20of%20mathematics&f=false}}</ref> αναφέρεται περιληπτικά σε κλάδους των [[μαθηματικά|μαθηματικών]] ή της [[φιλοσοφία]]ς, στο μέτρο τουλάχιστον που αυτοί ασχολούνται με την ενοποίηση των [[Θεωρία (μαθηματική λογική)|μαθηματικών θεωριών]].

Από τη μεριά των μαθηματικών, ως τέτοιοι κλάδοι θεωρούνται παραδοσιακά η [[μαθηματική λογική]] και η [[θεωρία συνόλων]], αλλά και η [[θεωρία κατηγοριών]].<ref>Βλέπε στο [http://plato.stanford.edu/entries/category-theory/ σχετικό άρθρο] της [[Εγκυκλοπαίδεια Φιλοσοφίας του Στάνφορντ|εγκυκλοπαίδειας Στάνφορντ]].</ref> Στο χώρο της σύγχρονης φιλοσοφίας, με τη θεμελίωση των μαθηματικών έχουν ασχοληθεί μεταξύ άλλων ο [[Μπέρτραντ Ράσελ|Ράσελ]], ο [[Άλφρεντ Νορθ Γουάιτχεντ|Γουάιτχεντ]], ο [[Κουρτ Γκέντελ|Γκέντελ]], ο [[Λόιτσεν Εχμπέρτους Γιαν Μπράουερ|Μπράουερ]] και ο [[Λούντβιχ Βίτγκενσταϊν|Βίτγκενσταϊν]].

Η ορολογία «θεμέλια των μαθηματικών» επινοήθηκε μόλις στα τέλη του 19ου αιώνα, αν και τα θεμέλια αυτά είχαν καθιερωθεί για πρώτη φορά από τους [[αρχαίος Έλληνας|αρχαίους Έλληνες]] [[Φιλοσοφία|φιλοσόφους]] με την ονομασία «λογική του Αριστοτέλη» και εφαρμόστηκαν συστηματικά στα [[Στοιχεία του Ευκλείδη|«Στοιχεία» του Ευκλείδη]]. Μια μαθηματική δήλωση θεωρείται αληθής μόνο αν είναι θεώρημα που αποδεικνύεται από αληθείς προκείμενες μέσω μιας ακολουθίας συλλογισμών (κανόνες συμπερασμού), με τις προκείμενες να είναι είτε θεωρήματα που έχουν ήδη αποδειχθεί είτε αυταπόδεικτες δηλώσεις που ονομάζονται αξιώματα ή αρχή στη λογική.

Αυτά τα θεμέλια θεωρήθηκαν εμμέσως οριστικά ως την εισαγωγή του [[Απειροστικός λογισμός|απειροστικού λογισμού]] από τον [[Ισαάκ Νεύτων]]α και τον [[Γκότφριντ Βίλχελμ Λάιμπνιτς]] τον 17ο αιώνα. Αυτός ο νέος τομέας των μαθηματικών περιελάμβανε νέες μεθόδους συλλογισμού και νέες βασικές έννοιες (συνεχείς συναρτήσεις, παράγωγοι, όρια) που ήταν αβάσιμες, αλλά οι οποίες είχαν εκπληκτικές συνέπειες, όπως το συμπέρασμα από το νόμο της βαρύτητας του Νεύτωνα ότι οι τροχιές των πλανητών είναι ελλείψεις.

Κατά τη διάρκεια του 19ου αιώνα, σημειώθηκε πρόοδος στην ανάπτυξη ακριβών ορισμών των βασικών εννοιών του απειροστικού λογισμού, ιδίως των φυσικών και πραγματικών αριθμών. Αυτό οδήγησε σε μια σειρά φαινομενικά παράδοξων μαθηματικών αποτελεσμάτων προς το τέλος του 19ου αιώνα, τα οποία έθεσαν υπό αμφισβήτηση τη γενική εμπιστοσύνη στην αξιοπιστία και την ειλικρίνεια των μαθηματικών αποτελεσμάτων. Αυτό έγινε γνωστό ως η κρίση των θεμελίων των μαθηματικών.

Η επίλυση αυτής της κρίσης προκάλεσε την εμφάνιση ενός νέου μαθηματικού κλάδου που ονομάζεται [[μαθηματική λογική]], ο οποίος περιλαμβάνει τη [[θεωρία συνόλων]], τη [[θεωρία μοντέλων]], τη θεωρία αποδείξεων, τη θεωρία της υπολογισιμότητας και της [[Υπολογιστική πολυπλοκότητα|υπολογιστικής πολυπλοκότητας]] και, πιο πρόσφατα, τμήματα της [[Επιστήμη υπολογιστών|επιστήμης των υπολογιστών]]. Στη συνέχεια, οι επακόλουθες ανακαλύψεις του 20ού αιώνα σταθεροποίησαν τα θεμέλια των μαθηματικών σε ένα συνεκτικό πλαίσιο που ισχύει για όλα τα μαθηματικά. Το πλαίσιο αυτό βασίζεται στη συστηματ��κή χρήση της αξιωματικής μεθόδου και στη [[θεωρία συνόλων]], ιδίως στη θεωρία συνόλων Ζερμέλο-Φράνκελ με το αξίωμα της επιλογής.

Το αποτέλεσμα είναι ότι οι βασικές μαθηματικές έννοιες, όπως οι [[αριθμοί]], τα σημεία, οι γραμμές και οι γεωμετρικοί χώροι, δεν ορίζονται ως αφαιρέσεις της πραγματικότητας, αλλά με βάση θεμελιώδεις ιδιότητες (αξιώματα). Η αντιστοιχία τους με τη [[φυσική]] τους προέλευση δεν ανήκει πλέον στα [[μαθηματικά]], αν και η σχέση τους με την πραγματικότητα εξακολουθεί να χρησιμοποιείται για να καθοδηγεί τη μαθηματική διαίσθηση: η φυσική πραγματικότητα εξακολουθεί να χρησιμοποιείται από τους μαθηματικούς για να επιλέγουν αξιώματα, να ανακαλύπτουν ποια θεωρήματα είναι ενδιαφέρον να αποδειχθούν και να λαμβάνουν ενδείξεις για πιθανές αποδείξεις.

==Αρχαία Ελλάδα==
Περαιτέρω πληροφορίες: [[Ελληνικά μαθηματικά|Ελληνικά Μαθηματικά]] και [[Ελληνική φιλοσοφία|Ελληνική Φιλοσοφία]]

Οι περισσότεροι πολιτισμοί ανέπτυξαν κάποια μαθηματικά, κυρίως για πρακτικούς σκοπούς, όπως η καταμέτρηση (έμποροι), η τοπογραφία (οριοθέτηση αγρών), η προσωδία, η αστρονομία και η αστρολογία. Φαίνεται ότι οι αρχαίοι Έλληνες φιλόσοφοι ήταν οι πρώτοι που μελέτησαν τη φύση των μαθηματικών και τη σχέση τους με τον πραγματικό κόσμο.

Ο [[Ζήνων ο Ελεάτης]] (περ. 490 - περ. 430 π.Χ.) παρήγαγε διάφορα παράδοξα που χρησιμοποίησε για να υποστηρίξει τη θέση του ότι η κίνηση δεν υπάρχει. Τα παράδοξα αυτά αφορούν το μαθηματικό άπειρο, μια έννοια που ήταν έξω από τα μαθηματικά θεμέλια της εποχής εκείνης και δεν είχε γίνει καλά κατανοητή πριν από το τέλος του 19ου αιώνα.

Η Πυθαγόρεια σχολή των μαθηματικών αρχικά επέμενε ότι οι μόνοι [[Αριθμός|αριθμοί]] ήταν οι [[φυσικοί αριθμοί]] και οι λόγοι των φυσικών αριθμών. Η ανακάλυψη (γύρω στον 5ο αιώνα π.Χ.) ότι ο λόγος μεταξύ της διαγωνίου ενός τετραγώνου και της πλευράς του δεν είναι ο λόγος δύο [[Φυσικός αριθμός|φυσικών αριθμών]] ήταν μια έκπληξη, την οποία δέχτηκαν διστακτικά. Αυτό αντικατοπτρίζεται στη σύγχρονη ορολογία του [[Άρρητος αριθμός|άρρητου αριθμού]] για τον χαρακτηρισμό ενός αριθμού που δεν είναι πηλίκο δύο [[Ακέραιος αριθμός|ακεραίων αριθμών]], καθώς «[[Άρρητος αριθμός|άρρητος]]» σήμαινε αρχικά «παράλογος» ή «απρόσιτος με τη λογική<ref>{{Cite web|url=https://www.etymonline.com/word/rational|title=Rational - Etymology, Origin & Meaning|website=etymonline|language=en-US|accessdate=2025-05-27}}</ref>»

Το γεγονός ότι οι αναλογίες μήκους δεν αναπαρίστανται με [[Ρητός αριθμός|ρητούς αριθμούς]] επιλύθηκε από τον [[Εύδοξος ο Κνίδιος|Εύδοξο της Κνίδου]] (408-355 π.Χ.), μαθητή του [[Πλάτων]]α, ο οποίος μείωσε τη σύγκριση δύο άρρητων αναλογιών σε συγκρίσεις ακέραιων πολλαπλάσιων των εμπλεκόμενων μεγεθών. Η μέθοδός του πρόλαβε εκείνη των περικοπών του Ντέντεκιντ στον σύγχρονο ορισμό των [[Πραγματικός αριθμός|πραγματικών αριθμών]] από τον [[Ρίχαρντ Ντέντεκιντ]] (1831-1916)-<ref>{{Cite book|title=The thirteen books of Euclid's Elements|last=unknown library|first2=Thomas Little|last2=Heath|publisher=Cambridge, The University Press|date=1908|url=http://archive.org/details/thirteenbookseu00heibgoog}}</ref> βλέπε Εύδοξος ο Κνίδιος § Αναλογίες του Εύδοξου.

Στα  Ἀναλυτικὰ Ὕστερα<ref>{{Cite web|url=https://www.physics.ntua.gr/mourmouras/greats/aristoteles/analytika_ystera.html|title=Ἀναλυτικῶν ὑστέρων Α΄ Ἅπαντα Ἀριστοτέλους|website=www.physics.ntua.gr|accessdate=2025-05-28}}</ref>  ο [[Αριστοτέλης]] (384-322 π.Χ.) καθόρισε τη λογική που επιτρέπει την οργάνωση ενός πεδίου γνώσης μέσω πρωταρχικών εννοιών,  αξιωμάτων, ορισμών και θεωρημάτων. Ο Αριστοτέλης άντλησε τα περισσότερα παραδείγματά του από την [[αριθμητική]] και τη [[γεωμετρία]], και η λογική του λειτούργησε ως θεμέλιο των μαθηματικών για αιώνες. Η μέθοδος αυτή μοιάζει με τη σύγχρονη αξιωματική μέθοδο, αλλά με μια σημαντική φιλοσοφική διαφορά: τα αξιώματα και τα αξιώματα έπρεπε να είναι αληθή, δηλαδή αυταπόδεικτα ή αποτέλεσμα πειραμάτων, ενώ η αξιωματική μέθοδος δεν προϋποθέτει καμία αλήθεια εκτός από την ορθότητα της απόδειξης. Έτσι, για τον Αριστοτέλη, ένα θεώρημα που έχει αποδειχθεί είναι αληθές, ενώ στην αξιωματική μέθοδο<ref>{{Cite web|url=https://2lyk-rethymn.reth.sch.gr/2024/10/11/%ce%b5%cf%85%ce%ba%ce%bb%ce%b5%ce%af%ce%b4%ce%b7%cf%82-%ce%bf-%cf%80%ce%b1%cf%84%ce%ad%cf%81%ce%b1%cf%82-%cf%84%ce%b7%cf%82-%ce%b3%ce%b5%cf%89%ce%bc%ce%b5%cf%84%cf%81%ce%af%ce%b1%cf%82/|title=Ευκλείδης: Ο Πατέρας της Γεωμετρίας|last=Βρέντζος|first=Αντώνης|website=2ο Γενικό Λύκειο Ρεθύμνου|language=el|accessdate=2025-05-28}}</ref>, η απόδειξη απλώς δηλώνει ότι τα αξιώματα συνεπάγονται τη διατύπωση του θεωρήματος.

Η λογική του Αριστοτέλη<ref>{{Cite web|url=https://teucris.net/aristotles-logic-%ce%b1%cf%81%ce%b9%cf%83%cf%84%ce%bf%cf%84%ce%ad%ce%bb%ce%b5%ce%b9%ce%b1-%ce%bb%ce%bf%ce%b3%ce%b9%ce%ba%ce%ae/|title=Aristotle’s Logic (Αριστοτέλεια Λογική) – Teucris|last=Teucris|ημερομηνία=2016|language=el|accessdate=2025-05-28}}</ref> έφτασε στο αποκορύφωμά της μαζί με τα [[Στοιχεία του Ευκλείδη]]<ref>{{Cite book|title=Euclid's Elements: Books 11,12,13|last=Euclid|publisher=Nikolaos L. Kechris|date=2017-09-18|url=https://books.google.gr/books?id=HCs2DwAAQBAJ&pg=PP3&dq=%CE%92%CE%B9%CE%B2%CE%BB%CE%AF%CE%BF+%CF%84%CF%89%CE%BD+%CE%A3%CF%84%CE%BF%CE%B9%CF%87%CE%B5%CE%AF%CF%89%CE%BD+%CF%84%CE%BF%CF%85+%CE%95%CF%85%CE%BA%CE%BB%CE%B5%CE%AF%CE%B4%CE%B7&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwiv-fXXwseNAxWvRPEDHeh3BqAQ6AF6BAgFEAM#v=onepage&q=%CE%92%CE%B9%CE%B2%CE%BB%CE%AF%CE%BF%20%CF%84%CF%89%CE%BD%20%CE%A3%CF%84%CE%BF%CE%B9%CF%87%CE%B5%CE%AF%CF%89%CE%BD%20%CF%84%CE%BF%CF%85%20%CE%95%CF%85%CE%BA%CE%BB%CE%B5%CE%AF%CE%B4%CE%B7&f=false}}</ref> (300 π.Χ.), μια μαθηματική πραγματεία δομημένη σύμφωνα με πολύ υψηλά πρότυπα αυστηρότητας: ο [[Ευκλείδης]] δικαιολογεί κάθε πρόταση με μια απόδειξη με τη μορφή αλυσίδων συλλογισμών (αν και δεν είναι πάντα αυστηρά σύμφωνες με τα αριστοτελικά πρότυπα). Η συλλογιστική λογική του Αριστοτέλη και η απεικόνισή της στα [[Στοιχεία του Ευκλείδη]] αναγνωρίζονται ως επιστημονικά επιτεύγματα της [[Αρχαία Ελλάδα|αρχαίας Ελλάδας]] και παρέμειναν τα '''θεμέλια των μαθηματικών''' για αιώνες.

==Πριν από τον απειροστικό λογισμό==

Κατά τη διάρκεια του [[Μεσαίωνας|Μεσαίωνα]], τα [[Στοιχεία του Ευκλείδη]] αποτελούσαν μια απόλυτα σταθερή βάση για τα μαθηματικά, και η φιλοσοφία των μαθηματικών επικεντρώνονταν στην οντολογική κατάσταση των μαθηματικών εννοιών. Το ερώτημα ήταν αν αυτές υπάρχουν ανεξάρτητα από την αντίληψη (ρεαλισμός) ή μόνο μέσα στο μυαλό (εννοιολογισμός), ή ακόμα και αν είναι απλά ονόματα συλλογών μεμονωμένων αντικειμένων (ονοματισμός).

Στα [[Στοιχεία]], οι μόνοι αριθμοί που λαμβάνονται υπόψιν είναι οι φυσικοί αριθμοί και οι αναλογίες μηκών. Αυτή η γεωμετρική άποψη των μη ακέραιων αριθμών παρέμεινε κυρίαρχη μέχρι το τέλος του Μεσαίωνα, αν και η άνθηση της [[άλγεβρα]]ς οδήγησε στην εξέτασή τους ανεξάρτητα από τη γεωμετρία, γεγονός που υπονοεί την ύπαρξη θεμελιωδών αρχών των μαθηματικών. Παραδείγματος χάριν, οι μετασχηματισμοί εξισώσεων που εισήγαγε ο [[Αλ Χουαρίζμι|Αλ-Χουαρίζμι]] και οι κυβικές και τεταρτοβάθμιες εξισώσεις που ανακαλύφθηκαν τον 16ο αιώνα είναι αποτέλεσμα αλγεβρικών χειρισμών που δεν έχουν γεωμετρικό αντίστοιχο.

Ωστόσο, αυτό δεν αμφισβήτησε τα κλασικά '''θεμέλια των μαθηματικών''', καθώς όλες οι ιδιότητες των αριθμών που χρησιμοποιήθηκαν μπορούν να συναχθούν από τον γεωμετρικό τους ορισμό.

Το 1637, ο [[Ρενέ Ντεκάρτ]] δημοσίευσε το έργο La Géométrie<ref>{{Cite book|title=La géométrie de Descartes|first=Jean|last=Itard|publisher=FeniXX réédition numérique|isbn=978-2-307-08284-2|date=1956-01-01|url=https://books.google.gr/books?id=a17nDwAAQBAJ&printsec=frontcover&dq=La+G%C3%A9om%C3%A9trie+Descartes&hl=el&newbks=1&newbks_redir=0&sa=X&redir_esc=y#v=onepage&q=La%20G%C3%A9om%C3%A9trie%20Descartes&f=false}}</ref>, στο οποίο έδειξε ότι η [[γεωμετρία]] μπορεί να αναχθεί στην [[άλγεβρα]] μέσω των [[Συντεταγμένες|συντεταγμένων]], που είναι αριθμοί που καθορίζουν τη θέση ενός σημείου. Αυτό δίνει στους [[Αριθμός|αριθμούς]] που ονόμασε [[πραγματικούς αριθμούς]] έναν πιο θεμελιώδη ρόλο (πριν από αυτόν, οι αριθμοί ορίζονταν ως ο λόγος δύο μηκών). Το βιβλίο του Ντεκάρτ έγινε διάσημο μετά το 1649 και άνοιξε το δρόμο για τον [[Απειροστικός λογισμός|απειροστικό λογισμό]].

==Απειροστικός λογισμός==

Ο [[Ισαάκ Νεύτων]] (1642-1727) στην [[Αγγλία]] και ο [[Γκότφριντ Βίλχελμ Λάιμπνιτς|Λάιμπνιτς]] (1646-1716) στη [[Γερμανία]] ανέπτυξαν ανεξάρτητα ο ένας από τον άλλο τον [[Απειροστικός λογισμός|απειροστικό λογισμό]] για να επεξεργαστούν τα κινούμενα σημεία (όπως οι [[Πλανήτης|πλανήτες]] στον [[Ουρανός|ουρανό]]) και τις μεταβλητές ποσότητες.

Αυτό απαιτούσε την εισαγωγή νέων εννοιών, όπως συνεχείς συναρτήσεις, παράγωγα και όρια. Για να αντιμετωπιστούν αυτές οι έννοιες με λογικό τρόπο, ορίστηκαν με βάση τα απειροελάχιστα, που είναι υποθετικοί αριθμοί που είναι άπειρα κοντά στο μηδέν. Οι ισχυρές επιπτώσεις του απειροελάχιστου λογισμού στα θεμέλια των μαθηματικών απεικονίζονται σε ένα φυλλάδιο του προτεσταντικού φιλόσοφου [[Τζωρτζ Μπέρκλεϋ|Τζορτζ Μπέρκλεϊ]] (1685–1753), ο οποίος έγραψε: «Τα απειροελάχιστα δεν είναι ούτε πεπερασμένες ποσότητες, ούτε άπειρα μικρές ποσότητες, ούτε ��αι τίποτα. Μήπως θα μπορούσαμε να τα ονομάσουμε φαντάσματα των χαμένων ποσοτήτων;».<ref name="berkeley">''[[:en:The Analyst|The Analyst]], A Discourse Addressed to an Infidel Mathematician''</ref>

Επίσης, συχνά έχει επικαλεστεί η έλλειψη αυστηρότητας, επειδή τα απειροελάχιστα και οι σχετικές έννοιες δεν είχαν οριστεί τυπικά (ούτε οι γραμμές και τα επίπεδα είχαν οριστεί τυπικά, αλλά οι άνθρωποι ήταν πιο εξοικειωμένοι με αυτά). Οι [[πραγματικοί αριθμοί]], οι συνεχείς συναρτήσεις και οι παράγωγοι δεν είχαν οριστεί τυπικά πριν από τον 19ο αιώνα, όπως και η [[ευκλείδεια γεωμετρία]]. Μόνο τον 20ο αιώνα δόθηκε ένας επίσημος ορισμός των απειροελάχιστων, με την απόδειξη ότι το σύνολο των απειροελάχιστων μπορεί να συναχθεί από αυτά.

Παρά την έλλειψη σταθερών λογικών θεμελίων, ο απειροελάχιστος λογισμός υιοθετήθηκε γρήγορα από τους μαθηματικούς και επικυρώθηκε από τις πολυάριθμες εφαρμογές του, ιδίως από το γεγονός ότι οι τροχιές των πλανητών μπορούν να συναχθούν από τον [[Νόμος της παγκόσμιας έλξης]].

==19ος αιώνας==

Τον 19ο αιώνα, τα μαθηματικά αναπτύχθηκαν γρήγορα προς πολλές κατευθύνσεις. Αρκετά από τα προβλήματα που εξετάστηκαν οδήγησαν σε ερωτήματα σχετικά με τα θεμέλια των μαθηματικών. Συχνά, οι προτεινόμενες λύσεις οδηγούσαν σε περαιτέρω ερωτήματα που συχνά ήταν ταυτόχρονα φιλοσοφικής και [[Μαθηματική φυσική|μαθηματικής φύσης]]. Όλα αυτά τα ερωτήματα οδήγησαν, στο τέλος του 19ου αιώνα και στις αρχές του 20ού αιώνα, σε συζητήσεις που ονομάστηκαν θεμελιώδης κρίση των μαθηματικών<ref>{{Cite book|title=A Brief History Of Mathematics For Curious Minds|first=Krzysztof R.|last=Apt|publisher=World Scientific|isbn=978-981-12-8046-7|date=2023-11-17|url=https://books.google.gr/books?id=tfL3EAAAQBAJ&pg=PA113&dq=foundational+crisis+of+mathematics&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwjA2qTxsceNAxV_RfEDHSALNsIQ6AF6BAgIEAM#v=onepage&q=foundational%20crisis%20of%20mathematics&f=false}}</ref>. Στις υποενότητες που ακολουθούν περιγράφονται τα κυριότερα τέτοια θεμελιώδη προβλήματα που αποκαλύφθηκαν κατά τη διάρκεια του 19ου αιώνα.

===Πραγματική ανάλυση===
Δείτε επίσης: [[Μαθηματική ανάλυση#Ιστορικό]]

Ο Κωσύ (1789–1857) ξεκίνησε το έργο της δημιουργίας αυστηρών βάσεων για τον απειροστικό λογισμό. Συγκεκριμένα, απέρριψε την ευρετική αρχή που ονόμασε γενικότητα της άλγεβρας, η οποία συνίστατο στην εφαρμογή ιδιοτήτων αλγεβρικών πράξεων σε άπειρες ακολουθίες χωρίς κατάλληλες αποδείξεις. Στο έργο του Cours d'Analyse<ref>{{Cite book|title=Cauchy’s Cours d’analyse: An Annotated Translation|first=Robert E.|last=Bradley|first2=C. Edward|last2=Sandifer|publisher=Springer Science & Business Media|isbn=978-1-4419-0549-9|date=2010-01-14|url=https://books.google.gr/books?id=M0or-HGe7D0C&pg=PR10&dq=cours+d'analyse+cauchy&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwj86rmit8eNAxXMRvEDHcxjFnIQ6AF6BAgLEAM#v=onepage&q=cours%20d'analyse%20cauchy&f=false}}</ref> (1821), εξέτασε πολύ μικρές ποσότητες, οι οποίες σήμερα θα μπορούσαν να ονομαστούν «επαρκώς μικρές ποσότητες». Δηλαδή, μια πρόταση όπως «αν το {{mvar|x}} είναι πολύ μικρό τότε...» πρέπει να εννοηθεί ότι «υπάρχει ένας (επαρκώς μεγάλος) [[φυσικός αριθμός]] {{mvar|n}} τέτοιος ώστε {{math|{{abs|''x''}} < 1/''n''}}"». Στις αποδείξεις του χρησιμοποίησε αυτό με τρόπο που προηγήθηκε του σύγχρονου (ε, δ)-ορισμού του ορίου.<ref name="Grabiner1983">{{Citation|last=Grabiner|first=Judith V.|title=Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus|journal=[[American Mathematical Monthly]]|volume=90|issue=3|pages=185–194|doi=10.2307/2975545|year=1983|jstor=2975545}}, collected in [http://www.maa.org/ebooks/spectrum/WGE.html Who Gave You the Epsilon?], ISBN 978-0-88385-569-0 pp. 5–13. Also available at: http://www.maa.org/pubs/Calc_articles/ma002.pdf</ref>

Ο σύγχρονος (ε, δ)-ορισμός των ορίων και των συνεχών συναρτήσεων αναπτύχθηκε για πρώτη φορά από τον Μπολτσάνο το 1817, αλλά παρέμεινε σχετικά άγνωστος, και ο Κωσύ  πιθανότατα γνώριζε το έργο του Μπολτσάνο.

Ο [[Καρλ Βάιερστρας]] (1815–1897) τυποποίησε και διέδωσε τον (ε, δ)-ορισμό των ορίων και ανακάλυψε ορισμένες παθολογικές συναρτήσεις που φαινόταν παράδοξες εκείνη την εποχή, όπως συνεχείς συναρτήσεις που δεν ήταν διαφορίσιμες πουθενά. Πράγματι, τέτοιες συναρτήσεις έρχονται σε αντίθεση με τις προηγούμενες αντιλήψεις για μια συνάρτηση ως κανόνα υπολογισμού ή ομαλό γράφημα.

Σε αυτό το σημείο, το πρόγραμμα της αριθμητικοποίησης της ανάλυσης (μείωση της [[Μαθηματική ανάλυση|μαθηματικής ανάλυσης]] σε αριθμητικές και αλγεβρικές πράξεις) που υποστήριζε ο Βάιερστρας είχε ουσιαστικά ολοκληρωθεί, με εξαίρεση δύο σημεία.

Πρώτον, εξακολουθούσε να λείπει ένας τυπικός ορισμός των πραγματικών αριθμών. Πράγματι, ξεκινώντας από τον [[Ρίχαρντ Ντέντεκιντ|Ρίχαρντ Ντεντεκίντ]] το 1858, αρκετοί μαθηματικοί εργάστηκαν στον ορισμό των [[Πραγματικός αριθμός|πραγματικών αριθμών]], συμπεριλαμβανομένων των Χέρμαν Χάνκελ, Σαρλ Μεράι και Έντουαρντ Χάιν, αλλά μόνο το 1872 δημοσιεύτηκαν δύο ανεξάρτητοι πληρέστεροι ορισμοί των πραγματικών αριθμών: ο ένας από τον Ντεντεκίντ, μέσω των κοπών Ντεντεκίντ, και ο άλλος από τον [[Γκέοργκ Κάντορ]] ως τάξεις ισοδυναμίας των [[Ακολουθία Κωσύ|ακολουθιών Κωσύ]]..<ref>{{MacTutor| class=HistTopics| id=Real_numbers_2| title=The real numbers: Stevin to Hilbert|date=October 2005}}</ref>

Οι ορισμοί αυτοί άφησαν άλυτα διάφορα προβλήματα που συνέβαλαν στη θεμελιώδη κρίση των μαθηματικών. Πρώτον, και οι δύο ορισμοί υποθέτουν ότι οι ρητοί αριθμοί και επομένως οι [[φυσικοί αριθμοί]] ορίζονται αυστηρά, πράγμα που έγινε λίγα χρόνια αργότερα με τα [[Αξιώματα Πεάνο|αξιώματα του Πεάνο]]. Δεύτερον, και οι δύο ορισμοί περιλαμβάνουν άπειρα σύνολα (περικοπές Ντέντεκιντ και σύνολα στοιχείων μιας [[Ακολουθία Κωσύ|ακολουθίας Κωσύ]]), και η θεωρία συνόλων του Κάντορ δημοσιεύθηκε αρκετά χρόνια αργότερα.

Το τρίτο πρόβλημα είναι πιο λεπτό και σχετίζεται με τα θεμέλια της λογικής: η κλασική λογική είναι μια λογική πρώτης τάξης, δηλαδή οι ποσοδείκτες εφαρμόζονται σε μεταβλητές που αντιπροσωπεύουν μεμονωμένα στοιχεία και όχι σε μεταβλητές που αντιπροσωπεύουν (άπειρα) σύνολα στοιχείων. Η βασική ιδιότητα της πληρότητας των πραγματικών αριθμών που απαιτείται για τον ορισμό και τη χρήση των [[Πραγματικός αριθμός|πραγματικών αριθμών]] περιλαμβάνει μια ποσοτικοποίηση σε άπειρα σύνολα. Πράγματι, η ιδιότητα αυτή μπορεί να εκφραστεί ως εξής: είτε για κάθε άπειρη ακολουθία [[Πραγματικός αριθμός|πραγματικών αριθμών]], αν είναι [[ακολουθία Κωσύ]], έχει ένα όριο που είναι [[πραγματικός αριθμός]], είτε : κάθε [[υποσύνολο]] των [[Πραγματικός αριθμός|πραγματικών αριθμών]] που είναι οριοθετημένο έχει ένα ελάχιστο άνω όριο που είναι [[πραγματικός αριθμός]]. Αυτή η ανάγκη ποσοτικοποίησης πάνω σε άπειρα σύνολα είναι ένα από τα κίνητρα για την ανάπτυξη λογικών ανώτερης τάξης κατά το πρώτο μισό του 20ού αιώνα.

===Μη ευκλείδειες γεωμετρίες===
Βλέπε επίσης: [[Μη ευκλείδειες γεωμετρίες#Ιστορία|Μη Ευκλείδεια γεωμετρία#Ιστορία]]

Πριν από τον 19ο αιώνα, υπήρξαν πολλές αποτυχημένες προσπάθειες να προκύψει το αξίωμα της παραλληλίας από άλλα αξιώματα της γεωμετρίας. Σε μια προσπάθεια να αποδείξει ότι η άρνησή του οδηγεί σε αντίφαση, ο Γιόχαν Χάινριχ Λάμπερτ (1728-1777) άρχισε να οικοδομεί την [[υπερβολική γεωμετρία]] και εισήγαγε τις [[υπερβολικές συναρτήσεις]] και υπολόγισε το εμβαδόν ενός υπερβολικού τριγώνου (όπου το άθροισμα των γωνιών είναι μικρότερο από 180°).<ref>{{Cite web|url=https://youngmindsnkua.com/non-euclidean-geometry/|title=Μη Ευκλείδεια Γεωμετρία – Υπερβολική Γεωμετρία – Young Minds NKUA|language=el|accessdate=2025-05-29}}</ref>

Συνεχίζοντας την κατασκευή αυτής της νέας γεωμετρίας, αρκετοί μαθηματικοί απέδειξαν ανεξάρτητα ότι αν είναι ασυνεπής, τότε και η [[ευκλείδεια γεωμετρία]] είναι ασυνεπής και συνεπώς το αξίωμα της παραλληλίας δεν μπορεί να αποδειχθεί. Αυτό αποδείχθηκε από τον [[Νικολάι Λομπατσέφσκι]] το 1826, τον [[Γιάνος Μπόλυαϊ]] (1802-1860) το 1832 και τον [[Καρλ Φρίντριχ Γκάους]] (αδημοσίευτο).

Αργότερα, τον 19ο αιώνα, ο Γερμανός μαθηματικός [[Μπέρναρντ Ρίμαν]] ανέπτυξε την [[ελλειπτική γεωμετρία]], μια άλλη [[Μη ευκλείδειες γεωμετρίες|μη ευκλείδεια γεωμετρία]] όπου δεν μπορεί να βρεθεί καμία παράλληλος και το άθροισμα των γωνιών σε ένα [[τρίγωνο]] είναι μεγαλύτερο από 180°. Αποδείχθηκε συνεπής ορίζοντας τα σημεία ως ζεύγη αντιποδικών σημείων σε μια σφαίρα (ή υπερσφαίρα) και τις γραμμές ως μεγάλους κύκλους στη σφαίρα.<ref>{{Cite web|url=https://liveyourmaths.com/%ce%bc%ce%b7-%ce%b5%cf%85%ce%ba%ce%bb%ce%b5%ce%af%ce%b4%ce%b5%ce%b9%ce%b5%cf%82-%ce%b3%ce%b5%cf%89%ce%bc%ce%b5%cf%84%cf%81%ce%af%ce%b5%cf%82-%ce%bc%ce%af%ce%b1-%cf%8c%ce%bc%ce%bf%cf%81%cf%86%ce%b7/|title=Μη Ευκλείδειες Γεωμετρίες, μία όμορφη παρουσίαση!|ημερομηνία=2017-08-31|website=ΖΗΣΕ ΤΑ ΜΑΘΗΜΑΤΙΚΑ ΣΟΥ|language=en-US|accessdate=2025-05-30}}</ref>

Αυτές οι αποδείξεις του μη αποδείξιμου του παράλληλου αξιώματος οδήγησαν σε διάφορα φιλοσοφικά προβλήματα, το κυριότερο από τα οποία είναι ότι πριν από αυτή την ανακάλυψη, το παράλληλο αξίωμα και όλες οι συνέπειές του θεωρούνταν αληθείς. Έτσι, οι [[μη ευκλείδειες γεωμετρίες]] αμφισβήτησαν την έννοια της μαθηματικής αλήθειας.

===Συνθετική γεωμετρία έναντι αναλυτικής γεωμετρίας===

Από την εισαγωγή της [[Αναλυτική γεωμετρία|αναλυτικής γεωμετρίας]] από τον [[Ρενέ Ντεκάρτ]] τον 17ο αιώνα, υπήρχαν δύο προσεγγίσεις στη [[γεωμετρία]], η παλιά που ονομαζόταν [[συνθετική γεωμετρία]] και η νέα, όπου όλα καθορίζονται με όρους [[Πραγματικός αριθμός|πραγματικών αριθμών]] που ονομάζονται [[συντεταγμένες]].

Οι μαθηματικοί δεν ανησυχούσαν ιδιαίτερα για την αντίφαση μεταξύ αυτών των δύο προσεγγίσεων πριν από τα μέσα του 19ου αιώνα, όπου υπήρξε «μια έντονη διαμάχη μεταξύ των υποστηρικτών των συνθετικών και αναλυτικών μεθόδων στην [[προβολική γεωμετρία]], με τις δύο πλευρές να κατηγορούν η μία την άλλη για την ανάμειξη προβολικών και μετρικών εννοιών».<ref>Laptev, B.L. & B.A. Rozenfel'd (1996) ''Mathematics of the 19th Century: Geometry'', page 40, [[Springer Science+Business Media|Birkhäuser]] ISBN 3-7643-5048-2</ref> Πράγματι, δεν υπάρχει έννοια απόστασης σε ένα προβολικό χώρο, και ο λόγος διασταύρωσης, που είναι ένας αριθμός, είναι μια βασική έννοια της συνθετικής [[Προβολική γεωμετρία|προβολικής γεωμετρίας]].

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

Προφανώς, το πρόβλημα της ισοδυναμίας μεταξύ αναλυτικής και συνθετικής προσέγγισης λύθηκε πλήρως μόνο με το βιβλίο του Εμίλ Άρτιν [[Γεωμετρική άλγεβρα|Γεωμετρική Άλγεβρα]] που εκδόθηκε το 1957. Ήταν γνωστό ότι, δεδομένου ενός σώματος {{mvar|k}}, μπορεί κανείς να ορίσει αφινικούς και [[Προβολικός χώρος|προβολικούς χώρους]] πάνω στο {{mvar|k}} με όρους k-διανυσματικών χώρων. Σε αυτούς τους χώρους ισχύει το [[θεώρημα του Πάππου]] για το [[εξάγωνο]]. Αντίστροφα, αν το [[θεώρημα του Πάππου]] για το εξάγωνο περι��αμβάνεται στα αξιώματα μιας επίπεδης γεωμετρίας, τότε μπορεί κανείς να ορίσει ένα [[Σώμα (άλγεβρα)|σώμα]] {{mvar|k}} έτσι ώστε η γεωμετρία να είναι η ίδια με την [[Ομοπαραλληλική γεωμετρία|αφινική]] ή [[προβολική γεωμετρία]] πάνω στο {{mvar|k}}.

===Φυσικοί αριθμοί===
Κύριο άρθρο: [[Αξιώματα Πεάνο]]

Το έργο της δημιουργίας μιας αυστηρής πραγματικής ανάλυσης και του ορισμού των [[Πραγματικός αριθμός|πραγματικών αριθμών]] περιελάμβανε τη μείωση όλων σε [[Ρητός αριθμός|ρητούς αριθμούς]] και, συνεπώς, σε φυσικούς αριθμούς, δεδομένου ότι οι θετικοί [[Ρητός αριθμός|ρητοί αριθμοί]] είναι κλάσματα [[Φυσικός αριθμός|φυσικών αριθμών]]. Υπήρχε επομένως ανάγκη για έναν τυπικό ορισμό των [[Φυσικός αριθμός|φυσικών αριθμών]], ο οποίος να υποδηλώνει μια αξιωματική θεωρία της αριθμητικής. Αυτό ξεκίνησε με τον Τσαρλς Σάντερς Πιρς το 1881 και τον [[Ρίχαρντ Ντέντεκιντ]] το 1888, οι οποίοι όρισαν τους [[Φυσικός αριθμός|φυσικούς αριθμούς]] ως την [[πληθικότητα]]  ενός [[Πεπερασμένο σύνολο|πεπερασμένου συνόλου]].<ref>{{cite book |last1=Dedekind |first1=Richard |title=What Are and What Should the Numbers Be? Continuity and Irrational Numbers |publisher=Springer |isbn=978-3-662-70059-4}}</ref> Ωστόσο, αυτό περιλαμβάνει τη [[θεωρία συνόλων]], η οποία δεν είχε τυποποιηθεί εκείνη την εποχή.

Ο [[Τζουζέπε Πεάνο]] παρείχε το 1888 μια πλήρη αξιωματικοποίηση βασισμένη στην τακτική ιδιότητα των [[Φυσικός αριθμός|φυσικών αριθμών]]. Το τελευταίο [[Αξιώματα Πεάνο|αξίωμα του Πεάνο]] είναι το μόνο που προκαλεί λογικές δυσκολίες, καθώς αρχίζει είτε με «αν {{mvar|S}} είναι ένα σύνολο τότε» είτε με «αν <math>\varphi</math> είναι ένα κατηγόρημα τότε». Έτσι, τα [[Αξιώματα Πεάνο|αξιώματα του Πεάνο]] προκαλούν μια ποσοτικοποίηση σε άπειρα σύνολα, και αυτό σημαίνει ότι η αριθμητική του Πεάνο είναι αυτό που σήμερα ονομάζεται λογική δεύτερης τάξης.

Αυτό δεν ήταν καλά κατανοητό εκείνη την εποχή, αλλά το γεγονός ότι το άπειρο εμφανιζόταν στον ορισμό των φυσικών αριθμών ήταν ένα πρόβλημα για πολλούς μαθηματικούς της εποχής. Παραδείγματος χάριν, ο [[Ανρί Πουανκαρέ]] δήλωσε ότι τα αξιώματα μπορούν να αποδειχθούν μόνο στην πεπερασμένη εφαρμογή τους και κατέληξε στο συμπέρασμα ότι είναι «η δύναμη του νου» που επιτρέπει την αντίληψη της αόριστης επανάληψης της ίδιας πράξης.<ref>{{cite book|title=La Science et l'hypothèse|first1=Henri|last1=Poincaré|publisher=|date=1905|chapter=On the nature of mathematical reasoning|location=|page=|translator1-first=William John|translator1-last=Greenstreet|trans-title=Science and Hypothesis|orig-date=|chapter-url=https://en.wikisource.org/wiki/Science_and_Hypothesis/Chapter_1|at=VI}}</ref>  Αυτό ισχύει ιδιαίτερα για τη χρήση του τελευταίου αξιώματος του Πεάνο για να δείξει ότι η συνάρτηση διαδόχου παράγει όλους τους φυσικούς αριθμούς. Επίσης, ο [[Λέοπολντ Κρόνεκερ|Λέοπολντ Κρονέκερ]] είπε «Ο Θεός δημιούργησε τους [[Ακέραιος αριθμός|ακέραιους αριθμούς]], όλα τα άλλα είναι έργο του ανθρώπου».{{efn|The English translation is from Gray. In a footnote, Gray attributes the German quote to: "Weber 1891–1892, 19, quoting from a lecture of Kronecker's of 1886."<ref>{{cite book
 |last=Gray |first=Jeremy |author-link=Jeremy Gray
 |year=2008
 |title=Plato's Ghost: The modernist transformation of mathematics
 |page=153
 |publisher=Princeton University Press
 |isbn=978-1-4008-2904-0
 |via=Google Books
 |url=https://books.google.com/books?id=ldzseiuZbsIC&q=%22God+made+the+integers%2C+all+else+is+the+work+of+man.%22
 |url-status=live
 |archive-url=https://web.archive.org/web/20170329150904/https://books.google.com/books?id=ldzseiuZbsIC&q=%22God+made+the+integers%2C+all+else+is+the+work+of+man.%22#v=snippet&q=%22God%20made%20the%20integers%2C%20all%20else%20is%20the%20work%20of%20man.%22&f=false
 |archive-date=29 March 2017
}}</ref><ref>{{cite book
 |last=Weber |first=Heinrich L.
 |year=1891–1892
 |chapter=Kronecker
 |chapter-url=http://www.digizeitschriften.de/dms/img/?PPN=PPN37721857X_0002&DMDID=dmdlog6 
 |archive-url=https://web.archive.org/web/20180809110042/http://www.digizeitschriften.de/dms/img/?PPN=PPN37721857X_0002&DMDID=dmdlog6
 |archive-date=9 August 2018
 |title=''Jahresbericht der Deutschen Mathematiker-Vereinigung''
 |trans-title=Annual report of the German Mathematicians Association
 |pages=2:5–23. (The quote is on p.&nbsp;19)
 |postscript=;
}} {{cite web
 |title=access to ''Jahresbericht der Deutschen Mathematiker-Vereinigung''
 |url=http://www.digizeitschriften.de/dms/toc/?PPN=PPN37721857X_0002
 |archive-url=https://web.archive.org/web/20170820201100/http://www.digizeitschriften.de/dms/toc/?PPN=PPN37721857X_0002
 |archive-date=20 August 2017 
}}</ref>}} Αυτό μπορεί να ερμηνευθεί ως «οι [[ακέραιοι αριθμοί]] δεν μπορούν να οριστούν μαθηματικά».

===Άπειρα σύνολα===

Πριν από το δεύτερο μισό του 19ου αιώνα, το [[άπειρο]] ήταν μια φιλοσοφική έννοια που δεν ανήκε στα [[μαθηματικά]]. Ωστόσο, με την εμφάνιση του [[Απειροστικός λογισμός|απειροστικού λογισμού]], οι μαθηματικοί εξοικειώθηκαν με το [[άπειρο]], κυρίως μέσω του δυνητικού απείρου, δηλαδή ως αποτέλεσμα μιας ατέρμονης διαδικασίας, όπως ο ορισμός μιας άπειρης ακολουθίας, μιας άπειρης σειράς ή ενός ορίου. Η δυνατότητα ενός πραγματικού απείρου αποτέλεσε αντικείμενο πολλών φιλοσοφικών διαφωνιών.

Τα [[Σύνολο|σύνολα]], και πιο ειδικά τα άπειρα σύνολα, δεν θεωρούνταν ως μαθηματική έννοια- ειδικότερα, δεν υπήρχε σταθερός όρος γι' αυτά. Μια θεαματική αλλαγή προέκυψε με το έργο του [[Γκέοργκ Κάντορ]] ο οποίος ήταν ο πρώτος μαθηματικός που μελέτησε συστηματικά τα άπειρα σύνολα. Συγκεκριμένα, εισήγαγε τους [[Πληθικός αριθμός|πληθικούς αριθμούς]] που μετρούν το μέγεθος των άπειρων συνόλων, και τους διατακτικούς αριθμούς που, κατά προσέγγιση, καθιστούν δυνατή τη συνέχιση της αρίθμησης μετά την επίτευξη του απείρου. Ένα από τα σημαντικότερα αποτελέσματά του είναι η ανακάλυψη ότι οι [[πραγματικοί αριθμοί]] είναι αυστηρά περισσότεροι από τους [[Φυσικός αριθμός|φυσικούς αριθμούς]] (ο πληθικός της συνέχειας των [[Πραγματικός αριθμός|πραγματικών αριθμών]] είναι μεγαλύτερο από εκείνο των [[Φυσικός αριθμός|φυσικών αριθμών]]).

Τα αποτελέσματα αυτά απορρίφθηκαν από πολλούς μαθηματικούς και φιλοσόφους και οδήγησαν σε συζητήσεις που αποτελούν μέρος της θεμελιώδους κρίσης των μαθηματικών.

Η κρίση ενισχύθηκε με το [[παράδοξο του Ράσελ]] που υποστήριξε ότι η φράση «το [[σύνολο]] όλων των [[Σύνολο|συνόλων]]» είναι αυτοαναιρούμενη. Αυτή η αντίφαση εισήγαγε μια αμφιβολία για τη συνοχή όλων των μαθηματικών.

Με την εισαγωγή της θεωρίας συνόλων Ζερμέλο-Φράνκελ (περ. 1925) και την υιοθέτησή της από τη μαθηματική κοινότητα, η αμφιβολία για τη συνοχή ουσιαστικά απομακρύνθηκε, αν και η συνοχή της [[Θεωρία συνόλων|θεωρίας συνόλων]] δεν μπορεί να αποδειχθεί λόγω του θεωρήματος μη πληρότητας του Γκέντελ.

===Μαθηματική λογική===

Το 1847, ο Ντε Μόργκαν δημοσίευσε τους νόμους του και ο [[Τζορτζ Μπουλ]] επινόησε μια άλγεβρα, που σήμερα αποκαλείται [[άλγεβρα Μπουλ]], η οποία επιτρέπει την έκφραση της λογικής του [[Αριστοτέλης|Αριστοτέλη]] σε όρους τύπων και αλγεβρικών πράξεων. Η [[άλγεβρα Μπουλ]] είναι η αφετηρία της λογικής της μαθηματικοποίησης και η βάση του προτασιακού λογισμού

Ανεξάρτητα, τη δεκαετία του 1870, ο [[Τσαρλς Σάντερς Περς]] και ο Γκότλομπ Φρέγκε επέκτειναν τον προτασιακό λογισμό εισάγοντας ποσοδείκτες, για την οικοδόμηση της κατηγορηματικής λογικής.

Ο Φρέγκε επισήμανε τρεις επιθυμητές ιδιότητες μιας λογικής θεωρίας: συνέπεια (αδυναμία απόδειξης αντιφατικών δηλώσεων), πληρότητα (κάθε δήλωση είναι είτε αποδείξιμη είτε ανασκευάσιμη- δηλαδή, η άρνησή της είναι αποδείξιμη) και αποφασισιμότητα (υπάρχει μια διαδικασία απόφασης για τον έλεγχο κάθε δήλωσης).

Κοντά στο γύρισμα του αιώνα, ο [[Μπέρτραντ Ράσελ]] εκλαΐκευσε το έργο του Φρέγκε και ανακάλυψε το [[παράδοξο του Ράσελ]] που συνεπάγεται ότι η φράση "το σύνολο όλων των συνόλων" είναι αυτοαναιρούμενη. Αυτό το παράδοξο φάνηκε να καθιστά το σύνολο των μαθηματικών ασυνεπές και αποτελεί μία από τις κύριες αιτίες της θεμελιώδους κρίσης των μαθηματικών.

==Θεμελιώδης κρίση==

Η θεμελιώδης κρίση των μαθηματικών<ref>{{Cite book|title=Proof Theory: The First Step into Impredicativity|first=Wolfram|last=Pohlers|publisher=Springer Science & Business Media|isbn=978-3-540-69319-2|date=2008-10-01|url=https://books.google.gr/books?id=jeyh1Wi5QRIC&pg=PA1&dq=foundational+crisis+of+mathematics&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwiQ0vqsuNGNAxUzVPEDHaQ_FiQQ6AF6BAgHEAM#v=onepage&q=foundational%20crisis%20of%20mathematics&f=false}}</ref> προέκυψε στα τέλη του 19ου αιώνα και στις αρχές του 20ού αιώνα με την ανακάλυψη αρκετών παραδόξων ή αντιδιανοητικών αποτελεσμάτων.

Ένα από τα αποτελέσματα ήταν η απόδειξη ότι το [[αξίωμα παραλληλίας|αξίωμα της παραλληλίας]] δεν μπορεί να αποδειχθεί. Αυτό προκύπτει από την κατασκευή μιας [[Μη ευκλείδειες γεωμετρίες|μη ευκλείδειας γεωμετρίας]] εντός της [[Ευκλείδεια γεωμετρία|ευκλείδειας γεωμετρίας]], της οποίας η ασυνέπεια θα συνεπαγόταν την ασυνέπεια της [[Ευκλείδεια γεωμετρία|ευκλείδειας γεωμετρίας]]. Ένα γνωστό παράδοξο είναι το παράδοξο του Ράσελ, το οποίο δείχνει ότι η πρόταση "το σύνολο όλων των συνόλων που δεν περιέχουν τον εαυτό τους" είναι αυτοαναιρούμενη. Άλλα φιλοσοφικά προβλήματα ήταν η απόδειξη της ύπαρξης μαθηματικών αντικειμένων που δεν μπορούν να υπολογιστούν ή να περιγραφούν ρητά και η απόδειξη της ύπαρξης αριθμητικών θεωρημάτων που δεν μπορούν να αποδειχθούν με την [[αριθμητική Πεάνο|αριθμητική του Πεάνο]].

Αρκετές [[φιλοσοφία των μαθηματικών|φιλοσοφικές σχολές των μαθηματικών]] ήρθαν αντιμέτωπες με αυτά τα προβλήματα τον 20ό αιώνα και περιγράφονται παρακάτω.

Τα προβλήματα αυτά μελετήθηκαν επίσης από τους μαθηματικούς, και αυτό οδήγησε στην καθιέρωση της [[Μαθηματική λογική|μαθηματικής λογικής]] ως μια νέα περιοχή των μαθηματικών, η οποία συνίσταται στην παροχή μαθηματικών ορισμών σε λογικές (σύνολα κανόνων εξαγωγής συμπερασμάτων), μαθηματικές και λογικές θεωρίες, θεωρήματα και αποδείξεις και στη χρήση μαθηματικών μεθόδων για την απόδειξη θεωρημάτων σχετικά με αυτές τις έννοιες.

Αυτό οδήγησε σε απροσδόκητα αποτελέσματα, όπως τα θεωρήματα μη πληρότητας του Γκέντελ, τα οποία ουσιαστικά δηλώνουν ότι, αν μια θεωρία περιέχει την τυπική αριθμητική, δεν μπορεί να χρησιμοποιηθεί για να αποδειχθεί ότι δεν είναι αυτοαναιρούμενη - και, α�� δεν είναι αυτοαναιρούμενη, υπάρχουν θεωρήματα που δεν μπορούν να αποδειχθούν εντός της θεωρίας, αλλά τα οποία ωστόσο είναι αληθή με κάποια τεχνική έννοια.

Η θεωρία συνόλων Ζερμέλο-Φράνκελ με το αξίωμα της επιλογής (ZFC) είναι μια λογική θεωρία που καθιερώθηκε από τον Ερνστ Ζερμέλο και τον Αβραάμ Φράνκελ. Έγινε το τυπικό θεμέλιο των σύγχρονων μαθηματικών και, εκτός αν ορίζεται ρητά το αντίθετο, χρησιμοποιείται σε όλα τα σύγχρονα μαθηματικά κείμενα, συνήθως σιωπηρά.

Ταυτόχρονα, η αξιωματική μέθοδος έγινε εκ των πραγμάτων πρότυπο: η απόδειξη ενός θεωρήματος πρέπει να προκύπτει από ρητά αξιώματα και από προηγουμένως αποδεδειγμένα θεωρήματα με την εφαρμογή σαφώς καθορισμένων κανόνων εξαγωγής συμπερασμάτων. Τα αξιώματα δεν χρειάζεται να αντιστοιχούν σε κάποια πραγματικότητα. Παρ' όλα αυτά, είναι ένα ανοιχτό φιλοσοφικό πρόβλημα να εξηγήσουμε γιατί τα συστήματα αξιωμάτων που οδηγούν σε πλούσιες και χρήσιμες θεωρίες είναι αυτά που προκύπτουν από την αφαίρεση από τη φυσική πραγματικότητα ή από άλλη μαθηματική θεωρία.

Εν ολίγοις, η θεμελιώδης κρίση έχει ουσιαστικά επιλυθεί, και αυτό ανοίγει νέα φιλοσοφικά προβλήματα. Ειδικότερα, δεν μπορεί να αποδειχθεί ότι το νέο θεμέλιο (ZFC) δεν είναι αυτοαναιρούμενο. Υπάρχει γενική συναίνεση ότι, αν αυτό συνέβαινε, το πρόβλημα θα μπορούσε να επιλυθεί με μια ήπια τροποποίηση της ZFC.

===Φιλοσοφικές απόψεις===
Κύριο άρθρο: [[Φιλοσοφία των μαθηματικών]]

Όταν προέκυψε η θεμελιώδης κρίση, υπήρξε έντονη συζήτηση μεταξύ μαθηματικών και λογικών για το τι έπρεπε να γίνει για την αποκατάσταση της εμπιστοσύνης στα μαθηματικά. Αυτό περιελάμβανε φιλοσοφικά ερωτήματα σχετικά με τη [[Αλήθεια#Επιστημονική αλήθεια|μαθηματική αλήθεια]], τη σχέση των μαθηματικών με την πραγματικότητα, την πραγματικότητα των μαθηματικών αντικειμένων και τη φύση των μαθηματικών.

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

===Φορμαλισμός===

Υποστηρίχθηκε ότι οι φορμαλιστές, όπως ο [[Ντέιβιντ Χίλμπερτ]] (1862-1943), θεωρούν ότι τα [[μαθηματικά]] είναι μόνο μια γλώσσα και μια σειρά από παιχνίδια. Ο Χίλμπερτ επέμενε ότι ο φορμαλισμός, που ο ίδιος αποκαλούσε «παιχνίδι τύπων», είναι θεμελιώδες μέρος των μαθηματικών, αλλά ότι τα μαθηματικά δεν πρέπει να αναχθούν στον φορμαλισμό. Πράγματι, χρησιμοποίησε τις λέξεις «παιχνίδι τύπων» στην απάντησή του το 1927 στις επικρίσεις του [[Λόιτσεν Εχμπέρτους Γιαν Μπράουερ]]:

{{blockquote|Και σε ποιο βαθμό το παιχνίδι των τύπων που κατέστη δυνατό ήταν επιτυχές; Αυτό το παιχνίδι των τύπων μας επιτρέπει να εκφράσουμε ολόκληρο το περιεχόμενο της σκέψης της μαθηματικής επιστήμης με ενιαίο τρόπο και να το αναπτύξουμε με τέτοιο τρόπο ώστε, ταυτόχρονα, να γίνουν σαφείς οι δεσμοί μεταξύ των προτάσεων και των επιμέρους γεγονότων ... Εκτός από τη μαθηματική του αξία, το σύνολο των τύπων που τόσο πολύ αποδοκιμάζει ο Μπράουερ έχει μια σημαντική γενική φιλοσοφική σημασία. Στην πραγματικότητα, αυτό το παιχνίδι των τύπων παίζεται σύμφωνα με ορισμένους ακριβείς κανόνες, στους οποίους εκφράζεται η «τεχνική της σκέψης μας». Οι κανόνες αυτοί αποτελούν ένα κλειστό σύστημα που μπορούμε να ανακαλύψουμε και να δηλώσουμε οριστικά.<ref name="ReferenceA">Hilbert 1927 ''The Foundations of Mathematics'' in van Heijenoort 1967:475</ref>}}

Επομένως, ο Χίλμπερτ επιμένει ότι τα μαθηματικά δεν είναι ένα «αυθαίρετο» παιχνίδι με «αυθαίρετους» κανόνες- μάλλον πρέπει να συμφωνούν με τον τρόπο με τον οποίο εξελίσσεται η σκέψη μας, και στη συνέχεια η ομιλία και η γραφή μας.<ref name="ReferenceA"/>

{{blockquote|Δεν μιλάμε εδώ για αυθαιρεσία σε καμία περίπτωση. Τα μαθηματικά δεν μοιάζουν με ένα παιχνίδι του οποίου τα θέματα καθορίζονται από αυθαίρετα καθορισμένους κανόνες. Αντιθέτως, πρόκειται για ένα εννοιολογικό σύστημα που διαθέτει εσωτερική αναγκαιότητα η οποία δεν μπορεί παρά να είναι έτσι και με κανένα τρόπο αλλιώς.<ref>p. 14 in Hilbert, D. (1919–20), Natur und Mathematisches Erkennen: Vorlesungen, gehalten 1919–1920 in Göttingen. Nach der Ausarbeitung von Paul Bernays (Edited and with an English introduction by David E. Rowe), Basel, Birkhauser (1992).</ref>}}

Η θεμελιώδης φιλοσοφία του φορμαλισμού, όπως την εξέφρασε ο Ντέιβιντ Χίλμπερτ, είναι μια απάντηση στα παράδοξα της [[Θεωρία συνόλων|θεωρίας συνόλων]] και βασίζεται στην τυπική λογική. Σχεδόν όλα τα μαθηματικά θεωρήματα σήμερα μπορούν να διατυπωθούν ως θεωρήματα της [[Θεωρία συνόλων|θεωρίας συνόλων]]. Η αλήθεια μιας μαθηματικής δήλωσης, κατά την άποψη αυτή, αντιπροσωπεύεται από το γεγονός ότι η δήλωση μπορεί να προκύψει από τα αξιώματα της θεωρίας συνόλων χρησιμοποιώντας τους κανόνες της τυπικής λογικής.

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

{{blockquote|Ποια «αλήθεια» ή αντικειμενικότητα μπορεί να αποδοθεί σε αυτή τη θεωρητική κατασκευή του κόσμου, η οποία υπερβαίνει κατά πολύ το δεδομένο, είναι ένα βαθύ φιλοσοφικό πρόβλημα. Συνδέεται στενά με το περαιτέρω ερώτημα: τι μας ωθεί να πάρουμε ως βάση ακριβώς το συγκεκριμένο σύστημα αξιωμάτων που ανέπτυξε ο Χίλμπερτ; Η συνέπεια είναι πράγματι μια αναγκαία αλλά όχι επαρκής συνθήκη. Προς το παρόν μάλλον δεν μπορούμε να απαντήσουμε σε αυτό το ερώτημα ...<ref>Weyl 1927  “Σχόλια στη δεύτερη διάλεξη του Χίλμπερτ για τα θεμέλια των μαθηματικών”" στο van Heijenoort 1967:484. Αν και ο διαισθητικός Γουέιλ πίστευε ότι η “'άποψη του Χίλμπερτ”' θα επικρατούσε τελικά, αυτό θα ερχόταν με σημαντική απώλεια για τη φιλοσοφία: "“'Βλέπω σ” αυτό μια αποφασιστική ήττα της φιλοσοφικής στάσης της καθαρής φαινομενολογίας'', η οποία αποδεικνύεται έτσι ανεπαρκής για την κατανόηση της δημιουργικής επιστήμης ακόμη και στον τομέα της νόησης που είναι ο πιο αρχέγονος και ο πιο εύκολα προσβάσιμος σε αποδείξεις {{snd}} mathematics" (ibid).</ref>}}

Σε ορισμένες περιπτώσεις, η μελέτη των τυπικών θεωριών, σε κλάδους όπως τα αντίστροφα μαθηματικά και η [[Θεωρία πολυπλοκότητας]], παρέχει επαρκείς απαντήσεις σε αυτά τα ερωτήματα. Όπως σημείωσε ο Βέιλ, τα τυπικά λογικά συστήματα διατρέχουν επίσης τον κίνδυνο της ασυνέπειας- στην περίπτωση του [[Αξιώματα Πεάνο|αξιώματος Πεάνο]], ο κίνδυνος αυτός έχει ήδη επιλυθεί με αρκετές αποδείξεις συνέπειας, αλλά το κατά πόσον είναι αρκετά πεπερασμένα ώστε να έχουν νόημα είναι ένα θέμα συζήτησης. Το δεύτερο θεώρημα μη πληρότητας του Γκέντελ δηλώνει ότι τα λογικά συστήματα αριθμητικής δεν μπορούν ποτέ να περιέχουν μια έγκυρη απόδειξη της συνέπειάς τους. Αυτό που ήθελε να κάνει ο Χίλμπερτ ήταν να αποδείξει ότι ένα λογικό σύστημα S ήταν συνεπές, με βάση τις αρχές P που αποτελούσαν μόνο ένα μικρό μέρος του S. Αλλά ο Γκέντελ απέδειξε ότι οι αρχές P δεν μπορούσαν καν να αποδείξουν ότι το P ήταν συνεπές, πόσο μάλλον ότι το S ήταν συνεπές.

===Ενορατισμός===

Οι Ενορατιστές, όπως ο [[Λόιτσεν Εχμπέρτους Γιαν Μπράουερ|Λ. Ε. Γ. Μπρούβερ]] (1882-1966), θεωρούσαν  ότι τα [[μαθηματικά]] είναι δημιούργημα του ανθρώπινου νου. Οι [[αριθμοί]], όπως και οι χαρακτήρες των παραμυθιών, είναι απλώς νοητικές οντότητες, οι οποίες δεν θα υπήρχαν αν δεν υπήρχαν ποτέ ανθρώπινα μυαλά να τους σκεφτούν.

Η θεμελιώδης φιλοσοφία του ενορατισμού ή του συμπερασματικού, όπως την υποδεικνύουν σε ακραίο βαθμό ο Μπρούβερ και ο [[Στίβεν Κλέινι|Στίβεν Κλέιν]], απαιτεί οι αποδείξεις να είναι «εποικοδομητικές» στη φύση τους - η ύπαρξη ενός αντικειμένου πρέπει να αποδεικνύεται και όχι να συνάγεται από την απόδειξη της αδυναμίας της ανυπαρξίας του. Παραδείγματος χάριν, ως συνέπεια αυτού είναι ύποπτη η μορφή απόδειξης που είναι γνωστή ως [[εις άτοπον απαγωγή]] (reductio ad absurdum).

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

===Λογικισμός===
Κύριο άρθρο: [[Λογικισμός]]

Ο [[λογικισμός]] είναι μια σχολή σκέψης και ένα ερευνητικό πρόγραμμα στη [[φιλοσοφία των μαθηματικών]], που βασίζεται στη θέση ότι τα μαθηματικά είναι μια επέκταση της λογικής ή ότι ορισμένα ή όλα τα μαθηματικά μπορούν να παραχθούν σε ένα κατάλληλο τυπικό σύστημα του οποίου τα αξιώματα και οι κανόνες συμπερασμού είναι «λογικής» φύσης. Ο [[Μπέρτραντ Ράσελ|Μπερτράντ Ράσελ]] και ο [[Άλφρεντ Νορθ Γουάιτχεντ]] υπερασπίστηκαν αυτή τη θεωρία που ξεκίνησε από τον [[Γκότλομπ Φρέγκε]] και επηρεάστηκε από τον Ρίτσαρντ Ντέντεκιντ.

===Μαθηματικός Πλατωνισμός=== 

Πολλοί ερευνητές της [[Θεωρία συνόλων#Αξιωματική θεωρία συνόλων|αξιωματικής θεωρίας συνόλων]] υιοθέτησαν αυτό που είναι γνωστό ως πλατωνισμός της θεωρίας συνόλων, με χαρακτηριστικό παράδειγμα τον Κουρτ Γκέντελ.

Αρκετοί θεωρητικοί συνόλων ακολούθησαν αυτή την προσέγγιση και έψαξαν ενεργά για αξιώματα που θα μπορούσαν να θεωρηθούν αληθή για ευρετικούς λόγους και που θα επέτρεπαν την επίλυση της [[Υπόθεση του συνεχούς|υπόθεσης του συνεχούς]]. Μελετήθηκαν πολλά αξιώματα μεγάλων πληθάριθμών, αλλά η υπόθεση παρέμενε πάντοτε ανεξάρτητη από αυτά τα αξιώματα και θεωρείται πλέον απίθανο να λυθεί η CH με ένα νέο αξίωμα μεγάλων [[Πληθάριθμος|πληθάριθμών]]. Εξετάστηκαν και άλλοι τύποι αξιωμάτων, αλλά κανένας από αυτούς δεν κατέληξε σε συναίνεση σχετικά με την [[υπόθεση του συνεχούς]]. Η πρόσφατη εργασία του Χάμκινς<ref>{{Cite web|url=http://jdh.hamkins.org/wp-content/uploads/2018/11/CV-Hamkins-1.pdf|title=Wayback Machine|website=jdh.hamkins.org|accessdate=2025-06-26|archive-date=2019-12-22|archive-url=https://web.archive.org/web/20191222012418/http://jdh.hamkins.org/wp-content/uploads/2018/11/CV-Hamkins-1.pdf|url-status=}}</ref> προτείνει μια πιο ευέλικτη εναλλακτική λύση: ένα θεωρητικό [[πολυσύμπαν]] που επιτρέπει το ελεύθερο πέρασμα μεταξύ θεωρητικών συμπάντων που ικανοποιούν την υπόθεση του συνεχούς και άλλων συμπάντων που δεν ικανοποιούν.

== Εξωτερικοί σύνδεσμοι ==
*[https://www.itia.ntua.gr/en/docinfo/1318/ English - Greek Dictionary of Pure and Applied Mathematics] Εθνικό Μετσόβιο Πολυτεχνείο
*[https://www.mas.ucy.ac.cy/georgios/bookfiles/dict1.pdf Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου]
*[https://mathbooksgr.wordpress.com/wp-content/uploads/2012/02/mlexiko2012.pdf ΑΓΓΛΟΕΛΛΗΝΙΚΟ. ΛΕΞΙΚΟ. ΜΑΘΗΜΑΤΙΚΩΝ. ΟΡΩΝ] Αριάδνη Καλογερόπουλου. Μίλτος Γκίκας — Δ. Καραπαννακης — Μ. Λάμπρου.
*[http://users.math.uoc.gr/~chrisk/FoundMath-Notes.pdf Θεμέλια των Μαθηματικών] Τμήμα Μαθηματικών - Πανεπιστήμιο Κρήτης

== Πηγές ==
* [[:en:Jeremy Avigad|Avigad, Jeremy]] (2003) ''[https://www.andrew.cmu.edu/user/avigad/Papers/elementary.pdf Number theory and elementary arithmetic]'', Philosophia Mathematica Vol. 11, pp.&nbsp;257–284
* [[:en:Howard Eves|Eves, Howard]] (1990), ''Foundations and Fundamental Concepts of Mathematics Third Edition'', Dover Publications, INC, Mineola NY, ISBN 0-486-69609-X (pbk.) cf §9.5 Philosophies of Mathematics pp.&nbsp;266–271. Eves lists the three with short descriptions prefaced by a brief introduction.
* Goodman, N.D. (1979), "[https://www.jstor.org/stable/2320581 Mathematics as an Objective Science]", in Tymoczko (ed., 1986).
* [[:en:Wilbur Dyre Hart|Hart, W.D.]] (ed., 1996), ''The Philosophy of Mathematics'', Oxford University Press, Oxford, UK.
* [[:en:Reuben Hersh|Hersh, R.]] (1979), "Some Proposals for Reviving the Philosophy of Mathematics", in (Tymoczko 1986).
* [[:en:David Hilbert|Hilbert, D.]] (1922), "Neubegründung der Mathematik. Erste Mitteilung", ''Hamburger Mathematische Seminarabhandlungen'' 1, 157–177. Translated, "The New Grounding of Mathematics. First Report", in (Mancosu 1998).
* Katz, Robert (1964), ''Axiomatic Analysis'', D. C. Heath and Company.
* {{cite book|first=|author=Kleene, Stephen C.|title=Introduction to Meta-Mathematics|publisher=North-Holland Pub. Co|location=Amsterdam NY|page=|orig-year=1952|year=1991|edition=Tenth impression 1991|isbn=0-7204-2103-9|author-link=:en:Stephen Kleene}}
: In Chapter III ''A Critique of Mathematic Reasoning, §11. The paradoxes'', Kleene discusses [[:en:Intuitionism|Intuitionism]] and [[:en:Formalism (mathematics)|Formalism]] in depth. Throughout the rest of the book he treats, and compares, both Formalist (classical) and Intuitionist logics with an emphasis on the former. Extraordinary writing by an extraordinary mathematician.
* Mancosu, P. (ed., 1998), ''From Hilbert to Brouwer. The Debate on the Foundations of Mathematics in the 1920s'', Oxford University Press, Oxford, UK.
* [[:en:Hilary Putnam|Putnam, Hilary]] (1967), "Mathematics Without Foundations", ''Journal of Philosophy'' 64/1, 5–22. Reprinted, pp.&nbsp;168–184 in W.D. Hart (ed., 1996).
* —, "What is Mathematical Truth?", in Tymoczko (ed., 1986).
* {{cite journal|author=Sudac, Olivier|title=The prime number theorem is PRA-provable|date=Apr 2001|journal=Theoretical Computer Science|volume=257|issue=1–2|pages=185–239|doi=10.1016/S0304-3975(00)00116-X|doi-access=}}
* [[:en:Anne Sjerp Troelstra|Troelstra, A. S.]] (no date but later than 1990), [https://web.archive.org/web/20060209210015/http://staff.science.uva.nl/~anne/hhhist.pdf "A History of Constructivism in the 20th Century"], A detailed survey for specialists: §1 Introduction, §2 Finitism & §2.2 Actualism, §3 Predicativism and Semi-Intuitionism, §4 Brouwerian Intuitionism, §5 Intuitionistic Logic and Arithmetic, §6 Intuitionistic Analysis and Stronger Theories, §7 Constructive Recursive Mathematics, §8 Bishop's Constructivism, §9 Concluding Remarks. Approximately 80 references.
* [[:en:Thomas Tymoczko|Tymoczko, T.]] (1986), "Challenging Foundations", in Tymoczko (ed., 1986).
* —,(ed., 1986), ''[https://books.google.com/books?id=a-M9DwAAQBAJ&dq=%22New+Directions+in+the+Philosophy+of+Mathematics%22&pg=PR9 New Directions in the Philosophy of Mathematics]'', 1986. Revised edition, 1998.
* van Dalen D. (2008), "Brouwer, Luitzen Egbertus Jan (1881–1966)", in Biografisch Woordenboek van Nederland. URL:http://www.inghist.nl/Onderzoek/Projecten/BWN/lemmata/bwn2/brouwerle [2008-03-13]
* [[:en:Hermann Weyl|Weyl, H.]] (1921), "Über die neue Grundlagenkrise der Mathematik", ''Mathematische Zeitschrift'' 10, 39–79. Translated, "On the New Foundational Crisis of Mathematics", in (Mancosu 1998).
* [[:en:Raymond Louis Wilder|Wilder, Raymond L.]] (1952), ''Introduction to the Foundations of Mathematics'', John Wiley and Sons, New York, NY.

== Υποσημειώσεις ==
<references />
<references group="lower-greek"/>

{{μαθηματικά-κλάδοι}}
{{Authority control}}
{{Portal bar|Μαθηματικά}}

[[Κατηγορία:Μαθηματική λογική]]
[[Κατηγορία:Φιλοσοφία των μαθηματικών]]
[[Κατηγορία:Ιστορία των Μαθηματικών]]
Πρότυπα που χρησιμοποιούνται σε αυτή την σελίδα:
Πρότυπο:Abs (επεξεργασία)
Πρότυπο:Authority control (προβολή κώδικα) (πλήρως προστατευμένη)
Πρότυπο:Blockquote (επεξεργασία)
Πρότυπο:Citation (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Citation/core (επεξεργασία)
Πρότυπο:Citation/make link (επεξεργασία)
Πρότυπο:Cite book (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Cite journal (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Cite web (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Efn (επεξεργασία)
Πρότυπο:Hlist/styles.css (επεξεργασία)
Πρότυπο:MacTutor (επεξεργασία)
Πρότυπο:Math (επεξεργασία)
Πρότυπο:Mvar (επεξεργασία)
Πρότυπο:Nowrap (προβολή κώδικα) (πλήρως προστατευμένη)
Πρότυπο:Portal bar (προβολή κώδικα) (ημιπροστατευμένη)
Πρότυπο:Snd (επεξεργασία)
Πρότυπο:Spaced ndash (επεξεργασία)
Πρότυπο:Μαθηματικά-κλάδοι (επεξεργασία)
Πρότυπο:Παράθεμα (επεξεργασία)
Πρότυπο:Πλαίσιο πλοήγησης (προβολή κώδικα) (πλήρως προστατευμένη)
Module:Arguments (προβολή κώδικα) (ημιπροστατευμένη)
Module:Authority control (προβολή κώδικα) (πλήρως προστατευμένη)
Module:Citation/CS1 (προβολή κώδικα) (πλήρως προστατευμένη)
Module:Citation/CS1/COinS (επεξεργασία)
Module:Citation/CS1/Configuration (επεξεργασία)
Module:Citation/CS1/Date validation (επεξεργασία)
Module:Citation/CS1/Identifiers (επεξεργασία)
Module:Citation/CS1/Utilities (επεξεργασία)
Module:Citation/CS1/Whitelist (επεξεργασία)
Module:Citation/CS1/styles.css (επεξεργασία)
Module:Navbar (επεξεργασία)
Module:Navbar/configuration (προβολή κώδικα) (πλήρως προστατευμένη)
Module:Navbar/styles.css (προβολή κώδικα) (ημιπροστατευμένη)
Module:Navbox (επεξεργασία)
Module:Navbox/configuration (επεξεργασία)
Module:Navbox/styles.css (προβολή κώδικα) (πλήρως προστατευμένη)
Module:Portal (επεξεργασία)
Module:Portal/images/other (επεξεργασία)
Module:Portal bar (επεξεργασία)
Module:TableTools (επεξεργασία)
Module:Yesno (προβολή κώδικα) (πλήρως προστατευμένη)
Επιστροφή στη σελίδα Θεμέλια των μαθηματικών.
Ανακτήθηκε από "https://el.wikipedia.org/wiki/Θεμέλια_των_μαθηματικών"