Equipe de matemáticos resolve 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 atarefados" as máquinas de Turing que mais demoram para terminar suas tarefas, entre todas as que terminam.

Leia mais (07/23/2024 - 19h13)