待验证50% 置信事实精确时间
Edsger W. Dijkstra于1978年写了题为《论“自然语言编程”的愚蠢》的短文,编号EWD667。
1
来源数
50%
置信度
长期有效
时效性
2026/10/23
首次发现
来源
涉及实体
相关事实
待验证有评论者认为Dijkstra写作时代机器理解自然语言能力几乎为零,而今天大模型已能在相当程度上处理歧义和上下文,因此EWD667批判针对的是“把自然语言当作替代品”,当下更现实的做法是“自然语言作为接口,形式化验证作为保障”。66% 相似待验证EWD667的核心论点是:自然语言模糊、多义、依赖语境,而程序要求精确、无歧义、可机械执行的指令,因此把自然语言当作编程语言是对编程本质的误解。65% 相似待验证Diogo认为编程智能体擅长语法、懂一些语义,但在架构上极其糟糕61% 相似待验证Dijkstra反对的是把自然语言本身当作编程语言来使用,而非反对用自然语言描述需求。59% 相似待验证Brainfuck语言于1984年诞生,用8个字符构成图灵完备语言55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1091253API
curl https://kongchang.com/api/v1/knowledge/claims/1091253MCP
get_claim(id=1091253)