Object

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

Journal or Publication Title:

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

Date of publication:

1989

Volume:

vol. 10

Number:

10

ISSN:

0320-8117

Other title:

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

Coverage:

37-47

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.

Publisher:

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

Date created:

1989-12-21

Format:

pdf

Identifier:

oai:arar.sci.am:37336

Location of original object:

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

Object collections:

Last modified:

Feb 1, 2021

In our library since:

Mar 3, 2020

Number of object content hits:

2

All available object's versions:

https://arar.sci.am/publication/41686

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

This page uses 'cookies'. More information