Rice Dish

Eh, is this some kind of trick question? Or a trick question on yourself? Donโ€™t mean to be dismissive though also donโ€™t really care if I am, but one of the basic tenets of computer science and the deeper math โ€œbelowโ€ that is that all non-trivial outputs of programs are not determinable without running the program in question. Thatโ€™s Riceโ€™s Theorem and itโ€™s a generalization of the halting problem first formalized by Alan Turing.

There is not a single word for it, I guess. โ€œUndecidability,โ€ perhaps. But Riceโ€™s Theorem and its various proofs are whatโ€™s being sought here. There is no possibility of omniscience for us in this realm. You might write the sim, but you still donโ€™t know what itโ€™ll do without setting it in motion and taking a peek. Thatโ€™s all that is possible (even in principle).

Leave a Reply

Your email address will not be published. Required fields are marked *