如何严格证明call/cc无法通过lambda演算实现？

算力阿峰

2026-6-15

数学视角下的问题分析

内容的提问来源于stack exchange，提问作者Jacder Zhang

相关产品推荐

方舟 Agent Plan

超全模态模型 × Harness 升级，最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分)，限时 9.9 元起

火山引擎最新活动

模型再升级,30秒超长叙事, 模态参考扩容

模型自由，工具不限，最新支持 Deepseek-V4 系列、GLM-5.3 系列

超全模态模型 × Harness 升级，最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列

大模型19元起，Al应用9.9元畅享，新人首购爆款尽享优惠