حمیدرضا گودرزی
استادیار گروه ریاضی دانشگاه یاسوج
[ 1 ] - آیا براوِر واقعاً چنین اعتقادی داشت؟
نوشتۀ حاضر، ترجمۀ مقالۀ زیر است:Douglas S. Bridges, Did Brouwer Really Believe That?, 2007.که در صفحه شخصی نویسنده آن به آدرس زیر، در دسترسی آزاد قرار گرفته است:http://www.dsbridges.com/miscelaneous-writings.html
[ 2 ] - آنالیز سازنده بیشاپ و مقایسه آن با آنالیز کلاسیک
در این مقاله، منطق شهودی براوِر در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوت‌های آن‌ها با منطق و آنالیز ریاضی کلاسیک را بیان می‌کنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه می‌شود و لذا می‌توان این نوع از آنالیز ریاضی را یک نوع زبان برنامه...
نویسندگان همکار