Από τη Λογική στα Παίγνια
of 26
/26
Embed Size (px)
description
Από τη Λογική στα Παίγνια. Χρίστος Χ. Παπαδημητρίου ’72 Μπέρκλεϋ. Τρείς είναι οι προπομποί των υπολογιστών:. Ο υπολογισμός Το όνειρο της έξυπνης μηχανής και η Λογική. 1. Υπολογισμός. CCXXII + LXIV = ?. A λ Χορίσμι. 2. Το Όνειρο της Ευφυούς Μηχανής. … ή μήπως εφιάλτης;. - PowerPoint PPT Presentation
Transcript of Από τη Λογική στα Παίγνια
-
. 72
-
* :
-
1. *CCXXII + LXIV = ?A
-
*2.
-
* ;
, .
-
*3. A
-
* (.)LeibnizBoole
-
* G. FregeG. Cantor
-
* B. RussellA. WhiteheadPrincipiaMathematica!
-
* D. Hilbert !
-
* () K. Gdel
-
* ...A. Turing
-
*.. ...J. von Neumann
-
*... Eniac
-
:Madness in their method?E. PostL. Brouwer
-
*( : Logicomix )
-
. . . . *
-
o : ,
-
: [von Neumann 1928]: , 2 [Nash 1950]: [Arrow-Debreu 1954]: !
;
-
; If your laptop cant find it, then neither can the market. Kamal Jain
-
... [Daskalakis, Goldberg & P, 2006]: Nash
[Myerson 1999] Nash
-
:1950:
2006:
1910:
-
, ...!!
-
, ...!!* M
-
, ...!!
*****MILLIONS OF PLAYERS?
