是否有任何软件采用设定的构建器符号并返回名册符号？ [关闭

Question

例如，如果您喂食{x |xεz，0

Answer 1

我不知道有任何这样的软件。

请注意，没有用于列举任意集的一般算法。一个接受的程序 任何 用设定符号编写的设置也必须能够解决停止问题。此外，存在甚至在理论上也无法列举的集合，例如那些构造需要在真实物质上使用选择功能的集合。

自然，如果您限制在设定构建器符号中会出现哪种表达式，那么问题就更容易了，但是即使如此，比线性不平等更复杂的事情也很难。例如，众所周知，没有算法来确定是否有多项式平等 P(x_1, ..., x_9)=0 在九个变量中，有一个整数解决方案（这是希尔伯特（Hilbert）第10个问题的扩展），不用介意实际找到一些典范解决方案。