待验证50% 置信观点精确时间

FORTRAN的发明者John Backus曾将高级语言的意义概括为让数学家而非机器操作员来编写程序

1

来源数

50%

置信度

长期有效

时效性

2026/7/21

首次发现

来源

Vibe Coding入门指南：零基础用AI造出真实应用

相关事实

待验证后道信道（Backchannels）概念由语言学家 Victor Yngve 于 1970 年代提出57% 相似待验证BNF由John Backus和Peter Naur在1960年代为ALGOL 60语言规范设计55% 相似待验证程序化语义的哲学根基可追溯至George Miller与Philip Johnson-Laird在1976年提出的'心智程序'概念53% 相似待验证自然语言编程概念早在1970年代就有学者提出53% 相似待验证具身认知理论最早可追溯至认知科学家Francisco Varela和Evan Thompson在1990年代提出51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/579856

API

curl https://kongchang.com/api/v1/knowledge/claims/579856

MCP

get_claim(id=579856)