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