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


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

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


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

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

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

Related Posts Plugin for WordPress, Blogger...