Dória, Tem alguma apresentação que foi disponibilizada e que você possa enviar?
Foi filmado? Gostaria ter assistido. Abs, Yuri Sds, Yuriphone On 11/10/2009, at 08:46, Francisco Antonio Doria <[email protected]> wrote: > O workshop que organizei 5a. feira na Coppe, ``Novos modelos em > teoria da computação,'' foi um sucesso. Tivemos uma vintena de assis > tentes - 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 fund > amento 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 n > a Unicamp, em março próximo, com um tutorial sobre as desigualdades > de Bell, que estão na base de qualquer discussão sobre emaranhament > o. > > Um incidente: nesse meio tempo fui procurado por pessoa que, dizendo- > se estudante de física de universidade prestigiada, me pediu para of > erecer-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 teorem > a 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 axioma > tizar o background das desigualdades de Bell). Depois de uma troca a > zeda, mandou-me tal personagem uma msg dizendo que havia erros no me > u Lattes e que deveria corrigi-los imediatamente. Confesso que me ir > ritei; a troca terminou com mensagem grosseiríssima, de tom que sent > i como ameaçador, recebida ontem à noite (entre as exigências que > me fez estava a de botar letras maiúsculas em certas palavras, class > ificação de tópicos de pesquisa, no Lattes). > > Fica o registro. Se é verdade o que este personagem me contou, tem p > razos exíguos, e pode pedir a outra pessoa que o oriente, com conseq > uê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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
