``Don't feed the trolls'' é um princípio da internet que costumo seguir. Mas há momentos em que segui-lo fica impossível.
Não conheço, em pessoa, quem me ataca através desta lista. Se tivermos sido apresentados, não me recordo. Nunca dele examinei projeto, artigo, tese - isso apesar de ter examinado teses e concursos na Unicamp e Usp, como recentemente a titularidade de Marcelo Coniglio. Não lembro ter citado alguma vez qualquer trabalho seu, e nunca assisti a palestra ou conferência sua. Por isso me surpreende o ódio manifesto contra mim, em seus posts, onde se autonomeia algo como purificador e moralizador do ambiente da lógica brasileira. Fica a pergunta: por que? O que o impele? É apenas um autonomeado vigilante em nossa área? Bom, à parte substantiva: - Newton e eu somos amigos desde 1985. Fomos apresentados por meu orientador, Leopoldo Nachbin. Publicamos o primeiro artigo juntos em 1990, sobre modelos de forcing em relatividade geral. Seguiram-se, em 1991, ``Undecidabillity and incompleteness in classical mechanics'' e ``Classical physics and Penrose's thesis.'' São mais de quarenta, entre artigos publicados no exterior, capítulos de livros, e dois livros, ``On the Foundations of Science, I,'' editado pelo Grupo de Altos Estudos da Produção/Coppe, e ``Gödel's Way,'' com Greg Chaitin, publicado pela Taylor & Francis (foi aceito em dois meses). Este, aliás, esteve diversos meses como oferta inicial no Scientific American Book Club, e teve boa posição nas vendas. Sendo examinado pelo editor da Contraponto está ``Fragmentos: física quântica,'' baseado em mensagens do Newton para mim e nas respostas que lhe procurei oferecer. Esses quarenta e tantos textos (43 ou 44, creio), alguns bastante citados fora do Brasil, trabalhos em colaboração, dizem claramente da confiança de Newton no que faço. Enfatizo este ponto e o julgamento implícito. Nosso trabalho foi citado por Steve Smale, Medalha Fields, que assim resumiu nossos artigos de 1991: ``Chaos is undecidable.'' Ou por Illya Prigogine, Prêmio Nobel. Foi analisado num artigo muito referido em _Nature_, da autoria de Ian Stewart, que o menciona tambem em vários de seus livros de divulgação (e inclusive nossa conjectura sobre a indecidibilidade de P<NP). Nossos rascunhos estão agora, em parte, nos arquivos da Unicamp, que há dois anos enviou uma bibliotecária à minha casa para coletar esses papeis. Mostram com nitidez o desenvolvimento de nossas ideias. Quase tudo sobre física e aplicações da lógica às teorias científicas matemátizáveis. Newton costuma brincar comigo, e diz que em nossa colaboração fi-lo voltar-se para um interesse antigo, a física. Menciono ainda, brevemente, nosso trabalho em economia, ideia de um aluno brilhante, Marcelo Tsuji, com quem publicamos ``On the incompleteness of theories of games,'' hoje republicado num handbook que a Edward Elgar publicou, editado por K. V. Velupillai et al., ``Computable Economics.'' Me disseram: é um clássico. Sobre a questão P vs NP, publicamos seis artigos, entre 2003 e 2011 - ``Why is the P vs NP question so difficult?'' na coletânea em homenagem ao Walter que Jean-Yves e Marcelo Coniglio editaram. Nosso principal resultado é um teorema condicional: ``se certa teoria T é omega-consistente, então P=NP é consistente com ZFC.'' Fomos criticados e elogiados, o que faz parte do jogo. Talvez ainda publiquemos algo a respeito. (A discussão no grupo theory-edge, de 2001, reflete nossos esforços iniciais sobre o tema; cometemos muitos erros, o que, lembro, não é crime, e é até bem educativo, afinal a gente aprende mesmo é com os erros...) Duas notas finais: o uso inteligente do Google revela tudo sobre o Prêmio Caumont-La Force, concedido apenas seis vezes, entre 1983 e 1995. Receberam-no Lady Antonia Fraser, historiadora inglesa; dois membros da Académie Française; dois professores universitários - e eu, o último agraciado, em 1995. Como digo sempre, um amador nessa área. Quem quiser um link, https://www.facebook.com/fadoria/posts/10201005023038802?comment_id=5711565&offset=0&total_comments=6 A outra questão levantada, tambem fora da lógica, pode ser esclarecida por meus advogados. Quem tiver interesse pergunte-me em pvt e faço o encaminhamento. --------------------------- Concluindo: desejo que essa pessoa que tão agudamente me contesta e me ofende faça uma carreira tão produtiva quanto a minha. E que tenha tantos e tão brilhantes alunos como eu, como por exemplo Marcelo Gleiser e Acácio de Barros. Meus votos sinceros... _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
