Constructive mathematics
The Constructive mathematics can be determined as not classic direction in mathematician, founded on criteria construct while classical mathematics is founded on criteria. According to criterion object confesses existing if he does not contain formally-logical contradiction. According to criterion construct "exist signifies to be built". Criterion construct more strong requirement, than criterion .
Mathematical literature
Refer to also list of the electronic mathematical libraries in article Electronic library.
The Majority of the mathematical books and journal выложено in network though some periods are presented very bad. The Books of the second half XX age in russian and english came up for network as far back as 1990-h and on given moment it is difficult to indicate the book, being absent in meeting of the Collective farm. The Restrictions on velocity скачивания, assessed on this put, brought about creation other electronic libraries, smaller volume.
Opposite, the majority journal not выложено in open access, also nearly are not presented russian books before 1917 But then very packed is presented article and monographs on european languages XIX and first half XX age. On him is created search system Electronic Research Archive for Mathematics (1868-1942) and several specialized libraries.
|