User blog comment:Googology Noob/SuperJedi's X Function/@comment-26428969-20151230152245

the #1 question about this is "is it really incomputable?", i.e. can we defibe a Turing machine inside this? I think yes but it would be interesting to prove. We should find some easy to interpret Turing-complete dystem and exhibit a formula in this language that interpret it