Geodesic
What a rigorous proof should be like?
Matematičeskoe obrazovanie, Tome 68 (2013) no. 4, pp. 70-85.

Voir la notice de l'article provenant de la source Math-Net.Ru

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_68_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},
     publisher = {mathdoc},
     volume = {68},
     number = {4},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MO_2013_68_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
VL  - 68
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MO_2013_68_4_a4/
LA  - ru
ID  - MO_2013_68_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
%V 68
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MO_2013_68_4_a4/
%G ru
%F MO_2013_68_4_a4
A. Ya. Belov; N. S. Kellin. What a rigorous proof should be like?. Matematičeskoe obrazovanie, Tome 68 (2013) no. 4, pp. 70-85. http://geodesic.mathdoc.fr/item/MO_2013_68_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 <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=351744'>351744</ext-link>

[5] Boltyanskii V.G., Efremovich V.A., Naglyadnaya topologiya, Nauka, M., 1982 <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=694404'>694404</ext-link>

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

[7] Vilenkin N.Ya., Rasskazy o mnozhestvakh, Nauka, M., 1969 <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=241306'>241306</ext-link>

[8] Arnold V.I., Dopolnitelnye glavy teorii obyknovennykh differentsialnykh uravnenii, Nauka, M., 1978 <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=526218'>526218</ext-link>

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

[10] Uspenskii V.A., Chto takoe nestandartnyi analiz?, Nauka, M., 1987 <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=913941'>913941</ext-link>

[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 <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=1027592'>1027592</ext-link>

[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 <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=593142'>593142</ext-link>

[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. <ext-link ext-link-type='mr-item-id' href='http://mathscinet.ams.org/mathscinet-getitem?mr=750978'>750978</ext-link>