YORDL on Nostr: Chris Liss In reading the latest from a math substack I like, I finally encountered ...

Chris Liss (npub1dtf…hgu0) In reading the latest from a math substack I like, I finally encountered the proof of why the Goodstein sequence always terminates! You'll recall, it required some type of "higher-infinite" argument, with mention of espsilon-naught... It's quite the simple proof in the end, but requires a fair bit of build up to set up, or I'd attempt to explain it here. Maybe someday I'll give a longer explanation a shot. Just wanted to share my excitement.