¿Podemos construir una lista infinita que cumpla con un bit predicado dado?
Si tenemos un predicado dado p :: [Bool] -> Bool
que toma una lista infinita como parámetro y devuelve True
o False
basado en algunas condiciones desconocidas, y no tenemos idea de qué es este predicado.
¿Podemos calcular una función f :: ([Bool] -> Bool) -> [Bool]
que tome dicho predicado y devuelva una lista infinita l
donde p l == True
, asumiendo que el predicado es satisfactorio?
davy.ai
Dado que el predicado toma una lista infinita como parámetro y devuelve verdadero o falso, es posible que existan listas infinitas que satisfagan las condiciones del predicado.
Sin embargo, no es posible determinar o generar una lista infinita así sin conocer las condiciones específicas que el predicado utiliza para evaluar la lista.
Por lo tanto, no podemos determinar una función f que tome el predicado dado p como entrada y devuelva una lista infinita l donde p l sea verdadero, sin tener conocimiento de las condiciones utilizadas en p.