Domande finite

Question

Esistono un numero limitato di domande che possono essere poste in merito a un linguaggio (e o argomento) specifico, ad esempio - per T-SQL dato che ci sono solo così tanti comandi, può esserci un numero limitato di non ripetitive domande? e se è così puoi usarlo per determinare il dimensionamento di un sito come StackOverflow e per determinare la probabilità che una nuova domanda sia una ripetizione di una precedente? Se esiste un numero finito, come lo determineresti / calcolalo: ad esempio, T-SQL ha x numero di comandi, ognuno può avere una serie di domande pertinenti (sintassi, esempio di utilizzo, ecc.) - così potrebbe Numero di domande = x volte potenziali domande tempo alcune variazioni rilevanti? o qualcosa del genere?

Answer 1

Una domanda di overflow dello stack viene espressa come una sequenza di byte di lunghezza finita. In linea di principio si potrebbe considerare il corpo della domanda in termini di un numero intero, espresso prima la cifra più bassa, in base 256 (o più grande, se si desidera considerarlo unicode). Questa è una biiezione tra domande e numeri interi. Pertanto, l'insieme di tutte le domande di overflow dello stack ha una cardinalità infinitamente numerabile (come posso comporre \ aleph_0 in SO?).

Answer 2

No, poiché, in teoria, i programmi possono avere una lunghezza infinita e questo sito non riguarda solo i comandi delle lingue, ma i programmi sviluppati con quelle lingue.

Answer 3

Sono abbastanza sicuro che Turing dice di no, e se non ci credi, Del potrebbe avere qualcosa da dire al riguardo.