Does a consistent undecidable theory exist? Can we prove this? How would we prove this? http://rjlipton.wordpress.com/2013/11/03/a-really-scary-thought/
* * * Vale recordar que Randall Holmes afirmou há cerca de um ano que possui uma demonstração da consistência de New Foundations (demonstração ainda sendo checada, simplificada e formulada em detalhes). http://www.logicmatters.net/2012/11/the-consistency-of-nf/ * * * Boa semana a todos, JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
