Content deleted Content added
m redirect to computable function |
better target is μ-recursive function rather than Computable function |
||
Line 1:
#REDIRECT [[
|
m redirect to computable function |
better target is μ-recursive function rather than Computable function |
||
Line 1:
#REDIRECT [[
|