I wonder how much @stephen_wolfram's own thinking in terms of constructionist math instead of uncomputable math contributed to his alienation from mainstream physics.
I now think there is a class of universal function approximators, which can solve any problem that can be solved by a computational machine, and this class contains itself, and it also contains us. Given enough resources we can solve any solvable problem.