Happy Birthday, Kurt Gödel http://rjlipton.wordpress.com/2013/04/28/happy-birthday-kurt-gdel/ "We wonder if anyone has made a “Gödel tile set” that can tile the plane if and only if set theory is consistent."
JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
