Η μαθηματική απόδειξη μέσω υπολογιστή:
απλή διαπίστωση ή ολοκληρωμένη διαδικασία;

Ειρήνη Δεμενεοπούλου, Αλκιβιάδης Κάβουρας,
Γεωργία Καλιαμπάκου, Λυδία Κιάτου

Α΄ Αρσάκειο-Τοσίτσειο Γενικό Λύκειο Εκάλης, Τάξη Β΄

Υπεύθυνος Καθηγητής: Ματθαίος Τσιλπιρίδης

 

H σημασία της απόδειξης στα μαθηματικά αποτελεί αναμφίβολα το σημαντικότερο δομικό στοιχείο τόσο της επιστήμης των μαθηματικών όσο και της επιστημολογίας της. Ευνόητο είναι ότι, καθώς πλέον έχει προστεθεί και ο υπολογιστής στην υπηρεσία αποδεικτικών διαδικασιών, τα πλαίσια αυτά διευρύνονται. Στην εισήγηση θα παρουσιαστούν οι προβληματισμοί που προβάλλονται από τμήμα της μαθηματικής κοινότητας σχετικά με το ερώτημα εάν τα αποτελέσματα που προκύπτουν από την επεξεργασία στοιχείων μέσω ενός υπολογιστή αποτελούν αυστηρή απόδειξη μιας μαθηματικής πρότασης. Αφορμή για την εισήγηση αποτέλεσε η απόδειξη με υπολογιστή του θεωρήματος των 4 χρωμάτων το 1976 από τον Kenneth Appel και τον Wolfgang Haken.

 

 

 

 
Πατήστε για δείτε την παρουσίαση της εργασίας   Για να δείτε την εργασία πατήστε εδώ