caa a22 4500 465793746 CHVBK 20180323112032.0 cr unu---uuuuu 170327e19900301xx s 000 0 eng 10.1007/BF01809611 doi (NATIONALLICENCE)springer-10.1007/BF01809611 Otte Michael Institut für Didaktik der Mathematik, Bielefeld, West Germany aut Intuition and formalism in mathematical proof [Elektronische Daten] [Michael Otte] Summary: 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. The Ontario Institute for Studies in Education, 1990 Interchange Kluwer Academic Publishers 21/1(1990-03-01), 59-64 0826-4805 21:1<59 1990 21 10780 https://doi.org/10.1007/BF01809611 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF01809611 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Otte Michael Institut für Didaktik der Mathematik, Bielefeld, West Germany aut NATIONALLICENCE 773 0- Interchange Kluwer Academic Publishers 21/1(1990-03-01), 59-64 0826-4805 21:1<59 1990 21 10780 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer