«Ο Αρχιμήδης θα μνημονευθεί όταν ο Αισχύλος θα έχει λησμονηθεί, διότι οι γλώσσες πεθαίνουν, μα οι μαθηματικές ιδέες όχι.» G.Hardy


Τρίτη 27 Δεκεμβρίου 2011

Μηχανές της Λογικής, oμιλία του Στάθη Ζάχου!!!


                      
Μηχανές της Λογικής, του Martin Davis. Ομιλία του Στάθη Ζάχου.

Δεν υπάρχουν σχόλια:

Δημοσίευση σχολίου

Related Posts Plugin for WordPress, Blogger...