Although the Chinese made substantial advances in algebra and arithmetic, they made little progress in geometry because proofs rely on formal logic, especially the notion of contradiction. (Algebra did not become deductive until Descartes. Our educational system retains the memory trace of their separation by teaching algebra and geometry as separate subjects.)
