Encaminho o artigo sobre a versão ternária da conjetura de Goldbach, sobre a que fala o João, se alguém quiser dar uma olhada: http://arxiv.org/pdf/1305.2897v1.pdf
Abraço da Colômbia, Pedro Zambrano. 2013/5/22 Joao Marcos <botoc...@gmail.com> > Para quem não pensa que "matemática avançada" deve necessariamente ser > incompreensível, ou que conjecturas simples devem necessariamente ter > demonstrações simples, seguem notícias de custosos avanços recentes > sobre uma versão mais fraca da conjectura sobre a infinitude dos > números primos gêmeos (e também sobre a versão ternária da conjectura > de Goldbach): > > http://rjlipton.wordpress.com/2013/05/21/twin-primes-are-useful/ > > (Ah, se ao menos as conjecturas da aritmética fossem tão "fáceis" de > se decidir como as da teoria dos corpos reais fechados!) > > * * * > > A propósito de outra discussão recente aqui da lista, vale apontar > talvez o seguinte paper sobre a decidibilidade da teoria da Aritmética > restrita aos quantificadores do tipo "quase todos": > http://arxiv.org/abs/math/0602415 > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Pedro ZAMBRANO Profesor Asistente D.E. Departamento de Matemáticas Universidad Nacional de Colombia Bogotá - Colombia PBX +57 1 3165000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l