Aprendemos sobre o conceito de enumerações de funções. Na prática, eles correspondem a linguagens de programação. Em uma observação de passagem, o professor mencionou que a classe de todas as funções totais (ou seja, as funções que sempre terminam para cada entrada) não é enumerável. Isso...
Um conjunto é contável se tiver uma bijeção com os números naturais e é computávelmente enumerável (ce) se houver um algoritmo que enumere seus membros. Qualquer conjunto enumerável computacionalmente não finito deve ser contável, pois podemos construir uma bijeção a partir da enumeração. Existem...
Muitos problemas indecidíveis "famosos" são, no entanto, pelo menos semidecidáveis, com seu complemento indecidível. Um exemplo acima de tudo pode ser o problema da parada e seu complemento. No entanto, alguém pode me dar um exemplo em que um problema e seu complemento são indecidíveis e não...
É o que se sabe sobre o problema da parada e a semi-decidibilidade: O problema de parada diz que, para uma dada entrada xe uma máquina H, não podemos dizer se a máquina H pára ou não na entrada x. Diz-se que um idioma é semi-decidível se existir uma máquina de Turing que pare se uma palavra...