Juris Hartmanis 1928–2022
Gödel's Lost Letter and P=NP,
A sure foundation for Computational…
A sure foundation for Computational…
Juris Hartmanis and Richard Stearns in a photo dated May 1963. The main theorem from their paper is on the board later improved…