Re:Making any integer with four 2s (2025)
by Someone on Sunday November 08, 2026 @08:07AM
(#50412948)
[delayed]
[ Parent
| on HN ]
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.
Re:Making any integer with four 2s (2025)
by vessenes on Sunday November 08, 2026 @08:49AM
(#50413367)
You’ve got S(4) in the center there