Uma entrada bastante interessante no blog do Lipton sobre a possível utilidade de uma conjectura sobre "máquinas de Turing em tempo real" para demonstrar resultados (condicionais) sobre números transcendentais: http://rjlipton.wordpress.com/2012/06/04/transcendental-aspects-of-turing-machines/
JMarcos PS: Nos comentários ao post há quem defenda que conjecturas como esta podem também vir a se revelar como asserções independentes do ponto de vista da parafernália de ZF. -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
