Quali due persone non hanno contribuito con un'opera nel 1965, ma hanno invece contribuito con un'opera quasi 40 anni dopo? Dato il contesto della domanda precedente, scrivi il contesto che contiene la risposta. Può essere da 1 a 20 frasi. Contesto:
Come sottolineano Fortnow & Homer (2003), l'inizio degli studi sistematici sulla complessità computazionale è attribuito al documento seminale "On the Computational Complexity of Algorithms" di Juris Hartmanis e Richard Stearns (1965), che ha stabilito le definizioni di complessità temporale e spaziale e ha dimostrato i teoremi della gerarchia. Inoltre, nel 1965 Edmonds ha definito un algoritmo "buono" come uno con un tempo di esecuzione delimitato da un polinomio della dimensione dell'input.