Na interface da computação com a matemática

Uma máquina de Turing é uma versão abstrata de um programa de computador: uma sequência de instruções que a máquina executa numa ordem determinada. Em muitos casos, a máquina acaba parando, marcando que o cálculo está completo. Em outros, ela roda para sempre, por exemplo porque entrou em "loop", o cálculo nunca termina. Leia mais (07/16/2024 - 17h15)