آیا براوِر واقعاً چنین اعتقادی داشت؟

نوع مقاله: مقاله ترجمه ای

نویسندگان

1 آموزگار آموزش و پرورش ناحیه 4 شیراز

2 استادیار گروه ریاضی دانشگاه یاسوج

چکیده

نوشتۀ حاضر، ترجمۀ مقالۀ زیر است:
Douglas S. Bridges, Did Brouwer Really Believe That?, 2007.
که در صفحه شخصی نویسنده آن به آدرس زیر، در دسترسی آزاد قرار گرفته است:
http://www.dsbridges.com/miscelaneous-writings.html


کلیدواژه‌ها


[1] J. Berger,D. S. Bridges and P. M. Schuster, The fan theorem and unique existence of maxima, J. Symbolic Logic, 71 (2006) 713–720.

[2] E. A. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York,1967.

[3] E. A. Bishop and D. S. Bridges, Constructive Analysis, Grundlehren der Math. Wiss, 279, Springer-Verlag, Heidelberg, 1985.

[4] D. S. Bridges and L. S. Vita, Techniques of Constructive Mathematics, Universitext, Springer, New York, 2006.

[5] L. E. J. Brouwer, Over de Grondslagen der Wiskunde, Doctoral dissertation, Maas & van Suchtelen, Amsterdam, 1907.

[6] L. E. J. Brouwer, Intuitionismus, edited by D. van Dalen, BI-Wissenschaftsverlag, Mannheim, 1992.

[7] L. E. J. Brouwer, An intuitionist correction of the fixed-point theorem on the sphere, Proc. Royal Soc. London, Ser. A, 213 (1952) 1-2.

[8] D. van Dalen, Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer, 2 volumes, Oxford Univ. Press, 1999 1 2005 2.

[9] R. Diaconescu, Axiom of choice and complementation, Proc. Amer. Math. Soc., 51 (1975) 176–178.

[10] M. A. E. Dummett, Elements of Intuitionism, 2nd ed., Oxford Logic Guides, 39, Oxford University Press, New York, 2000.

[11] N. D. Goodman and J. Myhill, Choice Implies Excluded Middle, Z. Math. Logik Grundlag. Math., 24 (1978) 461.

[12] E. A. Ok, Real Analysis with Economic Applications, Princeton Univ. Press, Princeton, N. J., 2007.