Конечные вопросы

Question

Существует ли конечное число вопросов, которые могут быть заданы в отношении определенного языка (и / или темы), например - для T-SQL, учитывая, что существует только так много команд, может быть ограниченное количество неповторяющихся вопросы? и если да, то можете ли вы использовать это для определения размеров сайта, такого как stackoverflow, и для определения вероятности того, что новый вопрос будет повторением предыдущего? Если существует конечное число, как бы вы его определили / вычислили: например, T-SQL имеет x количество команд, у каждой из них может быть набор соответствующих вопросов (синтаксис, пример использования и т. Д.) - так мог Количество вопросов = х раз потенциальные вопросы время уместные изменения? или что-то подобное?

Answer 1

Нет, поскольку теоретически программы могут быть бесконечной длины, и этот сайт посвящен не только языковым командам, но и программам, разработанным на этих языках.

Answer 2

Я почти уверен, что Тьюринг говорит "нет", и если вы ему не верите, Гедель может что-то сказать по этому поводу.

Answer 3

Вопрос переполнения стека выражается в виде последовательности байтов конечной длины. В принципе можно было бы рассмотреть тело вопроса в виде целого числа, сначала обозначаемого младшей цифрой, в базе 256 (или больше, если вы хотите считать его юникодом). Это биекция между вопросами и целыми числами. Поэтому набор всех вопросов о переполнении стека имеет счетно бесконечное количество элементов (Как мне набрать \ aleph_0 в SO?).