Computational Complexity · 2mo · discuss
Richard Stearns (right) and Juris Hartmanis in May 1963. The main theorem from their seminal paper is on the blackboard. Stearns sent Lance this picture to help celebrate the 50th anniversary of their paper.Richard Stearns died on August 29, 2026. Readers of this blog probably know him from the Hartmanis-Stearns paper On the computational complexity of algorithms which appeared in Transactions of the American Mathematical Society in 1965, and his paper with F. C. Hennie that gave the still tightest known separation for the deterministic time hierarchy.The Hartmanis-Stearns paper first defined DTIME(T(n)) and other classes and named our field and...