Remix.run Logo
▲ rav 16 hours ago

You don't even need zero in that case, you can use the fact that 2 - 2 = 0 to use the four 2s:

  S(S(S(S(S(S(S(2+2-2+2)))))))) = 7
...which is essentially the same as Dirac's general solution (which also derives a "successor operator" akin to S that doesn't spend any numeric literals).

EDIT: I realize that this was already posted in a comment by shoo several hours ago.

▲vessenes 16 hours ago | parent [-]

You’ve got S(4) in the center there

▲jasomill 12 hours ago | parent | next [-]

From the text, the inner term was clearly intended to be "2-2+2-2".

▲vessenes 4 hours ago | parent [-]

I agree!

▲ 16 hours ago | parent | prev [-]
[deleted]