Matemática avançada não necessariamente é incompreensível por si mesma. Porém, como em toda ciência, só entende o que se diz quem a estudou em nível superior. Afinal de contas, eu não leio fluentemente artigos de medicina e, sim, a medicina avançada tem mais coisas do que sai no noticiário científico ou do que o que se aprende de biologia no ensino médio.
Mas, independentemente de ser avançado ou não, conjecturas simples devem ter demonstrações simples. Mas, dever ter não quer dizer que tenham de fato. Afinal de contas, não é em todo frame que T vale. Em 22 de maio de 2013 14:44, Joao Marcos <botoc...@gmail.com> escreveu: > 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 > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
