Please add some substance, or I will make your argument for you.
Yes! We all need to get on board with constructivist mathematics [0][1] already. Construction is very similar to computation, and it is not inconsistent to take "all reals are computable" or "all functions are continuous", the same rules Turing discovered, as axioms if we like. We can therefore move computer science fully onto a foundation that is more rigorous than typical maths.