Ευκλείδεια Γεωμετρία

Συντονιστής: matha

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

Ευκλείδεια Γεωμετρία

#1

Μη αναγνωσμένη δημοσίευση από stranger » Πέμ Οκτ 10, 2019 8:41 am

Η Ευκλείδεια Γεωμετρία είναι συνεπές και πλήρες αξιωματικό σύστημα.Το οποίο σημαίνει ότι δεν αποδεικνύει αντιφάσεις και για κάθε πρότασή της, είναι αποδείξιμη η αυτή η άρνησή της.
Δεν είναι φοβερό; Μάλλον ήξερε τι έκανε ο γερο-Ευκλείδης.
Σχολιάστε.


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

Λέξεις Κλειδιά:
Μάρκος Βασίλης
Δημοσιεύσεις: 77
Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
Τοποθεσία: Καισαριανή
Επικοινωνία:

Re: Ευκλείδεια Γεωμετρία

#2

Μη αναγνωσμένη δημοσίευση από Μάρκος Βασίλης » Πέμ Οκτ 10, 2019 1:44 pm

stranger έγραψε:
Πέμ Οκτ 10, 2019 8:41 am
Η Ευκλείδεια Γεωμετρία είναι συνεπές και πλήρες αξιωματικό σύστημα.Το οποίο σημαίνει ότι δεν αποδεικνύει αντιφάσεις και για κάθε πρότασή της, είναι αποδείξιμη η αυτή η άρνησή της.
Δεν είναι φοβερό; Μάλλον ήξερε τι έκανε ο γερο-Ευκλείδης.
Σχολιάστε.
Αρχικά, η Ευκλείδεια γεωμετρία, αν ιδωθεί με τα «μάτια» του Ευκλείδη, ως θεωρία, δεν είναι πλήρης. Αν θεωρήσουμε το σύνολο S\subseteq\mathbb{R} των κατασκευάσιμων αριθμών, τότε αυτοί αποτελούν ένα Ευκλείδιο σώμα (διατεταγμένο σώμα όπου κάθε μη αρνητικό στοιχείο «έχει ρίζα»). Ως εκ τούτου, όπως βλέπουμε στο [1], το σύνολο S^2 αποτελεί μοντέλο της Ευκλείδειας Γεωμετρίας, όπως αυτή αναπτύσσεται στα «Στοιχεία» του Ευκλείδη. Δηλαδή, όσα λέει ο Ευκλείδης μπορούν να «ζήσουν» πάνω στο S^2.

Ένα άλλο μοντέλο της Ευκλείδειας Γεωμετρίας των «Στοιχείων» είναι και το γνωστό και μη εξαιρετέο \mathbb{R}^2. Αν πάρουμε τώρα την πρόταση:

\phi: «Κάθε γωνία έχει μία τριχοτόμηση»,

τότε, αυτή η πρόταση, προφανώς, ισχύει στο \mathbb{R}^2, ωστόσο, για την γωνία \theta=60^\circ μπορούμε να αποδείξουμε - βλ. [2] - ότι δεν ισχύει στο S^2 - συνοπτικά, \cos20^\circ\not\in S. Έτσι, έχουμε δύο μοντέλα της μίας θεωρίας, στο ένα εκ των οποίων η \phi ισχύει ενώ στο άλλο όχι, άρα η θεωρία μας - αυτή του Ευκλείδη, δηλαδή - δεν μπορεί να είναι πλήρης.

Ωστόσο, νά' ναι καλά ο Tarski, υπάρχει μία άλλη αξιωματικοποίηση της Γεωμετρίας, η οποία είναι πλήρης και, μάλιστα έχει και πολλές άλλες αρετές - είναι αποφασίσιμη, είναι πρωτοτάξια κ.λπ.. Να σημειωθεί, επίσης, ότι ένα μοντέλο αυτής της Γεωμετρίας είναι και το A^2, όπου A είναι το σύνολο όλων των αλγεβρικών αριθμών. Τέλος, ένα «μειονέκτημα» της θεωρίας είναι ότι συμπεριλαμβάνει ένα (άπειρα αριθμήσιμο) αξιωματικό σχήμα - το αξιωματικό σχήμα της συνέχειας - γεγονός που δεν την καθιστά πεπερασμένα αξιωματικοποιήσιμη και, ως εκ τούτου, δύσχρηστη σε εφαρμογές αυτοματοποιημένου συμπερασμού.
  • Geometry, Euclid and Beyond, Heartstone
  • Elementary Geometry from an advanced standpoint, Moise


\textcolor{blue}{\forall after-maths}
stranger
Δημοσιεύσεις: 53
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: United States of America

Re: Ευκλείδεια Γεωμετρία

#3

Μη αναγνωσμένη δημοσίευση από stranger » Παρ Οκτ 11, 2019 5:06 am

Αναφερόμουν στο αξιωματικό σύστημα του Tarski.
Έχω επίσης και το άρθρο του Tarski πάνω σε αυτό το θέμα.
Οποίος θέλει να το διαβάσει ας μου στείλει μήνυμα να του το στείλω.


Κωνσταντίνος Σμπώκος
Μαθηματικός
Μάρκος Βασίλης
Δημοσιεύσεις: 77
Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
Τοποθεσία: Καισαριανή
Επικοινωνία:

Re: Ευκλείδεια Γεωμετρία

#4

Μη αναγνωσμένη δημοσίευση από Μάρκος Βασίλης » Παρ Οκτ 11, 2019 10:21 am

stranger έγραψε:
Παρ Οκτ 11, 2019 5:06 am
Αναφερόμουν στο αξιωματικό σύστημα του Tarski.
Έχω επίσης και το άρθρο του Tarski πάνω σε αυτό το θέμα.
Οποίος θέλει να το διαβάσει ας μου στείλει μήνυμα να του το στείλω.
Γενικά, τα αξιώματα του Tarksi είναι άκρως αφύσικα - προσωπική άποψη - αλλά ταυτόχρονα και πάρα πολύ λειτουργικά, σε αντίθεση, π.χ. με αυτά του Hilbert. Μάλιστα, σε μία δουλειά του Phill Scott, που συνεχίζει ένα project του Meikle για την αυτοματοποίηση των αποδείξεων από τα αξιώματα του Hilbert γίνονται και αρκετές αναφορές στο πώς αυτά είναι έντονα βασισμένα σε καθαρά γεωμετρικές εικόνες, με αποτέλεσμα να προκύπτουν ασάφειες στη χρήση τους.


\textcolor{blue}{\forall after-maths}
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 2637
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Ευκλείδεια Γεωμετρία

#5

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Σάβ Οκτ 12, 2019 2:01 am

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


Απάντηση

Επιστροφή σε “ΓΕΩΜΕΤΡΙΑ”

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

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