在软件开发这个领域,是否存在一组像「+、-、×、÷」那样数量极少、普适性极强、可以组合出几乎所有上层复杂性的基础规则?
目前不存在。
而且我认为在可预见的未来也不会存在,至少不会以数学那种封闭、形式化的方式存在。
为什么软件开发很难有「终极规则」?
数学的「+、-、×、÷」之所以能构建起整个大厦,是因为它面对的是封闭的形式系统,对象是抽象的数字和结构,目标是严格的证明和一致性。
而软件开发面对的是:
- 开放的人类意图系统:需求会变、理解会偏差、利益会冲突。
- 社会技术系统:代码、架构、组织、沟通、时间压力、遗留系统同时存在。 ...
我聽歌從不在意歌詞,只專注旋律,把歌手的音色當作一部樂器來聽。🎼
I never care about the lyrics when listening to music. I focus solely on the melody, treating the singer’s voice as just another instrument. 🎼
“The limits of my language are the limits of my world”—Ludwig Wittgen-stein (1889-1951)
“我的语言的界限就是我的世界的界限。”——路德维希·维特根斯坦(Ludwig Wittgenstein,1889-1951)