Aquí abajo digo que Dijkstra desconoce la naturaleza del trabajo matemático. Me retracto. La conoce, pero considera (penúltimo párrafo) que, como la programación, está igualmente corrupta por la perniciosa informalidad:

And from the mathematical community I have learned not to expect too much support either, as informality is the hallmark of the Mathematical Guild, whose members —like poor programmers— derive their intellectual excitement from not quite knowing what they are doing and prefer to be thrilled by the marvel of the human mind (in particular their own ones). For them, the Dream of Leibniz is a Nightmare.