News for hackers. Stuff that matters.

A comment on Making any integer with four 2s (2025). Parent comment

Re:Making any integer with four 2s (2025) by rav on Sunday November 08, 2026 @08:31AM (#50413182)
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.

[ Parent | on HN ]
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
[ Parent | on HN ]
Re:Making any integer with four 2s (2025) by jasomill on Sunday November 08, 2026 @12:32PM (#50415279)
From the text, the inner term was clearly intended to be "2-2+2-2".
[ Parent | on HN ]
Re:Making any integer with four 2s (2025) by vessenes on Sunday November 08, 2026 @08:19PM (#50419745)
I agree!
[ Parent | on HN ]