I'm pretty sure (\sz.sz) and (\z.z) are the same function: (\sz.(\z.z)sz)=(\sz.sz). It would make sense that 0^0 for church numerals is 1, since this is expone

I'm pretty sure (\sz.sz) and (\z.z) are the same function: (\sz.(\z.z)sz)=(\sz.sz). It would make sense that 0^0 for church numerals is 1, since this is exponentiation to the natural (defined as recursive multiplication, with the base case x^0=1).