求助一个问题【葛立恒数二吧】

葛立恒数二吧关注：834贴子：67,212

求助

ψ(λα.(ε_(α＋1))-Π_0)是怎么到ψ(λα.(Ω_(α＋1))-Π_0)的，网上没有详细的过程

送TA礼物

IP属地:四川

来自Android客户端1楼2024-02-17 15:55回复

没有ψ(λα.Ω_(α+1)-Π0)，只有ψ(λα.Ω_(α+1)-Π1)

IP属地:天津

来自Android客户端2楼2024-02-17 16:02

收起回复

同求，顶

IP属地:北京

来自iPhone客户端3楼2024-02-18 11:17

λα.Ω_(α+1)-Π0=α
λα.Ω_(α+1)-Π1折叠ψ_λα.Ω_（α+1）+1（a）
大概是这样子吧

IP属地:陕西

来自Android客户端4楼2024-02-18 11:28

收起回复

没ψ在外面的话是λα.Ω_(α+1)-Π1是折叠对α的递归运算

IP属地:北京

5楼2024-02-21 14:06

收起回复

下载贴吧APP
看高清直播、视频！

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