| 期刊全稱 | A Course in Constructive Algebra | | 影響因子2023 | Ray Mines,Fred Richman,Wim Ruitenburg | | 視頻video | http://file.papertrans.cn/141/140462/140462.mp4 | | 學科分類 | Universitext | | 圖書封面 |  | | 影響因子 | The constructive approach to mathematics has enjoyed a renaissance, caused in large part by the appearance of Errett Bishop‘s book Foundations of constr"uctiue analysis in 1967, and by the subtle influences of the proliferation of powerful computers. Bishop demonstrated that pure mathematics can be developed from a constructive point of view while maintaining a continuity with classical terminology and spirit; much more of classical mathematics was preserved than had been thought possible, and no classically false theorems resulted, as had been the case in other constructive schools such as intuitionism and Russian constructivism. The computers created a widespread awareness of the intuitive notion of an effecti ve procedure, and of computation in principle, in addi tion to stimulating the study of constructive algebra for actual implementation, and from the point of view of recursive function theory. In analysis, constructive problems arise instantly because we must start with the real numbers, and there is no finite procedure for deciding whether two given real numbers are equal or not (the real numbers are not discrete) . The main thrust of constructive mathematics was in the di | | Pindex | Book 1988 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-23 05:09
發(fā)表于 2025-3-21 16:49:24
