Παρασκευή, 7 Ιουλίου 2017

ΜΑΘΗΤΕΣ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ του Αντώνη Κυριακόπουλου

ΜΑΘΗΤΕΣ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ
Αντώνης Κυριακόπουλος

Στο σχολικό βιβλίο Άλγεβρας της Α΄ τάξης του Λυκείου, έκδοση 1987, το πρώτο κεφάλαιο έχει τον τίτλο: « ΣΤΟΙΧΕΙΑ ΑΠΟ ΤΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΕΦΑΡΜΟΓΕΣ». Η έκταση του κεφαλαίου αυτού είναι 15 σελίδες και αυτά που γράφει εκεί είναι μια εισαγωγή… της εισαγωγής της Μαθηματική Λογικής. Έτσι δίνεται η εντύπωση:
1) Ότι αυτά που χρειαζόμαστε στα Μαθηματικά από την Μαθηματική Λογική είναι όσα περιέχονται στις 15 αυτές σελίδες και μόνο. Αυτά όμως που χρειαζόμαστε στα Μαθηματικά και δεν αναφέρονται στο συγκεκριμένο σχολικό βιβλίο, είναι οι νόμοι και οι κανόνες του προτασιακού λογισμού, όπως και οι νόμοι των ποσοδεικτών. Οι νόμοι αυτοί μας οδηγούν στους τρόπους απόδειξης μιας πρότασης, όπως και στους τρόπους εύρεσης ενός μαθηματικού αντικειμένου ( αριθμός, συνάρτηση, διάνυσμα κτλ.).