Ορισμός της Απόδειξης
Η αναδρομή που κάναμε για την ιστορία της απόδειξης δεν οδήγησε σε έναν ενιαίο ορισμό για αυτήν. Τί είναι η απόδειξη; Ποια είναι η αξία της; Γιατί αποδεικνύουμε; Υπάρχει ένας ενιαίος ορισμός ο οποίος να δείχνει την ιδιαιτερότητά της; Πολλές είναι οι προσπάθειες που έχουν γίνει για να δοθεί ένας ορισμός για την έννοια της απόδειξης.
Ο Ross (1998, αναφορά στον Knuth, 2002β) αναφέρει ότι «η ουσία των Μαθηματικών βρίσκεται στην απόδειξη». Ο πρώτος ορισμός που υπάρχει είναι αυτός του Αριστοτέλη όπου ορίζει ως απόδειξη τον τρόπο με τον οποίο εδραιώνονται τα αποτελέσματα. Σύμφωνα με την Wikipedia, η απόδειξη είναι μια πειστική παρουσίαση ότι κάποια μαθηματική πρόταση είναι απαραίτητα ορθή μέσα στα αποδεκτά πλαίσια του πεδίου των Μαθηματικών. Ωστόσο, αυτοί οι ορισμοί δεν είναι πλήρως αποδεκτοί για κάποιον που ασχολείται με τη Φιλοσοφία και τη Διδακτική των Μαθηματικών, καθώς δεν περιλαμβάνουν όλα τα ιδιαίτερα χαρακτηριστικά που απαρτίζουν την απόδειξη. Συνέχεια [sd555]
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου