待验证50% 置信观点精确时间
有评论者认为Dijkstra写作时代机器理解自然语言能力几乎为零，而今天大模型已能在相当程度上处理歧义和上下文，因此EWD667批判针对的是“把自然语言当作替代品”，当下更现实的做法是“自然语言作为接口，形式化验证作为保障”。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/23
首次发现
有效期至：2027/1/21
来源
涉及实体
相关事实
待验证Dijkstra反对的是把自然语言本身当作编程语言来使用，而非反对用自然语言描述需求。75% 相似待验证EWD667的核心论点是：自然语言模糊、多义、依赖语境，而程序要求精确、无歧义、可机械执行的指令，因此把自然语言当作编程语言是对编程本质的误解。75% 相似待验证研究者坦承该模型在文本任务上仍远不如在数万亿token上训练的经典语言模型74% 相似待验证目前主流学界的共识是现有大语言模型不具备意识或主观体验72% 相似待验证大语言模型的输出天然具有看起来合理的特性（fluency bias流畅性偏差），即便推理链条出错，生成的自然语言仍然语法正确、语气自然，使传统的基于输出格式或异常捕获的监控手段失效72% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1091261API
curl https://kongchang.com/api/v1/knowledge/claims/1091261MCP
get_claim(id=1091261)