The axiom of choice also allows you to prove the existence of a strategy that allows near perfect predictive accuracy given a function and a set of all past poi

The axiom of choice also allows you to prove the existence of a strategy that allows near perfect predictive accuracy given a function and a set of all past points. The reals themselves admit many far out properties such as virtually all reals being "inaccessible" or the existence of a know it all number. No, the problem that those who dislike the axiom of choice have is not inherent with the axiom but more the law of excluded middle. Constructivism has no rooms for such imaginings hence those who follow it are not happy with existential proofs. This more practical viewpoint will prove more profound IMHO just as bayesianism is winning the day. Just too many things connected.. types and terms in programs, intuitionistic logic, parts of physics, topoi, CCC.