<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Oh no, I don’t have time to bisect ACM articles of the last 75 years looking for initial usage. Might be worth a quick check if von Neumann, Turing, Church, Kleene used the term.</p>