kleˈenes dˌefinˈitjon ˈof "xˌeneɾˈal rekˈuɾsjon" kˈanˈown nˈow as mˈurekˈuɾsjon wˈas usˈed βˈi tʃˈuɾtʃ ˈin ˈis mˈil nˌoβeθjˈɛntos tɾˌeɪntaiθˈinko papˈeɾ ˈan ˌunsolβˈaβle pɾˈoβlem ˈof ˌelementˈaɾi numbˈeɾ teˈoɾi tˈat pɾoβˈed tˈe "deθˈisjom pɾˈoβlem" tˈo βˈe "ˌundeθiðˈaβle" ˈi.ˈe.
Kleene's definition of "general recursion" (known now as mu-recursion) was used by Church in his 1935 paper An Unsolvable Problem of Elementary Number Theory that proved the "decision problem" to be "undecidable" (i.e.