Hacker News new | ask | show | jobs
by zyklu5 1 day ago
Similar fun at this Baez blog post from a decade ago: Surprises in Logic: https://math.ucr.edu/home/baez/surprises.html