2010 02-24 ws gm logic
DESCRIPTION
TRANSCRIPT
Βέροια26 Φεβρουαρίου 2010
Γ.Μητακίδης
Λογική και Web : Μια εισαγωγή
Διαχρονικά
• Ιωνες , Ελεάτες• Αριστοτέλης• 1879 Frege• 1850 Boole• 1895 Cantor• 1902 Russel• 1920… Goedel,Tarski ,Church ,Kleene …• 1970 Colmerauer ,Kowalski…• 2000… Web : A.I. Renascence !