[nyrikki]

Physics models are models.

All models are wrong, some are useful.

I am not claiming that useful models need to be computable, in fact the problem with the MTP is that it induces cycles into something that needs to be recursively enumerable to be decidable.

"The trophy wouldn't fit in the suitcase because it was too [large,small]" is a nice toy case to consider how NLP can deal with that easily but NLP would have issues.

It all relates to VC dimensionality and decidablity in the end.

But the math is hard to demonstrate without actually using math.