Very soon after this, Friedberg and Muchnik independently solved Post's problem by establishing the existence of recursively enumerable sets of intermediate degree.
Foarte curând după aceasta, Friedberg și Muchnik au rezolvat independent problema lui Post, stabilind existența de mulțimi recursiv-enumerabile de grad intermediar.