Διαγωνισμοί Print on demand Bookstore Κριτικές και Παρουσιάσεις Συγγραφείς Νέα και Εκδηλώσεις Αφιερώματα και άλλα Advanced Search
Οι μεταμορφώσεις του λογισμού
(Μια συναρπαστική μαθηματική ιστορία)
Συγγραφέας:   Gilles Dowek


Οι μεταμορφώσεις του λογισμού
Θεμελιακή έννοια της μαθηματικής μεθόδου, ήδη από την ελληνική αρχαιότητα, η έννοια της απόδειξης υπέστη έναν βαθύ μετασχηματισμό από τις αρχές της δεκαετίας του ΄70.

Πολλές σημαντικές μαθηματικές ανακαλύψεις, όχι πάντα συνδεδεμένες μεταξύ τους, θέτουν σταδιακά σε αμφισβήτηση την κυριαρχία του συλλογισμού πάνω στον υπολογισμό και μας προτείνουν μια πιο ισορροπημένη αντιμετώπιση, κατά την οποία συλλογισμοί και υπολογισμοί διαδραματίζουν συμπληρωματικούς ρόλους.

Αυτή η αληθινή επανάσταση μας οδηγεί στο να ξανασκεφτούμε το διάλογο των μαθηματικών και των φυσικών επιστημών. Φωτίζει με νέο φως ορισμένες φιλοσοφικές έννοιες, όπως αυτή της αναλυτικής και συνθετικής κρίσης. Μας οδηγεί επίσης στο να αναρωτηθούμε για τους δεσμούς των μαθηματικών με την πληροφορική καθώς και για την ιδιαιτερότητα των μαθηματικών με την πληροφορική καθώς και για την ιδιαιτερότητα των μαθηματικών που παρέμενε η μόνη επιστήμη που δεν χρησιμοποιούσε όργανα.

Τέλος -και σίγουρα αυτό είναι το πιο ενδιαφέρον- μας αφήνει να δούμε νέους τρόπους επίλυσης των μαθηματικών προβλημάτων, που λυτρώνονται από τα αυθαίρετα δεσμά που είχε επιβάλει η παλιά τεχνολογία ως προς το μέγεθος των αποδείξεων: ενδεχομένως τα μαθηματικά να προετοιμάζονται για την κατάκτηση νέων κόσμων που μέχρι πρόσφατα ήταν απρόσιτοι.

288 σελίδες
Δέσιμο: Μαλακό εξώφυλλο
Ονομασία σειράς: Σφαίρα
Τόπος έκδοσης: Αθήνα
Ταξινόμιση DDC: 510.09 (Μαθηματικά - Ιστορία), 510.01 (Μαθηματικά - Φιλοσοφία και θεωρία )
Άλλα πρόσωπα: Τεύκρος Μιχαηλίδης (Μεταφραστής)
ISBN: 978-960-7651-92-1
ISBN (10ψήφιο): 960-7651-92-8
Βάρος: 0.4 κιλά
Εκδότης: Εκκρεμές
Έτος Κυκλοφορίας: 2012
Γράψε τη δική σου κριτική
18.00
  • Twitter
  • Delicious
  • Designfloat
  • Digg
  • StumbleUpon

16.02
Προσθήκη στη Wishlist Share it


Πληροφορίες

Dowek, Gilles
Ο Ζιλ Ντοβέκ είναι μαθηματικός, λογικός και πληροφορικός, ερευνητής στο INRIA και καθηγητής στην Εcole Polytechnique. Το ενδιαφέρον του στρέφεται κυρίως στη θεωρία τύπων, τη συνολοθεωρία, τη θεωρία αποδείξεων, τις γλώσσες προγραμματισμού καθώς και στη φιλοσοφία των επιστημών.

SSL Certificate
SSL Certificate

MasterCard Visa
Acceptance Mark Diners
* Powered by Pramnos Hosting LTD., designed by typorg.com.