Oi Rodrigo, concordo que esse tipo de trabalho deveria ser mais valorizado. Sei que isso não é nem de longe uma reparação a essa deficiência e tampouco um caminho para uma solução, mas, por hora, o que acaba cumprindo o papel de valorizar esse tipo de trabalho em nossa área são os cumprimentos nesta lista.
Parabéns para você e para o Daniel por esse excelente trabalho. Márcio 2011/10/2 Rodrigo Freire <freires...@gmail.com> > Olá a todos > > Não que eu considere isso relevante, mas a atmosfera de discussão da usp > que > encontrou o erro foi constituída por duas pessoas apenas: eu e Daniel > Tausk, > na frente do computador. No facebook o Daniel deu mais detalhes, inclusive > da comunicação privada dele com o Nelson, e quem quiser pode conferir lá. > > O erro que o Nelson cometeu é até certo ponto infantil. Não estou dizendo > isso agora que ele entregou os pontos. Em comunicação privada (que se > depender de mim vai continuar privada) entre Daniel e eu pode ser > comprovado > que eu já disse isso antes e que não entendíamos como o Nelson não viu o > erro depois de ter sido avisado na semana passada. > > Observo que nem o Terence Tao, nem o Daniel são lógicos. O Daniel aprendeu > sobre o teorema de Hilbert-Ackerman em um curso que eu dei no ime-usp no > verão de 2010. Talvez o Terence Tao nem sabia sobre esse teorema que era a > peça chave na estratégia elaborada pelo Nelson. Talvez eu possa ser chamado > de lógico, mas de longe não estou ligado a aritmética limitada e > complexidade. Acho que alguém dessa área conseguiria encontrar o erro em 10 > minutos. Não sei porque ninguém o fez. Talvez porque achar erro no trabalho > dos outros não é considerado um trabalho com valor acadêmico. Como > preencher > detalhes em provas totalmente vagas também não tem valor. Acho que isso > deveria mudar. > > Um último comentário: > > O Nelson é um grande matemático. Deu contribuições importantes para teoria > de operadores, probabilidade, matemática não-standard e aritmética > limitada. > > > Abraço > Rodrigo > _______________________________________________ > 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