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)
