"What if current foundations of mathematics are inconsistent?" - Institute for Advanced Study, Princeton http://video.ias.edu/voevodsky-80th
Have fun, JM _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l