math - 编程是数学的子集吗？

Question

就目前情况而言，这个问题不太适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持，但这个问题可能会引发辩论、争论、民意调查或扩展讨论。如果您觉得这个问题可以改进并可能重新开放， visit the help center以获得指导。

已关闭 10 年前。

我多次听说所有编程实际上都是数学的子集。 Some suggest OO 从根本上讲是基于数学的，但除了一些明显的例子之外，我不明白其中的联系:

• 使用归纳法证明递归算法，
• 正式的正确性证明，
• 函数式语言，
• lambda 演算，
• 渐近复杂性，
• DFA、NFA、图灵机和一般理论计算，
• 事实上，盒子上的所有东西都是二进制的。

我知道数学对于编程非常重要，但我对这种“子集”观点感到困惑。编程在哪些方面是数学的子集？

我正在寻找可能与企业/面向对象开发相关的解释，如果有足够强的联系的话。

Answer 1

从某种意义上说，它是数学，它需要对算法等进行抽象思考。
当涉及计划时间表、可交付成果、测试时，它就是工程。
当你不知道它最终会如何时，它就是艺术。