Geodesic
What a rigorous proof should be like?
Matematičeskoe obrazovanie, no. 4 (2013), pp. 70-85 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

This article deals with mathematical proofs. It's quite evident that humanity knew about proofs only after the art of writing had appeared. Today one can think about the following ‘`proportion": Texts had appeared — then proofs appeared. Computers appeared — ? In other words what will happen with the classical proofs which were and are the main part of math education tomorrow when computers will seriously change our point of view on computations and etc. We think that it isn’t necessary to use the formal proofs very often for example only at the beginning of some global investigation. After that everyone may restrict himself by such reasonings the result of which is to be clear a) is it possible to conduct the formal proof; b) is it possible to do this for a reader interested in. This is the main point of the m-comics's idea we suggest. It is illustrated by two examples: van der Waerden theorem on arithmetic progressions and Euler theorem on polyhedra. At the end we discuss the math-comics's analogous in other fields and a short review of math-comics's idea evolution in pedagogy is represented as well.
Keywords: formal proof, rigorous proof, m-comics, proof scheme. 
@article{MO_2013_4_a4,
     author = {A. Ya. Belov and N. S. Kellin},
     title = {What a rigorous proof should be like?},
     journal = {Matemati\v{c}eskoe obrazovanie},
     pages = {70--85},
     year = {2013},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MO_2013_4_a4/}
}
TY  - JOUR
AU  - A. Ya. Belov
AU  - N. S. Kellin
TI  - What a rigorous proof should be like?
JO  - Matematičeskoe obrazovanie
PY  - 2013
SP  - 70
EP  - 85
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/MO_2013_4_a4/
LA  - ru
ID  - MO_2013_4_a4
ER  - 
%0 Journal Article
%A A. Ya. Belov
%A N. S. Kellin
%T What a rigorous proof should be like?
%J Matematičeskoe obrazovanie
%D 2013
%P 70-85
%N 4
%U http://geodesic.mathdoc.fr/item/MO_2013_4_a4/
%G ru
%F MO_2013_4_a4
A. Ya. Belov; N. S. Kellin. What a rigorous proof should be like?. Matematičeskoe obrazovanie, no. 4 (2013), pp. 70-85. http://geodesic.mathdoc.fr/item/MO_2013_4_a4/

[1] Sbornik «Matematicheskoe prosveschenie». Novaya seriya, 1-6, GIFML, M., 1958–1961

[2] Leng S., Algebra, Mir, M., 1968

[3] Littlvud Dzh., Matematicheskaya smes, GIFML, M., 1962

[4] Raseva E., Sikorskii R., Matematika metamatematiki, Nauka, M., 1972 | MR

[5] Boltyanskii V.G., Efremovich V.A., Naglyadnaya topologiya, Nauka, M., 1982 | MR

[6] Burbaki N., Algebra, GIFML, M., 1962

[7] Vilenkin N.Ya., Rasskazy o mnozhestvakh, Nauka, M., 1969 | MR

[8] Arnold V.I., Dopolnitelnye glavy teorii obyknovennykh differentsialnykh uravnenii, Nauka, M., 1978 | MR

[9] Shvarts L., Analiz, v. 1, Mir, M., 1972

[10] Uspenskii V.A., Chto takoe nestandartnyi analiz?, Nauka, M., 1987 | MR

[11] Adamar Zh., Issledovanie psikhologii protsessa izobreteniya v oblasti matematiki, Sovetskoe Radio, M., 1970

[12] Fomenko A.T., Fuks D.B., Kurs gomotopicheskoi topologii, Nauka, M., 1989 | MR

[13] Khinchin A.Ya., Tri zhemchuzhiny teorii chisel, OGIZ, GOSTEKhIZDAT, M.-L., 1947

[14] Poia D., Kak reshat zadachu, Uchpedgiz, M., 1961

[15] Chaikovskii Yu., “Izumitelnaya asimmetriya”, Znanie — sila, 1981, no. 2, 16–19

[16] Titchmarsh E., Teoriya funktsii, Nauka, M., 1980 | MR

[17] Teoriya veroyatnostei, Lektsii akademika P.L. Chebysheva, chitannye v 1879–1880 gg. Po zapisi A.M. Lyapunova, Izd. AN SSSR, M.-L., 1936

[18] A.A. Leman (sost.), Sbornik zadach Moskovskikh matematicheskikh olimpiad, Prosveschenie, M., 1965

[19] Kurant R., Robbins G., Chto takoe matematika?, Prosveschenie, M., 1967

[20] Basaker T., Saati T., Teoriya grafov, Nauka, M., 1974

[21] “Intervyu s professorom Ronaldom Grekhemom”, Kvant, 1988, no. 4, 21–26

[22] Vakhovskii E.B., Rybkin A.A., Zadachi po elementarnoi matematike, Nauka, M., 1969

[23] Grekhem R., Nachala teorii Ramseya, Mir, M., 1984. | MR