This is a fair point. The analogy in the slides doesn't say anything about the veracity of mathematical propositions. While the notion of computable is mostly a

This is a fair point. The analogy in the slides doesn't say anything about the veracity of mathematical propositions. While the notion of computable is mostly agreed on, it's unclear, for instance, if we should be doing mathematics in a world where the continuum hypothesis is true, false, or independent of our theory. With that said, one can still adopt the programming language analogy for particular models that the various foundations capture. So you don't have to solve the multiverse problem to use the analogy.[0] [0] https://en.m.wikipedia.org/wiki/Multiverse_(set_theory) https://en.m.wikipedia.org/wiki/Multiverse_(set_theory)