It was solved in the affirmative in the 1950s by the introduction of the powerful priority method in recursion theory .
This question , which became known as Post 's problem , stimulated much research .
Post was solved in the affirmative in the 1950s by the introduction of the powerful priority method in recursion theory .
This question , which became known as Post 's problem , stimulated much research .