Ahhhh oops Patrick Collison’s a-level comments was orders more salient in my mind (my memory of 1984 is gaping, it was assigned reading and i’d been ever the underperforming loser?)
And you had participated in grade-charade gametalk track, seemed opportune for offending our half-clueful local deities, if only in principle (Beit S)
(Citations ready if/whenever you need them)
https://archive.is/2lqju
https://en.wikipedia.org/wiki/Doctor_Fischer_of_Geneva
(Cameo by gwern!)
I’d better ask you for that Schuetzenberger theorem now, i know about Lascoux-S, maybe you were thinking Chomsky-S, or simply S?
EDIT: basic problem with teleology is that its usually not framed as a “search” problem?