math @lemmy.world ∃∀λ @programming.dev 16h ago Who Can Name the Bigger Number? (1999) www.scottaaronson.com Who Can Name the Bigger Number?