待验证50% 置信观点精确时间
EWD667的核心论点是：自然语言模糊、多义、依赖语境，而程序要求精确、无歧义、可机械执行的指令，因此把自然语言当作编程语言是对编程本质的误解。
1
来源数
50%
置信度
长期有效
时效性
2026/10/23
首次发现
来源
涉及实体
相关事实
待验证自然语言编程将编程认知门槛从掌握语法规则降低到清晰表达需求75% 相似待验证有评论者认为Dijkstra写作时代机器理解自然语言能力几乎为零，而今天大模型已能在相当程度上处理歧义和上下文，因此EWD667批判针对的是“把自然语言当作替代品”，当下更现实的做法是“自然语言作为接口，形式化验证作为保障”。75% 相似待验证把模糊的自然语言指令自动转化为形式化规约，本身是尚未解决的难题，因此“自然语言作为接口，形式化验证作为保障”的思路是把形式化环节后移而非消除。72% 相似部分验证当前自然语言提示的最大问题在于歧义性，同样的需求不同人写出的提示词可能完全不同，AI产出的代码也可能截然不同71% 相似待验证自然语言描述的模糊性可能带来问题：一句话中未明确指定的字段映射、触发条件、认证配置等细节，AI 如何处理仍需更多实际使用验证。71% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1091254API
curl https://kongchang.com/api/v1/knowledge/claims/1091254MCP
get_claim(id=1091254)