### Intuition and formalism in mathematical proof

Otte M (1990)
Interchange 21(1): 59-64.

Zeitschriftenaufsatz | Veröffentlicht | Englisch

Es wurden keine Dateien hochgeladen. Nur Publikationsnachweis!
Autor*in
Einrichtung
Abstract / Bemerkung
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.
Erscheinungsjahr
1990
Zeitschriftentitel
Interchange
Band
21
Ausgabe
1
Seite(n)
59-64
ISSN
0826-4805
Page URI
https://pub.uni-bielefeld.de/record/1651373

### Zitieren

Otte M. Intuition and formalism in mathematical proof. Interchange. 1990;21(1):59-64.
Otte, M. (1990). Intuition and formalism in mathematical proof. Interchange, 21(1), 59-64. https://doi.org/10.1007/BF01809611
Otte, M. (1990). Intuition and formalism in mathematical proof. Interchange 21, 59-64.
Otte, M., 1990. Intuition and formalism in mathematical proof. Interchange, 21(1), p 59-64.
M. Otte, “Intuition and formalism in mathematical proof”, Interchange, vol. 21, 1990, pp. 59-64.
Otte, M.: Intuition and formalism in mathematical proof. Interchange. 21, 59-64 (1990).
Otte, Michael. “Intuition and formalism in mathematical proof”. Interchange 21.1 (1990): 59-64.

Open Data PUB

### Web of Science

Dieser Datensatz im Web of Science®