Texto&Arte

Matemáticos resolvem cálculo de mais de 40 anos Visualize um pequeno castor construindo sua represa, graveto após graveto. Tarefa longa, aparentemente interminável, mas ele não desiste. Foi essa imagem que levou o húngaro Tibor Radó (1895–1965) a chamar de “castores a tarefados” as máquinas de Turing que mais demoram para terminar suas tarefas, entre todas as que terminam. Uma máquina de Turing é uma versão abstrata, simplificada de um programa de computador. Simplificada, mas não menos efetiva: tudo o que um supercomputador faz pode ser feito por uma máquina de Turing, embora demore mais. O problema com essas máquinas, e com programas de computador em geral, é que podem rodar sem parar, nunca completando o cálculo. E não existe nenhum modo computacional de saber quais são do tipo que param ou do tipo que não param. Para tentar contornar esse fato, em 1962, Radó propôs focar em máquinas de Turing com um número fixado n de instruções, e determinar qual é o número máximo,...

TRUMP É PARA SEMPRE Tenho receio que os brasileiros de um modo geral ainda não se deram conta de que as tarifas do presidente americano não são algo cujos efeitos vão se dissipar com o tempo. Elas são uma mudança permanente no comércio e na economia do mundo, que deve sobre viver ao poder imperial de Donald Trump. O nível médio das tarifas americanas a esta altura do processo está estimado em 18%, nove vezes mais alto do que a média de 2% que vigorava antes. No entanto, para além do nível inédito das tarifas, uma mudança muito mais importante está ocorrendo no sistema de comércio, que tem tudo para se tornar irreversível. O princípio fundamental do comércio internacional baseado em regras é o que determina que tarifas são impostas sobre bens e não sobre os países de origem. Se o Brasil, por exemplo, taxar a importação de automóveis americanos em 10%, estará obrigado a estender a mesma tarifa sobre a importação de automóveis de todas as origens, sem discriminar nenhum país. ...