Is Milgrom's MOND relevant to questions of undecidability and non-computability? I suggest that MOND is empirically valid and relevant to every aspect of human philosophy. However, MOND (as of the beginning of 2020 C.E.) lacks a relativistic extension (with thorough validation).
In section "9. Relativistic theories" of "MOND--a pedagogical review", Milgrom wrote, "We still want a relativistic extension of MOND. Such a theory is needed for conceptual completion of the MOND idea. But, it is doubly needed because we already have observed relativistic phenomena that show mass discrepancies, and we must ascertain that there too the culprit is not dark matter but modified dynamics."
Milgrom, Mordehai. "MOND--a pedagogical review." arXiv preprint astro-ph/0112069 (2001).
My speculative theory concerning string theory with the finite nature hypothesis depends upon 7 foundational components: (1) string theory, (2) MOND, (3) atomic time versus astronomical time according to Fernández-Rañada & Tiemblo-Ramos, (4) the Koide formula, (5) Lestone's heuristic theory, (6) the ideas of Riofrio, Sanejouand, and Pipino, & (7) the speculative ideas of Fredkin and Wolfram. I am confident about string theory and MOND, but not so confident about the other 5 components. Is it possible that there are MOND-chameleon particles that have variable effective mass depending upon nearby gravitational acceleration? What is relativistic MOND? What is the ultimate meaning of the empirical successes of MOND?