Une fonction recherchant des sous-séquences de chiffres de

11

Comment peut-on décider si a une séquence de chiffres? πm'a inspiré pour demander si la variation d'apparence innocente suivante est calculable:

f(n)={1if n¯ occurs in the decimal representation of π0otherwise

est la représentation décimale de n sans zéros non significatifs.n¯n

Si l'expansion décimale de contient toutes les séquences de chiffres finis (appelons cela un nombre universel (en base 10)), alors f est la constante 1 . Mais c'est une question mathématique ouverte. Si π n'est pas universel, cela signifie- t-il que f est non calculable?πf1πf

Gilles 'SO- arrête d'être méchant'
la source
l'astuce pour l'autre problème fonctionne car elle est unaire, cette astuce ne fonctionnera pas pour vérifier les chaînes binaires. Mais cela ne signifie pas que ce n'est pas possible d'une autre manière.
Kaveh
@Kaveh Qu'entendez-vous par "unaire"? La question liée a considéré la représentation décimale de . π
Raphael
C'est une façon de rendre l'exemple non calculable. L'autre façon est de donner un nombre réel en entrée. Mais je n'ai pas de preuve à portée de main. π
Raphael
1
(01)n
1
@Raphael, vous pouvez aussi le considérer comme essentiellement unaire. (L'important est la structure des chaînes possibles pour vérifier la relation du préfixe wrt.)
Kaveh

Réponses:

3

f1πfπ

Pour ce que ça vaut: ça pourrait être , de la manière suivante:

ffgg

Bien sûr, cela ne commence même pas à répondre à votre question, mais c'est probablement pour moi.

jmad
la source
ff
[f?=1]f1P(f)¬P(f)[f?=1]