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 [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
