اردشیر، محمد
اردشیر، محمد (بابل ۱۳۳۵ش)
| محمد اردشیر | |
|---|---|
| زادروز |
بابل ۱۳۳۵ش |
| ملیت | ایرانی |
| تحصیلات و محل تحصیل | دکترای ریاضی- دانشگاه مارکت ویسکانسین امریکا |
| شغل و تخصص اصلی | ریاضی دان |
| شغل و تخصص های دیگر | مترجم |
| آثار | منطق ریاضی |
| گروه مقاله | ریاضیات |
ریاضیدان، مؤلف و مترجم. کارشناسی رشتۀ برق را از دانشگاه صنعتی شریف (۱۳۵۹)، و دکترای ریاضی را از دانشگاه مارکت ویسکانسین امریکا دریافت کرد. از ۱۳۷۴ ش تاکنون عضو هیئت علمی دانشکدۀ علوم ریاضی دانشگاه شریف است. مقالههای متعدد او در حوزۀ فلسفه و منطق ریاضی به زبانهای فارسی و انگلیسی در نشریات معتبر داخلی و خارجی چاپ شده است. کتاب منطق ریاضی وی (۱۳۸۳) در ۱۳۸۴ جزو کتابهای برگزیدۀ سال معرفی شد. از آثار دیگرش: ترجمۀ برهان، اثر گودل؛ حقیقت و برهان، تألیف ناگِل؛ نیومن و تارسکی.