¿Es una función que busca subsecuencias de dígitos de computable?


11

¿Cómo se puede decidir si π tiene alguna secuencia de dígitos? me inspiró a preguntar si la siguiente variación de aspecto inocente es computable:

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

donde n¯ es la representación decimal de n sin ceros a la izquierda.

Si la expansión decimal de π contiene todas las secuencias de dígitos finitos (llamemos a esto un número universal (en base 10)), entonces f es la constante 1 . Pero esta es una pregunta matemática abierta. Si π no es universal, ¿significa esto que f es indiscutible?


el truco para el otro problema funciona porque es unario, ese truco no funcionará para verificar cadenas binarias. Pero eso no significa que no sea posible de otra manera.
Kaveh

@Kaveh ¿Qué quieres decir con "unario"? La pregunta vinculada consideró la representación decimal de π .
Raphael

Esta es una forma de hacer que el π -ejemplo sea incuestionable. La otra forma es dar un número real como entrada. Sin embargo, no tengo una prueba a mano.
Raphael

1
@Kaveh: También podríamos haber verificado sin cambiar la respuesta. (01)n
Raphael

1
@Raphael, puedes pensar que es esencialmente unario también. (Lo importante es la estructura de posibles cadenas para verificar la relación del prefijo wrt.)
Kaveh

Respuestas:


3

Tenga en cuenta que puede ser la constante incluso si no es un número normal. (En francés decimos si es constante que es un nombre univers . No sé el término correspondiente en inglés)f1πfπ

Por lo que vale: podría ser , de la siguiente manera:

Probar es computable no implicaría necesariamente la resolución de la pregunta abierta si es constante o no. Por ejemplo, puede construir que sea computable pero de modo que la constancia de sea ​​equivalente a la conjetura de Goldbach .ffgg

Por supuesto, eso ni siquiera comienza a responder su pregunta, pero es probable que esté abierto para mí.


Correcto, me refería a nombre univers , de hecho. Entonces podría ser computable sin ser constante. Estoy bastante seguro de que hay una manera más simple de mostrar esto. ¿Podría explicar un poco más cómo puede o no ser computable, al nivel de la teoría de computabilidad 101? ff
Gilles 'SO- deja de ser malvado'

Bueno, quería responder a la pregunta "Dado que es una pregunta difícil , ¿ implica que ?" y mi respuesta es "¿Por qué no? Al menos no implica que es una pregunta trivial "[f?=1]f1P(f)¬P(f)[f?=1]
jmad
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.