| Περίληψη: | To αντικείμενο μελέτης της εργασίας αυτής είναι κατά μείζονα λόγο το θεώρημα Tarski-Seidenberg. Στο πρώτο κεφάλαιο μελετάμε το κίνητρο που ώθησε τον Tarski σε αυτή την έρευνα, εξιστορούμε την πορεία της ιδέας του από την ανακάλυψη μέχρι τη δημοσίευση και έπειτα προσπαθούμε να σκιαγραφήσουμε ευκρινώς τη συνολική επίδραση του θεωρήματος στα μαθηματικά και όχι μόνο. Για την ακρίβεια, αναφερόμαστε στην πληρότητα της Ευκλείδειας γεωμετρίας ως συνέπεια του θεωρήματος, στη συμβολή του θεωρήματος στην ανάπτυξη της ημιαλγεβρικής γεωμετρίας. Στο δεύτερο κεφάλαιο αποδικνύεται το εν λόγω θεώρημα, δηλαδή ότι η πρωτοβάθμια θεωρία των πραγματικώς κλειστών σωμάτων είναι πλήρης, με χρήση των θεωρημάτων Sturm και Sylvester. Στο τρίτο κεφάλαιο παρουσιάζεται μία διδακτική έρευνα με φοιτητές του τμήματος με σκοπό τη διάγνωση πιθανών γνωστικών κενών των φοιτητών σε θέματα της θεωρίας πολυωνύμων με πραγματικούς συντελεστές.
|
|---|
