رضا ستوده

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

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

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

[ 2 ] - آنالیز سازنده بیشاپ و مقایسه­ آن با آنالیز کلاسیک

در این مقاله، منطق شهودی براوِر در ریاضیات و آنالیز ریاضی سازنده بیشاپ مبتنی بر این منطق را معرفی کرده و تفاوت‌های آن‌ها با منطق و آنالیز ریاضی کلاسیک را بیان می‌کنیم. تفاوت بنیادی آنالیز سازنده با آنالیز کلاسیک در این است که در آنالیز سازنده بر خلاف آنالیز کلاسیک، همواره راهکار و الگوریتم یافتن عناصر مطلوب در قضایای وجودی، ارائه می‌شود و لذا می‌توان این نوع از آنالیز ریاضی را یک نوع زبان برنامه...

Co-Authors