[Logica-l] Canal de TV com muitos documentários

A quem possa interessar: Nesta semana, a operadora de TV a cabo de minha cidade passou a transmitir o canal UNIVESPTV (parece que tem alguma relação com a TV Cultura de São Paulo). No link abaixo, é possível assistir os programas pela Internet, ao mesmo tempo que está passando o programa na TV

[Logica-l] o teorema da incompletude não é apenas um joguinho de números

Entrevista com Janna Levin, a autora do romance "A Madman Dreams of Turing Machines". Incompleteness Theorem is not just a numbers game http://simplycharly.com/godel/janna_levin_godel_interview.html jm ___ Logica-l mailing list Logica-l@dimap.ufrn.br h

[Logica-l] Mais um P==NP, dessa vez com implementação em software.

Pensei que ia aparecer rápido nessa lista... http://romvf.wordpress.com/2011/01/19/open-letter/ -- Signatures are useless. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l