admin管理员组

文章数量:1648007

1. 软件开发是一门科学

科学与数学的根本区别在于，它不可能证明科学理论和规律的正确性。

我无法从数学上证明牛顿第二定律是正确的。对于我可以进行多少实验以及我可以收集多少经验证据，总是有可能一些实验向我证明我的定律是错误的。

科学不是通过证明声称是真实的，而是通过证明它们是错误的来起作用。如果有一些陈述尽管我们付出了所有努力，但仍不能证明是错误的，那么我们就我们的所有目的都认为它们是正确的。

“数学是一门旨在证明陈述真实性的学科。相反，科学是一门在于证明陈述的虚假性的学科“

Dijkstra 是计算科学创始一代中最有影响力的人物之一，他说：“测试表明存在错误，而不是不存在错误”。换句话说：

可以通过测试来证明一个程序是错误的，而不是它是正确的。

这一事实的影响是非凡的。软件开发不是数学活动，即使它似乎在操纵数学结构。相反，软件更像是一门科学

本文标签： 架构真理大师软件

版权声明：本文标题：来自软件架构大师的 4 个真理 内容由热心网友自发贡献，该文观点仅代表作者本人， 转载请联系作者并注明出处：https://m.elefans.com/xitong/1729494286a1202757.html， 本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。