A mediados de los años 50, Péter aplicó la teoría de función recursiva a las computadoras.