Πραγματικοί αριθμοί
Πραγματικοί αριθμοί
Συγνώμη που επαναφέρω αυτό το thread ξανά αλλά έχω πρόβλημα για την τυποποίηση του
δηλαδή πώς τυποποιούμαι (formalize) το:
Μήπως το : είναι σωστό
δηλαδή πώς τυποποιούμαι (formalize) το:
Μήπως το : είναι σωστό
Λέξεις Κλειδιά:
Re: Πραγματικοί αριθμοί
ευχαριστώ και σύμφωνα με αυτό τον τύπο πιά θα είναι η υπόθεση στην απόδειξη
Υπόθεση (1):
σωστό
Re: Πραγματικοί αριθμοί
Το δεύτερο που γράφεις.
Δηλαδή η υπόθεση της πρότασης μπορεί να γραφτεί ως:
.
Δηλαδή η υπόθεση της πρότασης μπορεί να γραφτεί ως:
.
Κωνσταντίνος Σμπώκος
Re: Πραγματικοί αριθμοί
Και τώρα η απόδειξη¨
1)Υπόθεση: .
2) Υπόθεση προς άτοπον:
3)
4) από την (1) και χρησιμοποιώντας τον κανόνα της λογικής (universal elimination) όπου
5) άτοπον
6)
7) χρησιμοποιώντας τον κανόνα της τριχοτόμησης των πραγματικών αριθμών
8) Άρα: .
9) Και γενικεύοντας έχουμε:
Άρα ο τύπος που χρησιμοποιήσαμε για την τυποποίηση του θεωρήματος είναι σωστός
Σωστά;
Συγνώμη θα ήθελα να προσθέσω ότι από την 4 πάμε στην 5 χρησιμοποιώντας την 3 και 4 και τον κανόνα αποσπάσεως (modus ponens)
Re: Πραγματικοί αριθμοί
Σωστά είναι αυτά που γράφεις, όμως δεν καταλαβαίνω γιατί χρειάζεται τόσος φορμαλισμός.labrosb έγραψε: ↑Τρί Νοέμ 30, 2021 2:48 amΚαι τώρα η απόδειξη¨
1)Υπόθεση: .
2) Υπόθεση προς άτοπον:
3)
4) από την (1) και χρησιμοποιώντας τον κανόνα της λογικής (universal elimination) όπου
5) άτοπον
6)
7) χρησιμοποιώντας τον κανόνα της τριχοτόμησης των πραγματικών αριθμών
8) Άρα: .
9) Και γενικεύοντας έχουμε:
Άρα ο τύπος που χρησιμοποιήσαμε για την τυποποίηση του θεωρήματος είναι σωστός
Σωστά;
Συγνώμη θα ήθελα να προσθέσω ότι από την 4 πάμε στην 5 χρησιμοποιώντας την 3 και 4 και τον κανόνα αποσπάσεως (modus ponens)
Στα σύγχρονα μαθηματικά δεν χρησιμοποιούμε τόσο πολύ φορμαλισμό. Αυτό το κάνουμε γιατί εκτός από πολύ χρονοβόρο, δεν βοηθάει και πολύ στην κατανόηση των μαθηματικών εννοιών.
Βέβαια όλα στα μαθηματικά ξενικάνε από τα αξιώματα, όμως συνήθως χρησιμοποιούνται λέξεις αντί για σύμβολα.
Τώρα μπορεί να ρωτήσει κανείς αφού όλα εξάγονται με αυστηρό φορμαλισμό από τα αξιώματα, πως εμείς μπορούμε να κάνουμε μαθηματικά χωρίς αυτόν τον φορμαλισμό.
Η σωστή οπτική είναι ότι δεν χρησιμοποιούμε αυστηρά επιχειρήματα όμως αν χρειαστεί μπορούμε να τα μετατρέψουμε σε φορμαλισμό(που ποτέ δεν χρειάζεται).
Η συμβουλή μου είναι να μη χρησιμοποιείς αυστηρό φορμαλισμό γιατί νομίζω ότι δεν θα σε βοηθήσει να κατανοήσεις μαθηματικές έννοιες.
Χρειάζεται δηλαδή να ανοίξει κάπως το μυαλό σου(με τη καλή έννοια) και αυτό θα γίνει μελετώντας συστηματικά σύγχρονα μαθηματικά επιχειρήματα.
Αυτή είναι η γνώμη μου, χωρίς να θέλω να σε προσβάλω.
Κωνσταντίνος Σμπώκος
Re: Πραγματικοί αριθμοί
Συγνώμη αλλά δεν χρησιμοποίησα πλήρη φορμαλισμό αλλά όπου έπρεπε για να δούμε αν ο φορμαλισμός του παραπάνω θεωρήματος ήταν σωστόςstranger έγραψε: ↑Τρί Νοέμ 30, 2021 11:38 pmΣωστά είναι αυτά που γράφεις, όμως δεν καταλαβαίνω γιατί χρειάζεται τόσος φορμαλισμός.labrosb έγραψε: ↑Τρί Νοέμ 30, 2021 2:48 amΚαι τώρα η απόδειξη¨
1)Υπόθεση: .
2) Υπόθεση προς άτοπον:
3)
4) από την (1) και χρησιμοποιώντας τον κανόνα της λογικής (universal elimination) όπου
5) άτοπον
6)
7) χρησιμοποιώντας τον κανόνα της τριχοτόμησης των πραγματικών αριθμών
8) Άρα: .
9) Και γενικεύοντας έχουμε:
Άρα ο τύπος που χρησιμοποιήσαμε για την τυποποίηση του θεωρήματος είναι σωστός
Σωστά;
Συγνώμη θα ήθελα να προσθέσω ότι από την 4 πάμε στην 5 χρησιμοποιώντας την 3 και 4 και τον κανόνα αποσπάσεως (modus ponens)
Στα σύγχρονα μαθηματικά δεν χρησιμοποιούμε τόσο πολύ φορμαλισμό. Αυτό το κάνουμε γιατί εκτός από πολύ χρονοβόρο, δεν βοηθάει και πολύ στην κατανόηση των μαθηματικών εννοιών.
Βέβαια όλα στα μαθηματικά ξενικάνε από τα αξιώματα, όμως συνήθως χρησιμοποιούνται λέξεις αντί για σύμβολα.
Τώρα μπορεί να ρωτήσει κανείς αφού όλα εξάγονται με αυστηρό φορμαλισμό από τα αξιώματα, πως εμείς μπορούμε να κάνουμε μαθηματικά χωρίς αυτόν τον φορμαλισμό.
Η σωστή οπτική είναι ότι δεν χρησιμοποιούμε αυστηρά επιχειρήματα όμως αν χρειαστεί μπορούμε να τα μετατρέψουμε σε φορμαλισμό(που ποτέ δεν χρειάζεται).
Η συμβουλή μου είναι να μη χρησιμοποιείς αυστηρό φορμαλισμό γιατί νομίζω ότι δεν θα σε βοηθήσει να κατανοήσεις μαθηματικές έννοιες.
Χρειάζεται δηλαδή να ανοίξει κάπως το μυαλό σου(με τη καλή έννοια) και αυτό θα γίνει μελετώντας συστηματικά σύγχρονα μαθηματικά επιχειρήματα.
Αυτή είναι η γνώμη μου, χωρίς να θέλω να σε προσβάλω.
Επίσης θα ήθελα να δω αν η φόρμουλα: επίσης οδηγεί σε σωστή λύση του προβλήματος αν ναι τότε οι δυο φόρμουλες είναι ισοδύναμες .Πως αποδεικνύουμε αυτό;
Δεν καταλαβαίνω την έκφραση "σύγχρονα μαθηματικά επιχειρήματα" ίσως ένα παράδειγμα να ήταν ωφέλιμο.
Πως μπορούμε να ξέρουμε ότι ένα σύγχρονο μαθηματικό επιχείρημα σε ένα σύγχρονο μαθηματικό βιβλίο είναι σωστό η λάθος
Γιατί να προσβληθώ;
ήθελα να μάθω ποιο αξίωμα ,θεώρημα , ορισμός η κανόνας της λογικής μας επιτρέπει να βάλουμε :
Για αυτό ζήτησα την φορμαλοποίηση του θεωρήματος
Υπήρχε άλλος τρόπος;
-
- Επιμελητής
- Δημοσιεύσεις: 15761
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Πραγματικοί αριθμοί
Θα συμφωνήσω ΑΠΟΛΥΤΑ με τον stranger. Για να εξηγούμαι:
Το θέμα, το αποδεικτέο, είναι σχεδόν τετριμμένο και υπάρχει σε όλα μα όλα τα βιβλία Ανάλυσης. Είναι μάλιστα κεντρικό, και χιλιοειπωμένο, για παράδειγμα το βλέπουμε σε αποδείξεις ισότητας δύο αριθμών από οικογένεια ανισοτήτων που περιέχουν έψιλον, ή διάφορες παραλλαγές τους. Και σε όλα τα βιβλία αυτά, το εν λόγω επιχείρημα προσπερνάται σε μία ή δύο γραμμές, χωρίς τον υπερβολικό φορμαλισμό, όπως ακριβώς σωστά επισημαίνει ο stranger. Με λίγα λόγια, αν μείνουμε σε τέτοιο φορμαλισμό στην μελέτη της Ανάλυσης, θα είμαστε βέβαια σωστοί αλλά θα μείνουμε χωρίς την ουσία της ίδιας της Ανάλυσης.
Γνωστό παράδειγμα χρήσης του ιδίου επιχειρήματος: Αν έχουν την ιδιότητα ότι για κάθε ρητό με ισχύει , τότε ισχύει . (Απλό και άμεσο, σχεδόν τετριμμένο, χωρίς να χρειαστεί να μπούμε σε υπερβολικό φορμαλισμό).
Άλλο γνωστό παράδειγμα: Αν συγκλίνουσες ακολουθίες και αν για κάθε ισχύει , τότε . (Γνωστό και χιλιοειπωμένο).
Re: Πραγματικοί αριθμοί
τι είναι επιχείρημα και τι πρέπει να κάνουμε για να διαπιστώσουμε εάν ένα επιχείρημα είναι σωστό η λάθος
είναι κάθε θεώρημα στα μαθηματικά ένα επιχείρημα;
από που προέρχεται η λέξη φορμαλισμός;
-
- Επιμελητής
- Δημοσιεύσεις: 15761
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Πραγματικοί αριθμοί
Προσπαθώ να καταλάβω τι λες.
Από ότι φαίνεται αμφισβητείς ότι έχουν πλήρη και ορθό συλλογισμό τόσα και τόσα βιβλία έγκριτων μαθηματικών που δίνουν σε μία ή δύο γραμμές την απόδειξη ενός σχεδόν τετριμμένου θέματος για το οποίο ο ίδιος χρειάστηκες δέκα γραμμές.
Μου φαίνεται ότι υπερβάλουμε. Ας μην κάνουμε τα εύκολα, δύσκολα. Δεδομένου δε ότι οι δύο πρώτες σου προσπάθειες ήταν εσφαλμένες (προσοχή, δεν λέω ότι μεμπτό αυτό), δείχνει ότι τώρα έχεις μπει στον σωστό δρόμο, και χαιρόμαστε. Από την άλλη, ας μην επανερχόμαστε εμμένοντας στην άποψη ότι οι έγκριτοι συγγραφείς που προανέφερα, έχουν ελλιπές επιχείρημα.
Re: Πραγματικοί αριθμοί
Κ. Λάμπρου τι θα γίνει θα το ξενυχτίσουμε ας πάμε να κοιμηθούμε και αύριο Συνεχίζουμε να δούμε τι θα πει και ο stranger στις ερωτήσεις που του έθεσα
εις το επανειδήν λοιπόν
εις το επανειδήν λοιπόν
Re: Πραγματικοί αριθμοί
Όταν λέω σύγχρονο μαθηματικό επιχείρημα εννοώ μια απόδειξη που δεν κάνει επίκληση σε αξιώματα και ίσως αφήνει κάποιες(ίσως μικρές) λεπτομέρειες αναπόδεικτες και ο αναγνώστης μπορεί να τις αποδείξει μόνος του(αν θέλει) έτσι ώστε να μην χάνεται η κεντρική ιδέα της απόδειξης.
Δηλαδή φαντάσου μια μαθηματική απόδειξη που για να δείξεις ότι "αν για κάθε τότε χρησιμοποιεί την δική σου απόδειξη. Τότε για να αποδείξει ένα εύκολο και εμφανές θεώρημα θα χρειαστεί τεράστιο όγκο σελιδών και προσπάθειας, ενώ η κεντρική ιδέα της απόδειξης θα έχει συσκοτιστεί ολότελα.
Αν απλά θες να δεις ποια είναι τα αξιώματα που χρησιμοποιούνται για να αποδειχθεί το ζητούμενο, τότε είσαι οκ.
Απλά η ένστασή μου είναι ότι αν ενδιαφέρεσαι να μάθεις μαθηματικά, τότε θα χρειαστεί κάποια πράγματα να τα αφήσεις πίσω σου(όπως για παράδειγμα τον τόσο αυστηρό φορμαλισμό).
Τέτοιος αυστηρός φορμαλισμός δεν χρησιμοποιείται ούτε στην μαθηματική λογική.
Κωνσταντίνος Σμπώκος
Re: Πραγματικοί αριθμοί
Δεν πήρα απάντηση στην ερώτηση ποιο θεώρημα,αξίωμα,ορισμός,κανόνας της λογικής δικαιολογεί την ισότηταstranger έγραψε: ↑Πέμ Δεκ 02, 2021 1:18 pmΌταν λέω σύγχρονο μαθηματικό επιχείρημα εννοώ μια απόδειξη που δεν κάνει επίκληση σε αξιώματα και ίσως αφήνει κάποιες(ίσως μικρές) λεπτομέρειες αναπόδεικτες και ο αναγνώστης μπορεί να τις αποδείξει μόνος του(αν θέλει) έτσι ώστε να μην χάνεται η κεντρική ιδέα της απόδειξης.
Δηλαδή φαντάσου μια μαθηματική απόδειξη που για να δείξεις ότι "αν για κάθε τότε χρησιμοποιεί την δική σου απόδειξη. Τότε για να αποδείξει ένα εύκολο και εμφανές θεώρημα θα χρειαστεί τεράστιο όγκο σελιδών και προσπάθειας, ενώ η κεντρική ιδέα της απόδειξης θα έχει συσκοτιστεί ολότελα.
Αν απλά θες να δεις ποια είναι τα αξιώματα που χρησιμοποιούνται για να αποδειχθεί το ζητούμενο, τότε είσαι οκ.
Απλά η ένστασή μου είναι ότι αν ενδιαφέρεσαι να μάθεις μαθηματικά, τότε θα χρειαστεί κάποια πράγματα να τα αφήσεις πίσω σου(όπως για παράδειγμα τον τόσο αυστηρό φορμαλισμό).
Τέτοιος αυστηρός φορμαλισμός δεν χρησιμοποιείται ούτε στην μαθηματική λογική.
Πάρτε λοιπόν ένα εύκολο και εμφανές θεώρημα και κάντε μια απόδειξη σαν τη δική μου και ελάτε να μετρήσουμε τον όγκο των σελίδων
Ας πούμε το θεώρημα 0χ=0 πόσες σελίδες θα πάρει .
Ας πούμε ότι αυτό το σύγχρονο βιβλίο έχει μία απόδειξη λάθος τότε τι κάνουμε;
Επί τη ευκαιρία ο τύπος οδηγεί σε σωστή απόδειξη επίσης
Ο Angelo Margaris λοιπόν στο βιβλίο του FIRST ORDER MATHEMATICAL LOGIC Αποδεικνύει μέσα ΔΕΚΑ ΣΕΛΙΔΕΣ (127-137 26 ΘΕΩΡΗΜΑΤΑ των φυσικών αριθμών αρχίζοντας από τα αξιώματα του Πεάνο με πλήρη ΦΟΡΜΑΛΙΣΜΌ (formal proofs)
Αλήθεια τι είναι επιχείρημα ,συλλογισμός
Re: Πραγματικοί αριθμοί
Δεν χρειάζεται να εξάπτεσαι. Όλοι εδώ πέρα λέμε τη γνώμη μας και πως βλέπουμε τα μαθηματικά.labrosb έγραψε: ↑Πέμ Δεκ 02, 2021 9:12 pmΔεν πήρα απάντηση στην ερώτηση ποιο θεώρημα,αξίωμα,ορισμός,κανόνας της λογικής δικαιολογεί την ισότηταstranger έγραψε: ↑Πέμ Δεκ 02, 2021 1:18 pmΌταν λέω σύγχρονο μαθηματικό επιχείρημα εννοώ μια απόδειξη που δεν κάνει επίκληση σε αξιώματα και ίσως αφήνει κάποιες(ίσως μικρές) λεπτομέρειες αναπόδεικτες και ο αναγνώστης μπορεί να τις αποδείξει μόνος του(αν θέλει) έτσι ώστε να μην χάνεται η κεντρική ιδέα της απόδειξης.
Δηλαδή φαντάσου μια μαθηματική απόδειξη που για να δείξεις ότι "αν για κάθε τότε χρησιμοποιεί την δική σου απόδειξη. Τότε για να αποδείξει ένα εύκολο και εμφανές θεώρημα θα χρειαστεί τεράστιο όγκο σελιδών και προσπάθειας, ενώ η κεντρική ιδέα της απόδειξης θα έχει συσκοτιστεί ολότελα.
Αν απλά θες να δεις ποια είναι τα αξιώματα που χρησιμοποιούνται για να αποδειχθεί το ζητούμενο, τότε είσαι οκ.
Απλά η ένστασή μου είναι ότι αν ενδιαφέρεσαι να μάθεις μαθηματικά, τότε θα χρειαστεί κάποια πράγματα να τα αφήσεις πίσω σου(όπως για παράδειγμα τον τόσο αυστηρό φορμαλισμό).
Τέτοιος αυστηρός φορμαλισμός δεν χρησιμοποιείται ούτε στην μαθηματική λογική.
Πάρτε λοιπόν ένα εύκολο και εμφανές θεώρημα και κάντε μια απόδειξη σαν τη δική μου και ελάτε να μετρήσουμε τον όγκο των σελίδων
Ας πούμε το θεώρημα 0χ=0 πόσες σελίδες θα πάρει .
Ας πούμε ότι αυτό το σύγχρονο βιβλίο έχει μία απόδειξη λάθος τότε τι κάνουμε;
Επί τη ευκαιρία ο τύπος οδηγεί σε σωστή απόδειξη επίσης
Ο Angelo Margaris λοιπόν στο βιβλίο του FIRST ORDER MATHEMATICAL LOGIC Αποδεικνύει μέσα ΔΕΚΑ ΣΕΛΙΔΕΣ (127-137 26 ΘΕΩΡΗΜΑΤΑ των φυσικών αριθμών αρχίζοντας από τα αξιώματα του Πεάνο με πλήρη ΦΟΡΜΑΛΙΣΜΌ (formal proofs)
Μπορεί να μην συμφωνούμε. Πιστεύω ότι το βιβλίο αυτό που λες είναι βιβλίο πάνω στα θεμέλια των μαθηματικών γιαυτό υπάρχουν τόσο εκτενείς και λεπτομερείς αποδείξεις. Σκοπός αυτού του βιβλίου είναι να σε κάνει να σκέφτεσαι αξιωματικά.
Αυτό όμως συμβαίνει μόνο για τον κλάδο των μαθηματικών που λέγεται μαθηματική λογική.
Εγώ αναφερόμουνα στην πλειονότητα των βιβλίων που πχ ανήκουν σε κλάδους απειροστικού λογισμού,άλγεβρας, θεωρίας αριθμών, διαφορικής γεωμετρίας κλπ...
Τώρα στο ερώτημα πως καταλαβαίνουμε ότι μια απόδειξη είναι σωστή δεν μπορώ να σου πω τίποτα. Είναι θέμα εμπειρίας και εξοικοίωσης.
Έχει να κάνει με το ότι ένας μπορεί να βλέπει προφανές κάτι, ενώ ένας άλλος να χρειάζεται περισσότερες λεπτομέρειες.
Δεν εννοώ ότι είσαι χαζός η τίποτα τέτοιο.Μπορεί να σκέφτεσαι με διαφορετικό τρόπο από την πλειονότητα.
Εγώ προσπαθώ να σε βοηθήσω να βρεις το σωστό(κατ εμε) τρόπο σκέψης.
Κωνσταντίνος Σμπώκος
Re: Πραγματικοί αριθμοί
Λάθος. Σκοπός του βιβλίου αυτού είναι να δείξει πως οι κανόνες της λογικής αλληλεπιδρούν με τα αξιώματα,θεωρήματα,ορισμούς,για να παράξουν μια αλάνθαστη μαθηματική απόδειξη
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης