Expressing computable ordinals as programs

I loved John Baez’s three-part system on large countable ordinals (1, 2, 3) but something nagged at me. It felt like a description of an algorithm in prose, and I feel like I don’t really understand an algorithm until I’ve implemented it. But what does it mean to implement an ordinal? I found a couple of answersContinue reading “Expressing computable ordinals as programs”