Perguntas com a marcação «computability»

19
(Falso?) Prova de computabilidade de uma função?

Considere , uma função que retorna 1 se n zeros aparecerem consecutivamente em π . Agora alguém me deu uma prova de que f ( n ) é computável:f( N )f(n)f(n)nnnππ\pif( N )f(n)f(n) Ou para todo n, aparece em π , ou existe am r 0 m aparece em π e 0 m + 1 não. Para a primeira possibilidade f ( n ) :...

18
Os testes podem mostrar a ausência de bugs?

( n + 1 )(n+1)(n + 1) pontos são necessários para determinar exclusivamente um polinômio de graunnn ; por exemplo, dois pontos em um plano determinam exatamente uma linha. Quantos pontos são necessários para determinar exclusivamente uma função computável f: N→ Nf:N→Nf : N \rightarrow N , dada a...

18
É possível testar se um número computável é racional ou inteiro?

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...