Oversimplification: Newton & Leibnitz &cetra build the calculus and other methods that solve a vast number of practical problems. Weierstrass, Dedekind, Cantor &cetra build a foundation under it dependent on transfinite quantities.

Kronecker, Brouwer, etc, were appalled by this. Later, Bishop &cetra actually demonstrates approaches to founding these techniques on constructive methods.

In the long interval before Bishop, what did Intuitionists and/or Constructivists think about practical applications? Did they expect bridges to fall down? Or did they simply believe that mathematics had not yet built a meaningful foundation for the practical methods?

Oversimplification: Newton & Leibnitz &c build the calculus and other methods that solve a vast number of practical problems. Weierstrass, Dedekind, Cantor &c build a foundation under it dependent on transfinite quantities.

Kronecker, Brouwer, etc, were appalled by this. Later, Bishop &c actually demonstrates approaches to founding these techniques on constructive methods.

In the long interval before Bishop, what did Intuitionists and/or Constructivists think about practical applications? Did they expect bridges to fall down? Or did they simply believe that mathematics had not yet built a meaningful foundation for the practical methods?