Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Από τη Λογική στα Παίγνια Χρίστος Χ. Παπαδημητρίου ’72 Μπέρκλεϋ.

Παρόμοιες παρουσιάσεις


Παρουσίαση με θέμα: "Από τη Λογική στα Παίγνια Χρίστος Χ. Παπαδημητρίου ’72 Μπέρκλεϋ."— Μεταγράφημα παρουσίασης:

1 Από τη Λογική στα Παίγνια Χρίστος Χ. Παπαδημητρίου ’72 Μπέρκλεϋ

2 2 Τρείς είναι οι προπομποί των υπολογιστών: Ο υπολογισμός Το όνειρο της έξυπνης μηχανής και η Λογική

3 1. Υπολογισμός 3 CCXXII + LXIV = ? Aλ Χορίσμι

4 4 2. Το Όνειρο της Ευφυούς Μηχανής

5 5 …ή μήπως εφιάλτης; “Όσοι ζούν με το φόβο ότι μια μέρα θα μας κυβερνήσουν μηχανές, προφανώς ξεχνούν ποιοί μας κυβερνούν σήμερα.” Ανώνυμος

6 6 3. Λογική AριστοτέληςΧρύσιππος

7

8 8 Λογική (συν.) LeibnizBoole

9 9 Η θεμελίωση των Μαθηματικών G. Frege G. Cantor

10 10 Η θεμελίωση B. Russell A. Whitehead Principia Mathematica παράδοξο!

11 11 Η θεμελίωση D. Hilbert Πρέπει να μάθουμε θα μάθουμε!

12 12 Η (μη) θεμελίωση K. Gödel Το θεώρημα της μη πληρότητας

13 13 Και όταν όλα είχαν χαθεί... A. Turing Ο οικουμενικός υπολογιστής

14 14..από τις στάχτες του ονείρου... J. von Neumann Ο ιδιοφυής αρχιτέκτων

15 15...ένας καινούργιος κόσμος γεννιέται Ο Eniac

16 Η ανθρώπινη τραγωδία: Madness in their method? E. Post L. Brouwer

17 17 (ευχαριστίες για την εικονογράφηση: η παρέα του Logicomix )

18 Η Λογική στην Πληροφορική Σημασιολογία και επαλήθευση προγραμμάτων Βάσεις δεδομένων Μοντέλα του κόσμου στην Τεχν. Νοημ. Έμπνευση και εργαλείο για την Θεωρία της Πολυπλοκότητας Μέχρι που εκθρονίστηκε από τη Θ. των Πιθανοτήτων και τη Θ. Παιγνίων 18

19 Προβλέψεις Συμπεριφoράς στα Οικονονιμικά: Καταστάσεις Ισορροπίας Κανένας δεν ενδιαφέρεται να αλλάξει, αν κανείς άλλος δεν αλλάξει

20 Καταστάσεις Ισορροπίας: Η ιστορία τους [von Neumann 1928]: Πάντα υπάρχουν, όταν το παίγνιο είναι με 2 παικτες και μηδενικό άθροισμα [Nash 1950]: Ακόμα και σε παίγνια με πολλούς παίκτες και μη μηδενικό άθροισμα [Arrow-Debreu 1954]: Και στις αγορές! Αλλά μπορούμε να τις υπολογίσουμε;

21 Αλλά γιατί ενδιαφερόμαστε για αλγορίθμους; Οι καταστάσεις ισορροπίας είναι προβλέψεις συμπεριφοράς Η υπολογιστική ευκολία είναι απαραίτητο προσόν για να είναι πειστικές “If your laptop can’t find it, then neither can the market.” Kamal Jain

22 ... και όντως… Θεώρημα [Daskalakis, Goldberg & P, 2006]: Το να βρείς μια ισορροπία κατα Nash είναι υπολογιστικά δύσκολο πρόβλημα [Myerson 1999] Η οικουμενικότητα της ισορροπίας κατά Nash βρίσκεται στα θεμέλια της μοντέρνας οικονομικής σκέψης

23 Απόδειξη: 1950:  2006:  1910:

24 Ευχαριστώ, Ε.Μ.Π.!!

25 25 Μιχάλης Γιαννακάκης Πάρις Κανελλάκης Κώστας Δασκαλάκης Ηλίας Κουτσουπιάς Mάρθα Σιδέρη

26 Ευχαριστώ, Ε.Μ.Π.!!


Κατέβασμα ppt "Από τη Λογική στα Παίγνια Χρίστος Χ. Παπαδημητρίου ’72 Μπέρκλεϋ."

Παρόμοιες παρουσιάσεις


Διαφημίσεις Google