Γιώργος Ρίζος έγραψε:
Θα παρακαλούσα τον Αντώνη Κυριακόπουλο να τεκμηριώσει ή να ανακαλέσει την διαπίστωσή του ότι η συγκεκριμένη εισήγηση "Μάλλον σύγχυση θα μπορούσε να προκαλέσει."
Γιώργος Ρίζος έγραψε:Επαναφέρω το θέμα, γιατί μάλλον ξεχάστηκε κι έχει μείνει αναπάντητη η παράκληση που απευθύνω στο τέλος του προηγούμενου μηνύματός μου, ενώ μένουν αιωρούμενες (αναπόδεικτες) οι κρίσεις περί "σύγχυσης που θα μπορούσε να προκαλέσει" το κείμενο του Νίκου Ιωσηφίδη.
Με τιμή,
Γιώργος Ρίζος
Αγαπητέ Γιώργο Ρίζο.
• Καταρχήν αναρωτιέμαι αν ο συνάδελφος Νίκος Ιωσηφίδης έχει ανάγκη από συνηγόρους σχετικά με την εισήγησή του . Εγώ πιστεύω πως όχι. Εσύ πιστεύεις ότι δεν μπορεί να απαντήσει ο ίδιος; Νομίζω ότι κάνεις λάθος.
• Δεν είχα σκοπό να απαντήσω γιατί ότι είχα να πω το είπα στο προηγούμενο μήνυμά μου. Αφού όμως επιμένεις φαίνεται ότι δεν κατανόησες αυτά που γράφω και θα προσπαθήσω να γίνω περισσότερο σαφής.
• Λοιπόν, ο συγγραφέας της εισήγησης αυτής λέει ότι
δεν κάνει χρήση της Μαθηματικής Λογικής. Kαι αυτό φαίνεται σε όλη την εισήγηση. Επομένως προσπαθεί να αντιμετωπίσει τα μαθηματικά με την κοινή λογική (η οποία, ως γνωστόν, δεν ταυτίζεται πάντοτε με τη Μαθηματική Λογική). Αυτό όμως, όπως έχει αποδειχθεί από το τέλος περίπου του 19ου ,αιώνα είναι αδύνατον. Άλλωστε, αυτός ήταν και ο λόγος που, από τότε και μετά, γίγαντες των μαθηματικών δημιούργησαν την Μαθηματική Λογική με την οποία θεμελίωσαν και ανέπτυξαν τα μαθηματικά. Όλα τα μαθηματικά, από το δημοτικό μέχρι το Πανεπιστήμια και πέρα απ' αυτό.
Και είναι γνωστό πλέον ότι είναι αδύνατον να εμβαθύνει και να κατανοήσει κάποιος τα μαθηματικά χωρίς τη Μαθηματική Λογική. Επομένως τι θα μπορούσαμε να πούμε για την συνεπαγωγή και την ισοδυναμία στα μαθηματικά χωρίς τη χρήση της Μαθηματικής Λογικής; Απολύτως τίποτα, αφού τις έννοιες αυτές τις χρησιμοποιούμε στα μαθηματικά ακριβώς όπως ορίζονται στην Μαθηματική Λογική και όχι όπως τις καταλαβαίνει ο καθένας μας με την κοινή λογική. Εκτός αν ο συγγραφέας της εισήγησης μας προτείνει να επανέλθουμε στα προ του 19ου αιώνα μαθηματικά!!!
Γιώργος Ρίζος έγραψε:Απευθύνεται σε μαθητές της Γ΄ Λυκείου, και γι' αυτό προσαρμόζει το κείμενο στις γνώσεις των μαθητών, που τις έχουν αποκτήσει στο σχολείο ή, γιατί όχι, και στο σπίτι τους. Δεν ξεκινά δηλαδή από το "Εν αρχή ήν ο Λόγος...", αλλά προσαρμόζεται στο επίπεδο των μαθητών της Γ΄ Λυκείου. Απλά και ξεκάθαρα. Το σχόλιο περί προσαρμογής των γνώσεων αδικεί τον συγγραφέα ή σημαίνει ότι δεν έγινε κατανοητός ο στόχος της εισήγησης.
Στην αρχή παραδέχεσαι ότι προσαρμόζει το κείμενο στις γνώσεις των μαθητών, έστω της Γ΄ Λυκείου, και στο τέλος λες ότι το σχόλιο περί προσαρμογής των γνώσεων αδικεί τον συγγραφέα!
Δεν νομίζεις ότι αυτά αντιφάσκουν;
Γιώργος Ρίζος έγραψε: Οι έννοιες ορίζονται αμέσως μετά από τον Ν.Ι. ως εξής:
«Αν p και q είναι δύο προτάσεις ( ισότητες, ανισότητες, σχέσεις του περιέχεσθαι κ.τ.λ.) η σχέση

,δηλώνει ότι από την αλήθεια της πρότασης p μπορούμε με σωστούς συλλογισμούς να καταλήξουμε στην πρόταση q.
Αυτό διαβάζεται:
Η πρόταση p συνεπάγεται την πρόταση q, ή πιο απλά: p συνεπάγεται q».
« Όταν γράφουμε

, αυτό σημαίνει

και

, δηλαδή από την πρόταση p προκύπτει η πρόταση q και από την πρόταση q προκύπτει η πρόταση p.
Αυτό διαβάζεται:
Η πρόταση p είναι ισοδύναμη με την q»
• Στην Μαθηματική Λογική και στα μαθηματικά η έκφραση: «

