Preguntas finitas

Question

¿Hay un número finito de preguntas que se pueden hacer con respecto a un lenguaje específico (y / o tema), por ejemplo, para T-SQL dado que solo hay tantos comandos, puede haber un número limitado de no repetitivos preguntas? y si es así, ¿puede usar eso para determinar el tamaño de un sitio como stackoverflow y para determinar la probabilidad de que una nueva pregunta sea una repetición de una anterior? Si hay un número finito, ¿cómo lo determinaría / calcularía? Por ejemplo, T-SQL tiene x número de comandos, cada uno puede tener un conjunto de preguntas relevantes (sintaxis, ejemplo de uso, etc.), así podría # de preguntas = x veces las preguntas potenciales cronometran alguna variación relevante? o algo por el estilo?

Answer 1

Una pregunta de desbordamiento de pila se expresa como una secuencia de bytes de longitud finita. En principio, se podría considerar el cuerpo de la pregunta en términos de un número entero, expresado primero con el dígito más bajo, en la base 256 (o más grande, si desea considerarlo como unicode). Esta es una biyección entre preguntas y números enteros. Por lo tanto, el conjunto de todas las preguntas de desbordamiento de pila tiene una cardinalidad infinitamente contable (¿Cómo escribo \ aleph_0 en SO?).

Answer 2

No, dado que, en teoría, los programas pueden tener una longitud infinita, y este sitio no se trata solo de comandos de lenguaje, sino de programas desarrollados con esos idiomas.

Answer 3

Estoy bastante seguro de que Turing dice que no, y si no le crees, Gödel podría tener algo que decir al respecto.