Won't we figure out at some point how to input the fun into the brain directly, bypassing the usual senses? At that point, what's the use for galactic colonization? Math/fun can be maximized most efficiently by plugging into the Matrix instead.