🎯 Το Πρόγραμμα του Hilbert
Ο Hilbert ήθελε να ανάγει ολόκληρα τα μαθηματικά σε ένα σύνολο αλληλένδετων αξιωματικών συστημάτων. Η αμοιβαία συνέπεια αυτών των συστημάτων θα αποδεικνυόταν με πεπερασμένα (finitary) μέσα.
Κάθε σύστημα είχε τα δικά του αξιώματα, αλλά όλα μοιράζονταν τους ίδιους κανόνες λογικής συμπερασμού (όπως το modus ponens).
📐 Μαθηματικά και Λογική
Παρόλο που λογική και μαθηματικά μοιράζονται βασικούς κανόνες, ο Hilbert επέμενε ότι τα μαθηματικά δεν είναι απλώς λογική μεταμφιεσμένη.
Τα μαθηματικά αξιώματα περιγράφουν τον χώρο, τον χρόνο και τη μέτρηση. Η έννοια του αριθμού είναι μη αναγώγιμη – δεν μπορείς να την αφαιρέσεις χωρίς να καταστρέψεις το οικοδόμημα.
🏛️ Ο Πλατωνισμός του Hilbert
Ο Hilbert ήταν πλατωνιστής σε αυτό το σημείο. Πίστευε ότι:
- Οι αριθμητικές εκφράσεις αντιστοιχούν σε πραγματικά, ανεξάρτητα αντικείμενα.
- Αυτά υπάρχουν ανεξάρτητα από την ανθρώπινη γνώση.
- Τα γνωρίζουμε μέσω της απόδειξης, αλλά η ύπαρξή τους δεν εξαρτάται από εμάς.
⚔️ Αντίθεση με τον Διαισθητισμό
Αυτή η άποψη τον έφερε σε σύγκρουση με τους διαισθητιστές (κυρίως τον Brouwer), οι οποίοι υποστήριζαν ότι:
- Μια μη αποδεδειγμένη πρόταση δεν είναι ούτε αληθής ούτε ψευδής – είναι απροσδιόριστη.
- Οι αριθμοί είναι νοητικές κατασκευές.
- Χωρίς νου που εκτελεί πράξεις, οι αριθμοί δεν θα υπήρχαν.
🧠 Η Βαθύτερη Διαχωριστική Γραμμή
Ο Hilbert δεχόταν ότι ορισμένα μαθηματικά αντικείμενα μπορεί να παραμείνουν αιώνια άγνωστα, αλλά παρ’ όλα αυτά πραγματικά. Το μαθηματικό σύμπαν υπερβαίνει τα όρια κάθε νου.
Το περίφημο απόφθεγμά του (1925):
«Από τον παράδεισο που δημιούργησε για μας ο Cantor, κανείς δεν πρέπει να μπορεί να μας διώξει.»
📌 Η Κληρονομιά
Το πρόγραμμα του Hilbert να θεμελιώσει τα μαθηματικά αξιωματικά, η πλατωνιστική του πίστη και η αντιπαράθεση με τον διαισθητισμό συνέβαλαν καθοριστικά στη διαμόρφωση της λογικής και της φιλοσοφίας των μαθηματικών του 20ού αιώνα.
Τα θεωρήματα μη πληρότητας του Gödel έδειξαν ότι το αρχικό πρόγραμμα δεν μπορούσε να πραγματοποιηθεί πλήρως, αλλά η επίδρασή του παραμένει τεράστια.
.jpg)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου