محمد اردشیر بهرستاقی (متولد ۱۳۳۵ در بابل) استاد تمام دادانشکده ی ریاضی دانشگاه صنعتی شریف و پژوهشگر منطق و ریاضیات شهود گرا است. از وی کتابی به نام منطق ریاضی در ایران به چاپ رسیده که در سال ۱۳۸۴ به عنوان کتاب برگزیدهٔ سال در ایران انتخاب شد. کتاب فلسفه ی براوئر دربارهٔ فلسفه و مبانی مکتب شهودگرایی درریاضیات نیز به‌وسیلهٔ او ترجمه و در سال ۱۳۸۷ توسط انتشارات هرمس چاپ شد.
تحصیلات
اردشیر دوران متوسطه را دردبیرستان خوارزمی گذراند و در سال ۱۳۵۴ در رشته ریاضی دیپلم گرفت. سپس به دانشگاه صنعتی شریف راه یافت و در سال ۱۳۵۹ مقطع کارشناسی رشته برق و مقطع کارشناسی ارشد در رشته ریاضیات را در دانشگاه صنعتی شریف در سال ۱۳۶۹ به پایان رسانید. او برای ادامه تحصیل به آمریکا رفت و در سال ۱۳۷۴ از دانشگاه مارکتدر ایالت ویسکانسین دکترای ریاضی گرفت.
کتاب‌شناسی
- برهان گودل و حقیقت و برهان، ارنست ناگلوج.نیومن وآلفرد تاسکی، محمد اردشیر (مترجم)، ناشر: مولی، ۱۳۶۴.
- منطق ریاضی، محمد اردشیر، ناشر: هرمس، ۱۳۸۴.
- فلسفه براوئر،مارک فان آتن، محمد اردشیر (مترجم)، ناشر: هرمس، ۱۳۸۷.
