محمد اردشیر: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش |
جز ربات: انتقال رده به درخواست Jeeputer از رده:اهالی بابل به رده:اهالی بابل (مازندران) |
||
خط ۱۸: | خط ۱۸: | ||
{{ترتیبپیشفرض:اردشیر، محمد}} |
{{ترتیبپیشفرض:اردشیر، محمد}} |
||
[[رده:استادان دانشکده علوم ریاضی دانشگاه صنعتی شریف]] |
[[رده:استادان دانشکده علوم ریاضی دانشگاه صنعتی شریف]] |
||
[[رده:استادان دانشگاه صنعتی شریف|اردشیر، محمد]] |
[[رده:استادان دانشگاه صنعتی شریف|اردشیر، محمد]] |
||
[[رده:افراد زنده]] |
[[رده:افراد زنده]] |
||
[[رده:اهالی بابل]] |
[[رده:اهالی بابل (مازندران)]] |
||
[[رده:برگزیدگان کتاب سال جمهوری اسلامی ایران]] |
[[رده:برگزیدگان کتاب سال جمهوری اسلامی ایران]] |
||
[[رده:دانشآموختگان دانشکده مهندسی برق دانشگاه صنعتی شریف]] |
[[رده:دانشآموختگان دانشکده مهندسی برق دانشگاه صنعتی شریف]] |
نسخهٔ ۱۱ ژانویهٔ ۲۰۲۲، ساعت ۱۰:۴۴
محمد اردشیر بهرستاقی (متولد ۱۳۳۵ در بابل) استاد تمام دانشکدهٔ ریاضی دانشگاه صنعتی شریف و پژوهشگر منطق و ریاضیات شهودگرا است. از وی کتابی به نام منطق ریاضی در ایران به چاپ رسیده که در سال ۱۳۸۴ به عنوان کتاب برگزیدهٔ سال در ایران انتخاب شد. کتاب فلسفه براوئر دربارهٔ فلسفه و مبانی مکتب شهودگرایی در ریاضیات نیز بهوسیلهٔ او ترجمه و در سال ۱۳۸۷ توسط انتشارات هرمس چاپ شد.[۱]
تحصیلات
اردشیر دوران متوسطه را در دبیرستان خوارزمی گذراند و در سال ۱۳۵۴ در رشتة ریاضی دیپلم گرفت. سپس به دانشگاه صنعتی شریف راه یافت و در سال ۱۳۵۹ مقطع کارشناسی رشته برق و مقطع کارشناسی ارشد در رشته ریاضیات را در دانشگاه صنعتی شریف در سال ۱۳۶۹ به پایان رسانید. او برای ادامه تحصیل به آمریکا رفت و در سال ۱۳۷۴ از دانشگاه مارکت در ایالت ویسکانسین دکترای ریاضی گرفت.
کتابشناسی
- برهان گودل و حقیقت و برهان، ارنست ناگل و ج. نیومن و آلفرد تارسکی، محمد اردشیر (مترجم)، ناشر: مولی، ۱۳۶۴.
- منطق ریاضی، محمد اردشیر، ناشر: هرمس، ۱۳۸۴.
- فلسفه براوئر، مارک فان آتن، محمد اردشیر (مترجم)، ناشر: هرمس، ۱۳۸۷.
منابع
- ↑ «منطقی میان اعداد! (درباره محمد اردشیر)». روزنامه ایران. ۱۸ اسفند ۱۳۸۴. ص. صفحه ۱۱.