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