今の科学力では本物の数学的な再帰なんて実現出来ない、
だから、擬似再帰に留まってる

あとは実数マシンと整数マシンで、現状は離散的な整数マシン
実数をそのまま扱えるマシンすら存在してない