The speaker argues that contradictions can be eliminated by replacing classical mathematics with computer algebra systems that construct desired objects from simple automata.

“But there is a way to eliminate the contradictions, and the way is to do what computer scientists are doing. So instead of using classical mathematics, you only use computer algebra systems, systems that from smaller elements, from simple automata, are cons- creating all the constructs that you want.”