The whole tirade on rigorous proofs and colonial mindset puzzles me.
From my understanding (I am European ...), rigorous proofs were increasingly seen as a need because as things like calculus progressed, any loose definition had a tendency to become a minefield. Think of the definition of derivatives, continuity. Also, at a time where things were getting mechanize because we could and it was a gain, it was natural to check if we could somehow mechanize math. After all, Pascal made a machine that could do sums, why not a machine for proofs ?
From my understanding (I am European ...), rigorous proofs were increasingly seen as a need because as things like calculus progressed, any loose definition had a tendency to become a minefield. Think of the definition of derivatives, continuity. Also, at a time where things were getting mechanize because we could and it was a gain, it was natural to check if we could somehow mechanize math. After all, Pascal made a machine that could do sums, why not a machine for proofs ?