Լրաբեր հասարակական գիտությունների =Herald of the Social Sciences

Математическая дедукция в компьютерный век

Тоноян, Г. А. (1989) Математическая дедукция в компьютерный век. Լրաբեր Հասարակական Գիտությունների, № 10 . pp. 37-47. ISSN 0320-8117

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1817Kb

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.

Item Type:Article
Additional Information:Մաթեմատիկական դեդուկցիան կոմպյուտերային դարում։ Mathematical deduction in the computer age.
Uncontrolled Keywords:Տոնոյան Գ. Ա., Tonoyan G. A.
Subjects:Q Science > QA Mathematics
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
ID Code:3867
Deposited By:sci info
Deposited On:27 Nov 2012 11:26
Last Modified:16 Mar 2014 07:10

Repository Staff Only: item control page