User blog comment:Mush9/Beyond BIG FOOT (ideas in comments)/@comment-29915175-20161106141716

Isn't any function that dominates the FOOT function going to be uncomputable by definition?