编程语言集合背后的理论是什么？

Question

0

所谓的集合论与编程语言中使用的“集合”没有多大关系。在编程中，需要类似一对的谓词：一个谓词，可能还有一个完整的顺序，其等价关系仅使用谓词。

或者可能有其他方法。

所有这些背后的理论都是编程语言建模的吗？

Answer 1

CS是集合论的不同部分（不止一个集合论）和类型论（也有不止一个）的混合搭配。

从某种意义上说，类型理论和集合理论以及范畴理论在某种程度上是竞争对手提出了不同的方法来成为数学的基础理论

CS仍然是我，主要是集合论，这是对的，例如，基于谓词逻辑，例如，自动化/ Turing机器的形式化也全部根据集合论来完成。从布尔逻辑中，我们可以转到并集，相交，双射等

另一种方法是类型理论，其中可以将没有布尔逻辑的“和”和“或”编码为类型理论本身中的类型。