Later Norman Shapiro used the same concept in 1956 under the name strong reducibility.
1956年、Norman Shapiro は同じ概念を strong reducibility という名前で適用した。