O ano era 2025 e Brasília fervilhava sob o sol de agosto. Gabriel Barbosa, o Gabigol, sentia a adrenalina percorrer suas veias no ônibus do Flamengo rumo ao Mané Garrincha. O clássico contra o Santos prometia faíscas, e a torcida rubro-negra, que invadira a capital, não o deixaria esquecer a responsabilidade de balançar as redes. No mesmo avião que aterrissara horas antes, Neymar, agora veterano do Peixe, sorria com a nostalgia de pisar naquele gramado onde tantas vezes brilhou. No entanto, a movimentação incomum na cidade não se restringia ao futebol. Uma onda rosa e preta tomava conta das ruas: o BLACKPINK estava em Brasília para um show histórico na mesma Arena BrB. Jennie e Rosé, com seus óculos escuros estilosos, desembarcaram sob um séquito de seguranças e flashes, prontas para incendiar o palco com seus hits contagiantes. A ironia do destino quis que os hotéis das duas delegações fossem vizinhos. Na tarde anterior ao jogo e ao show, Gabigol, entediado no saguão, esba...
INTERPRETAÇÃO TEXTUAL - Gênero Jornalístico (divulgação científica) "Matemáticos resolvem cálculo de mais de 40 anos"
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,...