是否有任何软件需要设置构建器符号并返回名单符号？

Question

例如，如果您向其中输入{x |x∈Z，0

Answer 1

我不知道有这样的软件。

注意，没有用于枚举任意集的通用算法;接受用集合构建器表示法编写的任何集合的程序也必须能够解决例如停止问题。此外，存在甚至在理论上也无法列举的集合，例如那些构造需要在实数上使用选择函数的集合。

当然，如果限制在集合构建器表示法中出现哪种表达式，问题会更容易，但即使这样，任何比线性不等式更复杂的事情都会非常困难。例如，众所周知，没有算法来确定九个变量中的多项式等式P(x_1, ..., x_9)=0是否具有整数解（这是Hilbert第10个问题的扩展），更不用说实际找到一些示例解。< / p>