SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

The Mathematical Intelligencer

Volumn 6, Issue 4, 1984, Pages 32-38

What is constructive mathematics?

(2) Bridges, Douglas a Mines, Ray b

a UNIVERSITY OF BUCKINGHAM (United Kingdom)

b NEW MEXICO STATE UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0009280855 PISSN: 03436993 EISSN: None Source Type: Journal
DOI: 10.1007/BF03026734 Document Type: Article

Times cited : (7)

References (22)

1
- 77956563619
- Some Relations between Classical and Constructive Mathematics
- (1978) J. Symbolic Logic , vol.43 , pp. 228-246
- Beeson, M.¹

2
- 0003922927
- McGraw-Hill, New York
- (1967) Foundations of Constructive Analysis
- Bishop¹

3
- 84931382415
- Bishop, Errett, and Henry Cheng (1972) Constructive Measure Theory, Memoirs of the Amer. Math. Soc, 116.

4
- 84931343620
- Picard’s Theorem
- (1982) Trans. Amer. Math. Soc , vol.269 , Issue.2 , pp. 513-520
- Bridges, D. S¹ Calder, A.² Julian, W.³ Mines, R.⁴ Richman, F.⁵

5
- 84931380742
- The L. E. J. Centenary Symposium, North-Holland
- (1982) Recent Progress in Constructive Approximation Theory
- Bridges, D. S¹

6
- 49049145764
- A Constructive Analysis of the Remes Algorithm
- (1981) J. Approximation Theory , vol.32 , Issue.4 , pp. 257-270
- Bridges, D. S¹

7
- 84966233172
- Lipschitz Constants and Moduli of Continuity for the Chebyshev Projection
- (1982) Proceedings of the American Mathematical Society , vol.85 , Issue.4 , pp. 557-561
- Bridges, D. S¹

8
- 84931398502
- Brouwer, L. E. J., and B. de Loor (1975) Intuitionistischer Beweis der Fundamentalsatzes der Algebra, North-Holland: Collected works of L. E. J. Brouwer, Vol. 1 (ed. A. Heyting).

9
- 0004282449
- Clarendon Press, Oxford
- (1977) Elements of Intuitionism
- Dummett, M.A.E¹

10
- 84931476350
- M., Buffa, D., van Dalen, K., McAloon, Logic Colloquium ’78, North-Holland
- (1979) Constructive Theories of Functions and Classes
- Feferman, S.¹

11
- 11744381073
- Mathematics as an Objective Science
- (1979) The American Mathematical Monthly , vol.86 , pp. 540-551
- Goodman, N. D¹

12
- 12844250523
- Some Proposals for Reviving the Philosophy of Mathematics
- (1979) Advances in Mathematics , vol.31 , pp. 31-50
- Hersch, R.¹

13
- 77956989699
- Algebraic Numbers, a Constructive Development
- (1978) Pacific Journal of Mathematics , vol.74 , pp. 91-102
- Julian, W.¹ Mines, R.² Richman, F.³

14
- 84931317184
- є-covering Dimension
- (1979) Pacific J. Math , vol.95 , Issue.2 , pp. 257-262
- Julian, W.¹ Mines, R.² Richman, F.³ Calder, A.⁴

15
- 84941839155
- Grundzüge einer arithmetischer Theorie der algebraischen Grossen
- (1882) J. Reine Angew. Math. , vol.92 , pp. 1-222
- Kronecker, L.¹

16
- 0004025163
- Springer Verlag, Berlin
- (1967) Approximation of Functions: Theory and Numerical Methods, Tracts in Natural Philosophy, 13
- Meinardus, G.¹

17
- 41249098221
- Separability and Factoring Polynomials
- (1982) Rocky Mountain J. Math. , vol.12 , Issue.1 , pp. 43-54
- Mines, R.¹ Richman, F.²

18
- 0010133014
- Constructions in a Polynomial Ring over the Ring of Integers
- (1978) Amer. J. Math. , vol.100 , pp. 678-703
- Seidenberg, A.¹

19
- 84913135697
- On the Constructive Interpretation of Mathematical Judgments
- (1963) Amer. Math. Soc. Translations , vol.23 , Issue.2 , pp. 109-189
- Shanin, N.¹

20
- 21644442397
- What is Mathematics?
- (1979) The American Mathematical Monthly , vol.86 , pp. 551-557
- Snapper, E.¹

21
- 0010070536
- Eine Bemerkung über die Unzerlegbarkeit von Polynomen
- (1930) Math. Ann. , vol.102 , pp. 738-739
- van der Waerden, B.L.¹

22
- 84931388964
- van der Waerden, B. L. (1953) Modern Algebra (second edition), Ungar.

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.