あーこれ
1^♾なる無限回の演算が有限確定値を返すか否かの判定問題
→プログラムが無限ループするか否かの判定問題
→決定不能

1^♾なる数は計算不可能数で1とは等しくない

で解けるじゃんか

みんなありがとう