{"type":"rich","version":"1.0","title":"YORDL wrote","author_name":"YORDL (npub162…atdhy)","author_url":"https://yabu.me/npub162zpxufpw8pnuytaf0gfxzkqtvk9rvcwkvppa7x57y3n7qkfpg4shatdhy","provider_name":"njump","provider_url":"https://yabu.me","html":"nostr:npub1dtf79g6grzc48jqlfrzc7389rx08kn7gm03hsy9qqrww8jgtwaqq64hgu0  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."}