What did the Intuitionists want to do with applied mathematics?

What did the logicians of the 20th century think? Perhaps this was best described by Michael Beeson in his book ("Foundations of constructive mathematics: metamathematical studies", 1985, Springer):

The thrust of Bishop's work was that both Hilbert and Brouwer had been wrong about an important point on which they had agreed. Namely both of them thought that if one took constructive mathematics seriously, it would be necessary to "give up" the most important parts of modern mathematics (such as, for example, measure theory or complex analysis). Bishop showed that this was simply false, and in addition that it is not necessary to introduce unusual assumptions that appear contradictory to the uninitiated. The perceived conflict between power and security was illusory! One only had to proceed with a certain grace, instead of with Hilbert's "boxer's fists".

So, apparently they were both too pessimistic. Of course, they were not so naive as to think that bridges would fall down if a switch to constructive foundations were made. They just expected the constructive foundations to be insufficient (in the same sense as, say, ancient Greeks' notion of number was insufficient for carrying out real analysis).

Let me also say that it is not a trivial matter to establish what sort of foundations were used by Newton, Leibniz, Weierstraß, Cauchy, etc., because they did not present their work in the way we usually do today. It is perhaps most honest to just admit that their notion of foundation was not of the same kind as ours. Nevertheless, at least all the calculational proofs (and that would be a large proportion of all proofs) would be naturally constructive already. Fundamentally non-constructive reasoning came later, with Hilbert's proof of Nullstellensatz and the non-constructive principles of set theory (such as the axiom of choice).

And one should not commit the logical error of thinking that just because pre-20th century mathematics could be retrofitted with classical first-order logic and Zermelo-Fraenkel set theory, it must be so retrofitted.


There is a more general question lurking in the background, which is what do critics of logical foundations generally think about applications?

Historically, intuitionism is not the only foundational controversy. Earlier, there were critics of the logical foundations of calculus (recall Berkeley's "ghosts of departed quantities"), and today there are unresolved mathematical difficulties in quantum field theory. The pattern is usually the same. The practitioners, based on intuition and experience, know what they have to do to make sure that "bridges don't fall down," while the critics point out that the practitioners have failed to articulate clearly what the ground rules are. In particular, the critics can sometimes construct calculations that appear to avoid all explicitly forbidden operations, yet yield the wrong answer.

To determine what a specific person (e.g., Brouwer) thought, one obviously needs to examine what that particular person said on the subject. But in general, there will be a range of opinions. Some, as you say, will believe that the scientific/engineering theories must be fundamentally correct even though we haven't hammered out all the logical details yet, while others of a more alarmist bent may worry that people are trusting the theories too much, to the point where a "bridge will fall down."

Obviously, in the real world, bridges do sometimes fall down, but there are many reasons for this, most of which have nothing to do with inadequate logical hygiene. I would be curious to know if there are any examples of an actual engineering disaster with the following features:

  1. The disaster can be traced to a calculation that the engineers mistakenly trusted (and not because there was an inadvertent error or bug).

  2. If one were to apply "more rigorous reasoning" then the calculation would have come out differently and the disaster would have been averted.

I can imagine that there might be modern examples where the results of some kind of numerical simulation are trusted, but where theoreticians can show that the numerical results do not accurately reflect the behavior of the equations. (If the equations themselves are an inadequate model of physical reality, then that is a different matter, which I'm not concerned with here.) But in general, I think such situations are rare, because theoretical predictions are usually tested experimentally before an actual engineering project that might endanger people's lives is carried out. If I am right about this then most fears of "bridges falling down" because of lack of logical rigor are overblown.