[titzer]

FTA:

> They did not exploit this—Turing used his (quite inefficient) model only to rephrase the results of Gödel and Church on the limits of computability.

That's an infuriating sentence, as the author clearly has no clue how insanely inefficient Church numerals are. For those who don't know, Church numerals are literally a unary encoding of integers as repeatedly applied functions.

I read a lot of this article and at no point was I nodding along, but at this point I just had to pause and vent. This person has something against Turing to the point that it's just weird.