I've been working on some of these ideas. Even if you had mathematica-grade program implementations of all mathematical objects and properties, you can't get ov

I've been working on some of these ideas. Even if you had mathematica-grade program implementations of all mathematical objects and properties, you can't get over things like "you can't solve the quintic this way, dummy!" Or "no, you can't have a good visual of R^n in a 2D screen!" Etc. That doesn't mean all hope is lost. For now, I won't say more.