perguntas finitos

Question

Há um número finito de perguntas que podem ser feitas a respeito de uma linguagem específica (e ou tópico), por exemplo - para T-SQL, uma vez que existem apenas tantos comandos, pode haver um número limitado de não-repetitivo questões? e se assim você pode usar isso para determinar o dimensionamento para um site como stackoverflow e para determinar a probabilidade de uma nova questão de ser uma repetição de uma prévia? Se houver um número finito, como você determinar / calculá-lo: por exemplo, T-SQL tem x número de comandos, cada um pode ter um conjunto de questões relevantes (sintaxe, exemplo de utilização, etc.) - então poderia o # de perguntas = x vezes potencial perguntas tempo alguma variação relevante? ou algo parecido?

Answer 1

Um excesso de pilha questão é expresso como uma sequência de comprimento finito de bytes. Pode-se, em princípio, considerar o corpo questão em termos de um inteiro, expresso menor dígitos em primeiro lugar, na base de 256 (ou maior, se quiser pensar nisso como unicode). Esta é uma bijeção entre perguntas e números inteiros. Portanto, o conjunto de todas as questões de estouro de pilha tem uma cardinalidade infinito contável (Como eu typeset \ aleph_0 no SO?).

Answer 2

Não, uma vez que, teoricamente, os programas podem ser de comprimento infinito, e este site não é apenas sobre comandos de linguagem, mas os programas desenvolvidos com esses idiomas.

Answer 3

Eu tenho certeza que Turing não diz, e se você não acreditar nele-los Gödel pode ter algo a dizer sobre isso.