Μονάδα:
Τμήμα Ιστορίας και Φιλοσοφίας της Επιστήμης (ΙΦΕ - πρώην ΜΙΘΕ)Βιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2017-04-05
Συγγραφέας:
Μελετάκος Γεώργιος
Στοιχεία επιβλεπόντων καθηγητών:
Κωνσταντίνος Δημητρακόπουλος, Καθηγητής Τμημα Μεθοδολογίας Ιστορίας και Θεωρίας της Επιστήμης ΕΚΠΑ
Πρωτότυπος Τίτλος:
Μαθηματικά και υπολογιστές
Γλώσσες εργασίας:
Ελληνικά
Μεταφρασμένος τίτλος:
Μαθηματικά και υπολογιστές
Περίληψη:
την παρουσα εργασία θα γίνει μι α προσπαθεια να ταξηνομηθούν και να παρουσιαστουν οι πρωτεργάτες επιστήμονες που συνέβαλαν στη εξέληξη των μαθηματικών σε σχέση με την τεχνολογία και τους υπολογιστές.
Φαίνεται πως ο Leibniz είχε οραματιστεί την αναγωγή των ανθρώπινων συλλογισμών καθώσ και ισχυρές μηχανικές συσκευές που θα εκτελούν συλλογισμούς.Ο Frege είχε δημιουργήσει για πρώτη φορά ένα σύστημα κανόνων που μπορούσαν να δώσουν μια εύλογη εξήγηση για όλουσ τους ανθρώπινουσ παραγωγικούσ συλλογισμούς.Ο Godel , στη διδακτορική διατριβή του,είχε αποδήξει ότι οι κανόνες του Frege ήταν πλήρεις ,απαντώντασ έτσι στην ερώτηση που είχε τεθεί απο τον Hilbert δυο χρόνια νωρίτερα.Ο Hilbert είχε επίσης αναζητήσει αναλυτικές υπολογιστικές διαδικασίες με τις οποίες θα ήταν πάντα δυνατό να προσδιοριστεί,αν αυτό το συμπέρασμα μπορέι να εξαχθεί από τις προυποθέσεις αυτές με τη χρήση κανόνων.
Κύρια θεματική κατηγορία:
Τεχνολογία – Πληροφορική
Λέξεις-κλειδιά:
μαθηματικά,υπολογιστές,μιθε,πληροφορική,λογική
Αρ. σελίδων ευρετηρίου:
0
Αρ. βιβλιογραφικών αναφορών:
15
