Στη θεμελίωση των μαθηματικών, το παράδοξο του Ράσελ (επίσης γνωστή ως αντινομία Russell), που ανακαλύφθηκε από τον Μπέρτραντ Ράσελ το 1901, έδειξε ότι η αφελής θεωρία συνόλων που δημιουργήθηκε από τον Γκέοργκ Κάντορ οδηγεί σε μια αντίφαση. Το ίδιο παράδοξο είχε ανακαλυφθεί ένα χρόνο πριν από τον Έρνστ Τσεμέλο, αλλά δεν είχε δημοσιεύσει την ιδέα, που έμεινε γνωστή μόνο στους Χίλμπερτ, Έντμουντ Χούσσερλ και άλλα μέλη του Πανεπιστημίου του Γκέτινγκεν.Συνεχίστε την ανάγνωση

Τα τρία κύρια φιλοσοφικά ρεύματα στα μαθηματικά

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

  •  Λογικισμός

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

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

Συνεχίστε την ανάγνωση