Viņš, piemēram, bija pirmais, kurš iedomājās, ka vajadzētu šķirot algoritmus pēc to sarežģītības - ka, piemēram, polinomiālu algoritmu var uzskatīt par `labu`, kamēr eksponenciālu nevar.