ZFC

stranger
Δημοσιεύσεις: 51
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: United States of America

ZFC

#1

Μη αναγνωσμένη δημοσίευση από stranger » Τετ Αύγ 28, 2019 3:03 am

Έχω μια κάπως φιλοσοφική ερώτηση σχετικά με τα πιθανά μοντέλα της ZFC. Υπάρχει μια πρόταση στη συνολοθεωρία που λέει ότι το αξίωμα της κανονικότητας είναι ισοδύναμο με την πρόταση V=WF, όπου V είναι το μαθηματικό σύμπαν και WF είναι η κλάση των καλών εδραιωμένων συνόλων.Το WF ουσιαστικά είναι όλα τα σύνολα που παράγονται από το \emptyset μέσω διαδοχικής χρήσης του αξιώματος του δυναμοσυνόλου και του αξιώματος της ένωσης.Δηλαδή τα σύνολα \{\emptyset\}, \{\emptyset, \{\emptyset\}\},\{\{\emptyset\}\} και ούτο καθεξής.
Αυτό μου λέει εμένα ότι υπάρχει μόνο ένα μοντέλο της ZFC και είναι ακριβώς τα σύνολα που προέρχονται από το \emptyset χρησιμοποιώντας διαδοχικά τα αξιώματα της ένωσης και του δυναμοσυνόλου.
Όμως τότε αν η ZFC έχει μόνο ένα μοντέλο από το θεώρημα πληρότητας του Godel αυτό συνεπάγεται ότι η ZFC είναι πλήρες αξιωματικό σύστημα κάτι που αντίκειται στο θεώρημα μη-πληρότητας του Godel.
Που κάνω λάθος στον συλλογισμό μου;


Κωνσταντίνος Σμπώκος
Μαθηματικός

Λέξεις Κλειδιά:
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 8242
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: ZFC

#2

Μη αναγνωσμένη δημοσίευση από Demetres » Τετ Αύγ 28, 2019 10:25 am

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

(1) Μέχρι που σταματάμε την κατασκευή των V_{\alpha}; Π.χ. η ύπαρξη ή μη inaccessible cardinals μπορεί να δίνει διαφορετικό μοντέλο. Ας το δούμε και λίγο διαφορετικά μιας και δεν καταλαβαίνω και πολύ καλά τα inaccessible cardinals. Αν αφαιρέσουμε το axiom of replacement, από ότι γνωρίζω δεν μπορούμε να κατασκευάσουμε το \omega \cdot 2. Σε αυτήν τη συνολοθεωρία ποιο θα ήταν το μοντέλο μας; Θα είχε μέσα και το \omega \cdot 2 ή όχι;

(2) Το V_{\alpha+1} είναι το σύνολο όλων των υποσυνόλων του V_{\alpha}. Μπορεί όμως διαφορετικά μοντέλα να έχουν διαφορετική ερμηνεία για το ποια είναι «όλα τα υποσύνολα».


stranger
Δημοσιεύσεις: 51
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: United States of America

Re: ZFC

#3

Μη αναγνωσμένη δημοσίευση από stranger » Τετ Αύγ 28, 2019 10:17 pm

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


Κωνσταντίνος Σμπώκος
Μαθηματικός
Απάντηση

Επιστροφή σε “Μαθηματική Λογική & Θεμέλια Μαθηματικών”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης