Comment

Comment by ben_w

Fun fact I realised only recently: 2 ∘ 2 = 4 for any operator ∘ in the Ackermann sequence other than the zeroth (successor) operator.

2+2 = 2×2 = 2² = … = 4

At least, unless I messed up my proof. My highest qualification is two A-levels in maths and half of brilliant.org…

https://kitsunesoftware.wordpress.com/2020/07/27/hᵤ2-2-4-for...

parent ben_w 6 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton