O workshop que organizei 5a. feira na Coppe, ``Novos modelos em teoria da computação,'' foi um sucesso. Tivemos uma vintena de assistentes - o que é muito, para período letivo e tema específico; Marcos Oliveira, do IF Gleb Wataghin fez uma apresentação primorosa sobre emaranhamento quântico e computação quântica; Walter Carnielli mostrou como lógicas paraconsistentes são quase que o fundamento natural para a computação quântica, e falei sobre hipercomputação.
Combinamos fazer workshops periódicos. O título do projeto vai ser ``Quantum Leap,'' salto quântico, expressão que tem tambem o sentido de salto de qualidade :)) Minha sugestão é fazermos algo na USP ou na Unicamp, em março próximo, com um tutorial sobre as desigualdades de Bell, que estão na base de qualquer discussão sobre emaranhamento. Um incidente: nesse meio tempo fui procurado por pessoa que, dizendo-se estudante de física de universidade prestigiada, me pediu para oferecer-lhe orientação no doutorado. Me propôs um projeto em axiomatização da mecânica - Newton e eu propusemos uma, há uns quinze anos. Sugeri-lhe uma tese tendo como núcleo a prova do teorema da indecidibilidade de Wayne Myrwold, de 1995, usando as técnicas desenvolvidas por Newton e por mim (sugeri-lhe algo mais, um teorema de incompletude associado, para o que precisaríamos ao menos axiomatizar o background das desigualdades de Bell). Depois de uma troca azeda, mandou-me tal personagem uma msg dizendo que havia erros no meu Lattes e que deveria corrigi-los imediatamente. Confesso que me irritei; a troca terminou com mensagem grosseiríssima, de tom que senti como ameaçador, recebida ontem à noite (entre as exigências que me fez estava a de botar letras maiúsculas em certas palavras, classificação de tópicos de pesquisa, no Lattes). Fica o registro. Se é verdade o que este personagem me contou, tem prazos exíguos, e pode pedir a outra pessoa que o oriente, com consequências similares. Tenho medo que se trate de um stalker.
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
