When computations have costs I think the nature of the problems change drastically. I’ve argued that we need to go up to meta-decision theories because of it here.
The idea of solomonov induction is not needed for building Neural networks (or useful for reasoning about them). So my pragmatic heart is cold towards a theory of logical induction as well.
When computations have costs I think the nature of the problems change drastically. I’ve argued that we need to go up to meta-decision theories because of it here.
The idea of solomonov induction is not needed for building Neural networks (or useful for reasoning about them). So my pragmatic heart is cold towards a theory of logical induction as well.