Լրաբեր հասարակական գիտությունների=Herald of the Social Sciences=Вестник общественных наук
սեղմիր այստեղ կապին հետևելու համար
Մաթեմատիկական դեդուկցիան կոմպյուտերային դարում։ Mathematical deduction in the computer age.
Պատ․ խմբ՝. Հ․ Գ․ Ինճիկյան (1966-1968) ; Գլխավոր խմբ.՝ Ծ․ Պ․ Աղայան (1969-1972) ; Վ․ Ա․ Միքայելյան (1972-1987) ; Ա․ Ա․ Խառատյան (1988-2017)
Վերջին տասնամյակում մաթեմատիկայում օգտագործվող «մեքենայական» մեթոդները, մաթեմատիկական ապացուցումների խստությունը որոշ կասկածների է ենթարկվել։ Արդի պայմաններում նորովի է դրվում մաթեմատիկական գիտության կարգավիճակը (ստատուս) գիտությունների ընդհանուր համակարգում։ During the last decade the „mechanical" methods employed in mathematics have put the exactness of mathematical demonstrations under suspicion. Under modern conditions the status of the mathematical science is set anew in the general system of sciences.
Երևան
Հայկական ԽՍՀ գիտությունների ակադեմիա
oai:arar.sci.am:37336
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Jun 12, 2025
Mar 3, 2020
34
https://arar.sci.am/publication/41686
Հրատարակության անուն | Ամսաթիվ |
---|---|
Математическая дедукция в компьютерный век | Jun 12, 2025 |
Sargsyan, Shushanik A. Edita G. Gzoyan
E. P. Serrano M. I. Troparevsky M. A. Fabio Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) Ռ․ Վ․ Համբարձումյան (1994-2009) Ա․ Ա․ Սահակյան (2010-)
Andranik E. Mkhitaryan Arthur S. Petrosyan Aram S. Nanassian
Levon M. Hovsepyan Aren K. Mayilyan
Artur P. Vardanyan Vladimir G. Sahakyan
Andranik E. Mkhitaryan Arthur S. Petrosyan Aram S. Nanassian