اردشیر محمد

دانشنامه آزاد فارسی

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

پیشنهاد کاربران

بپرس