有限的问题

Question

关于特定语言（和/或主题）是否可以提出有限数量的问题，例如，对于T-SQL，只有这么多命令，可以有有限数量的非重复性问题吗？如果是这样，你可以用它来确定像stackoverflow这样的网站的大小，并确定新问题重复前一个问题的可能性吗？如果有一个有限的数字，你将如何确定/计算它：例如，T-SQL有x个命令，每个命令可以有一组相关的问题（语法，使用示例等） - 所以问题的数量= x次潜在的问题时间一些相关的变化？或类似的东西？

Answer 1

不，因为从理论上讲，程序可以是无限长的，这个站点不只是语言命令，而是用这些语言开发的程序。

Answer 2

我很确定图灵说不，如果你不相信他，哥德尔可能会对此有所说明。

Answer 3

堆栈溢出问题表示为有限长度的字节序列。原则上可以用整数来表示问题体，首先用基数256表示最低位数（或者更大，如果你想把它想象为unicode）。这是问题和整数之间的双射。因此，所有堆栈溢出问题的集合都有一个可数无限的基数（我如何在SO中排版\ aleph_0。）。