Intuition and formalism in mathematical proof

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

Zeitschriftenaufsatz | Veröffentlicht | Englisch
 
Download
Es wurden keine Dateien hochgeladen. Nur Publikationsnachweis!
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.

Export

Markieren/ Markierung löschen
Markierte Publikationen

Open Data PUB

Web of Science

Dieser Datensatz im Web of Science®

Suchen in

Google Scholar