Journal or Publication Title:
Լրաբեր հասարակական գիտությունների=Herald of the Social Sciences=Вестник общественных наук
Date of publication:
Volume:
Number:
ISSN:
Official URL:
Additional Information:
Title:
Математическая дедукция в компьютерный век
Other title:
Մաթեմատիկական դեդուկցիան կոմպյուտերային դարում։ Mathematical deduction in the computer age.
Creator:
Contributor(s):
Պատ․ խմբ՝. Հ․ Գ․ Ինճիկյան (1966-1968) ; Գլխավոր խմբ.՝ Ծ․ Պ․ Աղայան (1969-1972) ; Վ․ Ա․ Միքայելյան (1972-1987) ; Ա․ Ա․ Խառատյան (1988-2017)
Subject:
Electronic computers; Computer science ; Mathematics ; Science
Uncontrolled Keywords:
Coverage:
Abstract:
Վերջին տասնամյակում մաթեմատիկայում օգտագործվող «մեքենայական» մեթոդները, մաթեմատիկական ապացուցումների խստությունը որոշ կասկածների է ենթարկվել։ Արդի պայմաններում նորովի է դրվում մաթեմատիկական գիտության կարգավիճակը (ստատուս) գիտությունների ընդհանուր համակարգում։ 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.
Place of publishing:
Երևան
Publisher:
Հայկական ԽՍՀ գիտությունների ակադեմիա