»
δεν είναι μια σχέση, που ίσως να θεωρείται τέτοια στην κοινή λογική, αλλά είναι μια πρόταση, η οποία «κατασκευάζεται» από τις προτάσεις p και q και ορίζεται πότε είναι αληθής και πότε είναι ψευδής. Στα μαθηματικά δεν υπάρχουν μόνο αληθείς προτάσεις.
Δεν πρέπει να ξέρουμε πότε μια πρόταση του μορφής
είναι ψευδής;
• Η έκφραση: « Αν p, τότε q», δεν υπάρχει στο λεξιλόγιο των μαθηματικών; Τότε πώς λέει παρακάτω( σελίδα 2) ότι μια η έκφραση

διαβάζετε ισοδύναμα : «p αν και μόνο αν q»; Αυτά τα δύο έχουν άμεση σχέση.
• Αυτά που γράφει: «…από την αλήθεια της πρότασης p μπορούμε με σωστούς συλλογισμούς να καταλήξουμε στην πρόταση q» στην κοινή λογική μπορεί ο καθένας να τα ερμηνεύσει όπως θέλει. Όμοια και το: «από την πρόταση p προκύπτει η πρόταση q». Μόνο με τη Μαθηματική Λογική μπορούμε να ελέγξουμε αν ένας συλλογισμός είναι σωστός ή όχι. Άλλωστε η έννοια του συλλογισμού ορίζεται στην Μαθηματική λογική.
.---- Δεν μπορώ να καταλάβω γιατί στις σελίδες 2, 3 και 4 ο συγγραφέας της εισήγησης γράφει όλες αυτές τις συνεπαγωγές και ισοδυναμίες. Για την κατανόηση των εννοιών αυτών; Τρία- τέσσερα παραδείγματα δεν είναι αρκετά; Εκτός αν ήθελε να γράψει όλες τις συνεπαγωγές και ισοδυναμίες που υπάρχουν στα μαθηματικά, οπότε ο κατάλογος αυτός είναι πολύ ελλιπής. Όμοια παρακάτω για τις εξισώσεις, ανισώσεις και συστήματα.
---- Οι αποδείξεις στα μαθηματικά γίνονται μόνο με τους νόμους και τους κανόνες της Μαθηματικής Λογικής ( δεν εννοώ τις τυπικές- φορμαλιστικές αποδείξεις. Αν κάποιος θέλει να δει τέτοιες αποδείξεις μπορεί να ανοίξει το κατάλληλο βιβλίο των BOURBAKI. Φυσικά στις αποδείξεις αυτές, όπως θα διαπιστώσει, δεν έχουν καμία θέση οι πίνακες τιμών αλήθειας που είχαν κάποτε τα σχολικά βιβλία). Και οι εξισώσεις, οι ανισώσεις και τα συστήματα λύνονται με τα θεωρήματα ισοδυναμιών των εξισώσεων, ανισώσεων και συστημάτων, αντιστοίχως. Και όχι με τη μηχανική χρήση των συμβόλων.
---- Στη σελίδα 17 γράφει:
« Απόδειξη μιας συνεπαγωγής με ισοδυναμίες». Αυτό προκαλεί τη μεγαλύτερη εντύπωση. Στη συνέχεια γράφει:
« Πολλές φορές είναι δύσκολο να αποδείξουμε ότι από την πρόταση p προκύπτει η πρόταση q, δηλαδή είναι δύσκολο να αποδείξουμε τη συνεπαγωγή

. Μπορούμε όμως να αποδείξουν πιο εύκολα τη συνεπαγωγή

. Στις περιπτώσεις αυτές ακολουθείται η εξής λύση:
Θεωρούμε δεδομένο το συμπέρασμα ( δηλαδή την πρόταση q) και προσπαθούμε από την q να αποδείξουμε την p. Εφόσον η απόδειξη μπορεί να γίνει με ισοδυναμίες, έχουμε απόδειξη και την συνεπαγωγή

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

έχει ακριβώς διπλάσια εργασία από την απόδειξη της συνεπαγωγής. Με άλλα λόγια προσπαθεί να μας πείσει ότι
ένα απλό εισιτήριο είναι ακριβότερο από ένα εισιτήριο με επιστροφή!!! Και για να μη μας μείνει καμιά αμφιβολία,παρακάτω έχει το εξής παράδειγμα: «Αν α, β>0 να αποδειχθεί ότι

(1)». Στην επόμενη σελίδα βγάζει το συμπέρασμα ότι:
« Η ολοκληρωμένη λύση του προβλήματος είναι η παρακάτω:

»!!!
και όχι αυτή που έχει γράψει προηγουμένως, στην ίδια σελίδα ( και που πράγματι είναι ολοκληρωμένη, χωρίς περιττολογίες για την κοινή λογική ή χωρίς λάθη για την Μαθηματική Λογική και τα μαθηματικά, βλέπε και
Εδώ ,συνημμένo, σελίδες 5 έως 8) και που είναι η εξής:

.
Και στην περίπτωση που ισχύει αυτή που θέλουμε να αποδείξουμε, δηλαδή η

, αλλά δεν ισχύει η ισοδυναμία

, δεν υπάρχει ολοκληρωμένη λύση της

; Για παράδειγμα, δεν υπάρχει ολοκληρωμένη λύση της πρότασης :
« Αν για ένα αριθμό , ισχύουν:

, τότε

», αφού δεν ισχύει η ισοδυναμία:

; Και όμως, όπως μπορούμε να αποδείξουμε εύκολα, η συνεπαγωγή:

ισχύει.
----Αγαπητέ Γιώργο Ρίζω. Θα μπορούσα να σου γράψω πολλά ακόμα. Αλλά θεωρώ ότι τα παραπάνω είναι αρκετά για να φανεί ότι μιλάμε διαφορετική γλώσσα και επομένως κάθε συζήτηση μεταξύ μας ,σχετικά με το θέμα αυτό, θα ήταν περιττή.
Φιλικά.