Unverified60% confidenceFactExact time

Lambda calculus was proposed by Alonzo Church in the 1930s.

2

Sources

60%

Confidence

Long-term

Relevance

7/20/2026

First Seen

Sources

Revisiting SHRDLU: The Technical Lineage and Modern Value of Procedural Semantics

Related Claims

UnverifiedThe Bauhaus school existed from 1919 to 1933 and advocated the design philosophy of "form follows function."51% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/566476

API

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

MCP

get_claim(id=566476)