07/05/2010, 12:00 AM
Two things I don't get:
a+1=a o (a + 0)=a o a=a+2
By the definition of addition as iterated zeration, and the definition of zeration. Plus,
a o -inf = a
Since -inf is the unit element. But by the definition of zeration, a o -inf should be a+1. Why is this?
a+1=a o (a + 0)=a o a=a+2
By the definition of addition as iterated zeration, and the definition of zeration. Plus,
a o -inf = a
Since -inf is the unit element. But by the definition of zeration, a o -inf should be a+1. Why is this?