Ամսագրի կամ հրապարակման վերնագիր:

Լրաբեր հասարակական գիտությունների=Herald of the Social Sciences=Вестник общественных наук

Հրապարակման ամսաթիւ:

1989

Հատոր:

10

Համար:

10

ISSN:

0320-8117

Պաշտոնական URL:

Լրացուցիչ տեղեկութիւն:

կապին հետեւելուն համար սեղմէ հոս

Այլ վերնագիր:

Մաթեմատիկական դեդուկցիան կոմպյուտերային դարում։ Mathematical deduction in the computer age.

Աջակից(ներ):

Պատ․ խմբ՝. Հ․ Գ․ Ինճիկյան (1966-1968) ; Գլխավոր խմբ.՝ Ծ․ Պ․ Աղայան (1969-1972) ; Վ․ Ա․ Միքայելյան (1972-1987) ; Ա․ Ա․ Խառատյան (1988-2017)

Ծածկոյթ:

37-47

Ամփոփում:

Վերջին տասնամյակում մաթեմատիկայում օգտագործվող «մեքենայական» մեթոդները, մաթեմատիկական ապացուցումների խստությունը որոշ կասկածների է ենթարկվել։ Արդի պայմաններում նորովի է դրվում մաթեմատիկական գիտության կարգավիճակը (ստատուս) գիտությունների ընդհանուր համակարգում։ 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.

Հրատարակութեան վայրը:

Երևան

Հրատարակիչ:

Հայկական ԽՍՀ գիտությունների ակադեմիա

Ստեղծման ամսաթիւը:

1989-12-21

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:37336

Դասիչ:

АЖ 410

Բնօրինակին գտնուելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան