PUB - Publikationen an der Universität Bielefeld

Thus, in summary, I have argued that whenever we see mathematical proof as involving only a mechanical aspect we are driven to see that it involves, as well, an intuitive one. And whenever we are tempted to see mathematical proof as involving only a solitary aspect, we are driven to seeing that it is also a social matter. And whenever we are tempted to see a mathematical argument of the kind found in proof, namely a chain of tautologies or of equalities, as merely, or perhaps as the ideal of, literal expression, we are also forced to see that it is, in fact, essentially metaphorical. And perhaps these three conclusions are enough for one paper.