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”


I’m writing this now because I anticipate linking to it over and over again; this fallacy isn’t going anywhere. Journalists have got very good at using the word “comparing” to turn the most innocuous statement into a gaffe, through a simple trick of equivocation. Most recently, Jeremy Corbyn is accused of “comparing” Israel and ISIS, butContinue reading ““Comparing””