On fundamental limits to glacier flow models: computational theory and implications