Czy istnieje krótka wyraźna konstrukcja uniwersalnej funkcji rekurencyjnej ? Wszystkie definicje, które widziałem, obejmują w pewien sposób numerację maszyn Turinga, co jest możliwe, ale wydaje się trudne i niemożliwe do zarządzania w języku programowania wyższego poziomu (takim jak Python, Haskell itp.)