Friedberg + Muchnik 1956 independently: solution to Post problem - exist intermediate Turing degrees 0 < d < 0'; finite-injury argument basis of modern recursion-theoretic constructions.
Friedberg + Muchnik 1956 independently: solution to Post problem - exist intermediate Turing degrees 0 < d < 0'; finite-injury argument basis of modern recursion-theoretic constructions.